检索结果-内蒙古大学图书馆

Demo2Test: Transfer testing of Agent in Competitive Environment with Failure Demonstrations

ACM TRANSACTIONS ON software ENGINEERING AND METHODOLOGY 2025年第2期34卷 1-28页

作者： Chen, Jianming Wang, Yawen Wang, Junjie Xie, Xiaofei Wang, Dandan Wang, Qing Xu, Fanjiang Chinese Acad Sci Inst Software Beijing Peoples R China Singapore Management Univ Singapore Singapore

The competitive game between agents exists in many critical applications, such as military unmanned aerial vehicles. It is urgent to test these agents to reduce the significant losses caused by their failures. Existing studies mainly are to construct a testing agent that competes with the target agent to induce its failures. These approaches usually focus on a single task, requiring much more time for multi-task testing. However, if the previously tested tasks (source tasks) and the task to be tested (target task) share similar agents or task objectives, the transferable knowledge in source tasks can potentially increase the effectiveness of testing in the target task. We propose Demo2Test for conducting transfer testing of agents in the competitive environment, i.e., leveraging the demonstrations of failure scenarios from the source task to boost the testing effectiveness in the target task. It trains a testing agent with demonstrations and incorporates the action perturbation at key states to balance the number of revealed failures and their diversity. We conduct experiments in the simulated robotics competitive environments of MuJoCo. The results indicate that Demo2Test outperforms the best-performing baseline with improvements ranging from 22.38% to 87.98%, and 12.69% to 60.98%, in terms of the number and diversity of discovered failure scenarios, respectively.

关键词： Computer systems organization Reliability software and its engineering software testing and debugging Computing methodologies Adversarial learning

来源：评论

学校读者我要写书评

暂无评论

An Extensible Framework for Online testing of Choreographed Services

引用

COMPUTER 2014年第2期47卷 23-29页

作者： Ali, Midhat De Angelis, Francesco Fani, Daniele Bertolino, Antonia De Angelis, Guglielmo Polini, Andrea Univ Camerino Sch Sci & Technol Div Comp Sci I-62032 Camerino Italy CNR ISTI Italian Natl Res Council Inst Informat Sci & Technol I-56100 Pisa Italy CNR ISTI I-56100 Pisa Italy

Service choreographies present numerous engineering challenges, particularly with respect to testing activities, that traditional design-time approaches cannot properly address. A proposed online testing solution offers a powerful, extensible framework to effectively assess service compositions, leading to a more trustworthy and reliable service ecosystem.

关键词： software testing software Engineering Validation Collaboration Service Oriented Architecture software Architecture Online Services software Architectures software Engineering software Validation software testing and debugging software testing Strategies software testing Tools

来源：评论

学校读者我要写书评

暂无评论

Mitigating Noise in Quantum software testing Using Machine Learning

引用

IEEE TRANSACTIONS ON software ENGINEERING 2024年第11期50卷 2947-2961页

作者： Muqeet, Asmar Yue, Tao Ali, Shaukat Arcaini, Paolo Simula Res Lab N-0164 Oslo Norway Univ Oslo N-0313 Oslo Norway Oslo Metropolitan Univ N-0130 Oslo Norway Natl Inst Informat Tokyo 1018430 Japan

Quantum Computing (QC) promises computational speedup over classic computing. However, noise exists in near-term quantum computers. Quantum software testing (for gaining confidence in quantum software's correctness) is inevitably impacted by noise, i.e., it is impossible to know if a test case failed due to noise or real faults. Existing testing techniques test quantum programs without considering noise, i.e., by executing tests on ideal quantum computer simulators. Consequently, they are not directly applicable to test quantum software on real quantum computers or noisy simulators. Thus, we propose a noise-aware approach (named $\mathit{QOIN}$QOIN) to alleviate the noise effect on test results of quantum programs. $\mathit{QOIN}$QOIN employs machine learning techniques (e.g., transfer learning) to learn the noise effect of a quantum computer and filter it from a program's outputs. Such filtered outputs are then used as the input to perform test case assessments (determining the passing or failing of a test case execution against a test oracle). We evaluated $\mathit{QOIN}$QOIN on IBM's 23 noise models, Google's two available noise models, and Rigetti's Quantum Virtual Machine, with six real-world and 800 artificial programs. We also generated faulty versions of these programs to check if a failing test case execution can be determined under noise. Results show that $\mathit{QOIN}$QOIN can reduce the noise effect by more than $80\%$80% on most noise models. We used an existing test oracle to evaluate $\mathit{QOIN}$QOIN's effectiveness in quantum software testing. The results showed that $\mathit{QOIN}$QOIN attained scores of $99\%$99%, $75\%$75%, and $86\%$86% for precision, recall, and F1-score, respectively, for the test oracle across six real-world programs. For artificial programs, $\mathit{QOIN}$QOIN achieved scores of $93\%$93%, $79\%$79%, and $86\%$86% for precision, recall, and F1-score respectively. This highlights $\mathit{QOIN}$QOIN's effectiveness in le

关键词： Noise Quantum computing Qubit Computers software testing Logic gates Computational modeling software testing and debugging computing methodologies quantum computing and machine learning

来源：评论

学校读者我要写书评

暂无评论

Enabling On-the-Fly Hardware Tracing of Data Reads in Multicores

引用

ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS 2019年第4期18卷 1–27页

作者： Ponugoti, Mounika Milenkovic, Aleksandar Univ Alabama Dept Elect & Comp Engn 301 Sparkman Dr Huntsville AL 35899 USA

software debugging is one of the most challenging aspects of embedded system development due to growing hardware and software complexity, limited visibility of system components, and tightening time-to-market. To find software bugs faster, developers often rely on on-chip trace modules with large buffers to capture program execution traces with minimum interference with program execution. However, the high volumes of trace data and the high cost of trace modules limit the visibility into the system operation to short program segments. This article introduces a new hardware/software technique for capturing and filtering read data value traces in multicores that enables a complete reconstruction of parallel program execution. The proposed technique exploits tracking of data reads in data caches and cache coherence protocol states to minimize the number of trace messages streamed out of the target platform to the software debugger. The effectiveness of the proposed technique is determined by analyzing the required trace port bandwidth and trace buffer sizes as a function of the data cache size and the number of processor cores. The results show that the proposed technique significantly reduces the required trace port bandwidth, from 12.2 to 73.9 times, when compared to the Nexus-like read data value tracing, thus enabling continuous on-the-fly data tracing at modest hardware cost.

关键词： Real-time embedded systems multicores software testing and debugging program tracing

来源：评论

学校读者我要写书评

暂无评论

mcfTRaptor: Toward unobtrusive on-the-fly control-flow tracing in multicores

引用

JOURNAL OF SYSTEMS ARCHITECTURE 2015年第10期61卷 601-614页

作者： Tewar, Amrish K. Myers, Albert R. Milenkovic, Aleksandar Univ Alabama Dept Elect & Comp Engn Huntsville AL 35899 USA

software testing and debugging has become the most critical aspect of the development of modern embedded systems, mainly driven by growing software and hardware complexity, increasing integration, and tightening time-to-market deadlines. software developers increasingly rely on on-chip trace and debug infrastructure to locate software bugs faster. However, the existing infrastructure offers limited visibility or relies on hefty on-chip buffers and wide trace ports that significantly increase system cost. This paper introduces a new technique called mcfTRaptor for capturing and compressing functional and time-stamped control-flow traces on-the-fly in modern multicore systems. It relies on private on-chip predictor structures and corresponding software modules in the debugger to significantly reduce the number of events that needs to be streamed out of the target platform. Our experimental evaluation explores the effectiveness of mcfrRaptor as a function of the number of cores, encoding mechanisms, and predictor configurations. When compared to the Nexus-like control-flow tracing, mcfTRaptor reduces the trace port bandwidth in the range from 14 to 23.8 times for functional traces and 10.8-18.6 times for time-stamped traces. (C) 2015 Elsevier BM. All rights reserved.

关键词： Real-time embedded systems Multicores software testing and debugging Program tracing

来源：评论

学校读者我要写书评

暂无评论

Searching Bug Instances in Gameplay Video Repositories

引用

IEEE TRANSACTIONS ON GAMES 2024年第3期16卷 697-710页

作者： Taesiri, Mohammad Reza Macklon, Finlay Habchi, Sarra Bezemer, Cor-Paul Univ Alberta Analyt Software GAmes & Repository Data ASGAARD La Edmonton AB T6G 2R3 Canada Ubisoft Montreal Montreal PQ H2T 1S6 Canada

Gameplay videos offer valuable insights into player interactions and game responses, particularly data about game bugs. Despite the abundance of gameplay videos online, extracting useful information remains a challenge. This article introduces a method for searching and extracting relevant videos from extensive video repositories using English text queries. Our approach requires no external information, like video metadata;it solely depends on video content. Leveraging the zero-shot transfer capabilities of the contrastive language-image pretraining model, our approach does not require any data labeling or training. To evaluate our approach, we present the GamePhysics dataset, comprising 26 954 videos from 1873 games that were collected from the GamePhysics section on the Reddit website. Our approach shows promising results in our extensive analysis of simple and compound queries, indicating that our method is useful for detecting objects and events in gameplay videos. Moreover, we assess the effectiveness of our method by analyzing a carefully annotated dataset of 220 gameplay videos. The results of our study demonstrate the potential of our approach for applications, such as the creation of a video search tool tailored to identifying video game bugs, which could greatly benefit quality assurance teams in finding and reproducing bugs.

关键词： Training software testing Video games Visualization Quality assurance Social networking (online) Computer bugs software testing and debugging video mining bug reports video games video retrieval

来源：评论

学校读者我要写书评

暂无评论

Queueing-Theory-Based Models for software Reliability Analysis and Management

引用

IEEE TRANSACTIONS ON EMERGING TOPICS IN COMPUTING 2017年第4期5卷 540-550页

作者： Huang, Chin-Yu Kuo, Tzu-Yu Natl Tsing Hua Univ Dept Comp Sci Hsinchu 300 Taiwan Garmin Corp Dept Engn New Taipei Taiwan

software reliability is one of the most important internal attributes of software systems. Over the past three decades, many software reliability growth models have been proposed and discussed. Some research has also shown that the fault detection and removal processes of software can be described and modeled using an infinite-server queueing system. But, there is practically no company that can afford unlimited resources to test and correct detected faults in the real world. Consequently, the number of debuggers should be limited, not infinite. In this paper, we propose an extended finite-server-queueing (EFSQ) model to analyze the fault removal process of the software system. Numerical examples based on real project data are illustrated. Evaluation results show that our proposed EFSQ model has a fairly accurate prediction capability of software reliability and also depict the real-life situation of software development activities more faithfully. Finally, the applications of our proposed model to project management are also presented. Our proposed model can provide a theoretically effective technique for managing the necessary activities of testing and debugging in software project management.

关键词： software testing and debugging queueing theory software reliability growth model (SRGM) project management non-homogeneous Poisson process (NHPP)

来源：评论

学校读者我要写书评

暂无评论

SURE: A Visualized Failure Indexing Approach Using Program Memory Spectrum

引用

ACM TRANSACTIONS ON software ENGINEERING AND METHODOLOGY 2024年第8期33卷 1-43页

作者： Song, Yi Zhang, Xihao Xie, Xiaoyuan Chen, Songqiang Liu, Quanming Gao, Ruizhi Wuhan Univ Sch Comp Sci Wuhan Peoples R China Hong Kong Univ Sci & Technol Hong Kong Hong Kong Peoples R China Sonos Inc Boston MA 02111 USA

This work was partially supported by the National Natural Science Foundation of China under the grant number 62250610224.

关键词： software and its engineering software testing and debugging

来源：评论

学校读者我要写书评

暂无评论

FlakyLoc: Flakiness Localization for Reliable Test Suites in Web Applications

引用

JOURNAL OF WEB ENGINEERING 2020年第2期19卷 267-296页

作者： Moran, Jesus Augusto, Cristian Bertolino, Antonia De La Riva, Claudio Tuya, Javier Univ Oviedo Comp Sci Dept Gijon Spain CNR ISTI CNR Pisa Italy

Web application testing is a great challenge due to the management of complex asynchronous communications, the concurrency between the clients-servers, and the heterogeneity of resources employed. It is difficult to ensure that a test case is re-running in the same conditions because it can be executed in undesirable ways according to several environmental factors that are not easy to fine-grain control such as network bottlenecks, memory issues or screen resolution. These environmental factors can cause flakiness, which occurs when the same test case sometimes obtains one test outcome and other times another outcome in the same application due to the execution of environmental factors. The tester usually stops relying on flaky test cases because their outcome varies during the re-executions. To fix and reduce the flakiness it is very important to locate and understand which environmental factors cause the flakiness. This paper is focused on the localization of the root cause of flakiness in web applications based on the characterization of the different environmental factors that are not controlled during testing. The root cause of flakiness is located by means of spectrum-based localization techniques that analyse the test execution under different combinations of the environmental factors that can trigger the flakiness. This technique is evaluated with an educational web platform called FullTeaching. As a result, our technique was able to locate automatically the root cause of flakiness and provide enough information to both understand it and fix it.

关键词： software testing and debugging spectrum-based localization web applications test flakiness

来源：评论

学校读者我要写书评

暂无评论

Reward Augmentation in Reinforcement Learning for testing Distributed Systems

引用

PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL 2024年第OOPSLA2期8卷 1928-1954页

作者： Borgarelli, Andrea Enea, Constantin Majumdar, Rupak Nagendra, Srinidhi MPI SWS Kaiserslautern Germany Inst Polytech Paris LIX Ecole Polytech CNRS Palaiseau France Univ Paris Cite IRIF CNRS Paris France Chennai Math Inst Chennai India

Bugs in popular distributed protocol implementations have been the source of many downtimes in popular internet services. We describe a randomized testing approach for distributed protocol implementations based on reinforcement learning. Since the natural reward structure is very sparse, the key to successful exploration in reinforcement learning is reward augmentation. We show two different techniques that build on one another. First, we provide a decaying exploration bonus based on the discovery of new states-the reward decays as the same state is visited multiple times. The exploration bonus captures the intuition from coverage-guided fuzzing of prioritizing new coverage points;in contrast to other schemes, we show that taking the maximum of the bonus and the Q-value leads to more effective exploration. Second, we provide waypoints to the algorithm as a sequence of predicates that capture interesting semantic scenarios. Waypoints exploit designer insight about the protocol and guide the exploration to "interesting" parts of the state space. Our reward structure ensures that new episodes can reliably get to deep interesting states even without execution caching. We have implemented our algorithm in Go. Our evaluation on three large benchmarks (RedisRaft, Etcd, and RSL) shows that our algorithm can significantly outperform baseline approaches in terms of coverage and bug finding.

关键词： CCS Concepts software and its engineering software testing and debugging Theory of computation Reinforcement learning Computing methodologies Distributed algorithms

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：