中文
相关论文

相关论文: On the Use of Mutation in Injecting Test Order-Dep…

200 篇论文

Mutation analysis evaluates test suites and testing techniques by measuring how well they detect seeded defects (mutants). Even though well established in research, mutation analysis is rarely used in practice due to scalability problems…

软件工程 · 计算机科学 2013-03-13 René Just , Michael D. Ernst , Gordon Fraser

The test suite is essential for fault detection during software development. First-order mutation coverage is an accurate metric to quantify the quality of the test suite. However, it is computationally expensive. Hence, the adoption of…

软件工程 · 计算机科学 2016-10-18 Ali Parsai , Alessandro Murgia , Serge Demeyer

The focus of this paper is on automating the security testing of RESTful APIs. The testing stage of this specific kind of components is often performed manually, and this is yet considered as a long and difficult activity. This paper…

密码学与安全 · 计算机科学 2024-03-07 Sebastien Salva , Jarod Sue

Fuzzing is an automated software testing technique broadly adopted by the industry. A popular variant is mutation-based fuzzing, which discovers a large number of bugs in practice. While the research community has studied mutation-based…

软件工程 · 计算机科学 2022-10-24 Patrick Jauernig , Domagoj Jakobovic , Stjepan Picek , Emmanuel Stapf , Ahmad-Reza Sadeghi

An "adequate" test suite should effectively find all inconsistencies between a system's requirements/specifications and its implementation. Practitioners frequently use code coverage to approximate adequacy, while academics argue that…

软件工程 · 计算机科学 2023-09-06 Kush Jain , Goutamkumar Tulajappa Kalburgi , Claire Le Goues , Alex Groce

Much research on software engineering and software testing relies on experimental studies based on fault injection. Fault injection, however, is not often relevant to emulate real-world software faults since it "blindly" injects large…

Test Case Prioritization (TCP) is an important component of regression testing, allowing for earlier detection of faults or helping to reduce testing time and cost. While several TCP approaches exist in the research literature, a growing…

软件工程 · 计算机科学 2018-09-20 Qi Luo , Kevin Moran , Denys Poshyvanyk , Massimiliano Di Penta

Successful HPC software applications are long-lived. When ported across machines and their compilers, these applications often produce different numerical results, many of which are unacceptable. Such variability is also a concern while…

Lean processes focus on doing only necessery things in an efficient way. Artificial intelligence and Machine Learning offer new opportunities to optimizing processes. The presented approach demonstrates an improvement of the test process by…

软件工程 · 计算机科学 2019-06-10 Alexander Poth , Quirin Beck , Andreas Riel

Round-off errors arising from the difference between real numbers and their floating-point representation cause the control flow of conditional floating-point statements to deviate from the ideal flow of the real-number computation. This…

编程语言 · 计算机科学 2018-12-04 Laura Titolo , Cesar A. Muñoz , Marco A. Feliu , Mariano M. Moscato

Mutation testing is an established fault-based testing technique. It operates by seeding faults into the programs under test and asking developers to write tests that reveal these faults. These tests have the potential to reveal a large…

软件工程 · 计算机科学 2023-01-10 Ahmed Khanfir , Renzo Degiovanni , Mike Papadakis , Yves Le Traon

Test-based automated program repair has been a prolific field of research in software engineering in the last decade. Many approaches have indeed been proposed, which leverage test suites as a weak, but affordable, approximation to program…

Large organizations have diverse product offerings to meet various business needs. To increase revenue, its common these days to offer software products as integrated product suite(s) rather than individual products. Creating and…

软件工程 · 计算机科学 2017-10-03 Sai Anirudh Karre , Y. Raghu Reddy

Continuous Integration (CI) is widely used to provide rapid feedback on code changes; however, CI build outcomes are not always reliable. Builds may fail intermittently due to non-deterministic factors, leading to flaky builds that…

软件工程 · 计算机科学 2026-02-03 Wenhao Ge , Chen Zhang

In software testing, a set of test cases is constructed according to some predefined selection criteria. The software is then examined against these test cases. Three interesting observations have been made on the current artifacts of…

软件工程 · 计算机科学 2020-03-02 T. Y. Chen , S. C. Cheung , S. M. Yiu

Regression testing is performed to provide confidence that changes in a part of software do not affect other parts of the software. An execution of all existing test cases is the best way to re-establish this confidence. However, regression…

软件工程 · 计算机科学 2014-11-27 Imrul Kayes , Jacob Chakareski

Neutral landscapes and mutational robustness are believed to be important enablers of evolvability in biology. We apply these concepts to software, defining mutational robustness to be the fraction of random mutations that leave a program's…

软件工程 · 计算机科学 2013-06-28 Eric Schulte , Zachary P. Fry , Ethan Fast , Westley Weimer , Stephanie Forrest

For software testing research, Defects4J stands out as the primary benchmark dataset, offering a controlled environment to study real bugs from prominent open-source systems. However, prior research indicates that Defects4J might include…

软件工程 · 计算机科学 2024-08-09 Md Nakhla Rafi , An Ran Chen , Tse-Hsun Chen , Shaohua Wang

Designing and analysis of test cases is a challenging tasks for tester roles especially those who are related to test the structure of program. Recently, Programmers are showing valuable trend towards the implementation of recursive modules…

软件工程 · 计算机科学 2012-08-28 Muhammad Javed , Bashir Ahmad , Zaffar Abbas , Allah Nawaz , Muhammad Ali Abid , Ihsan Ullah

Software testing is a critical element of software quality assurance and represents the ultimate review of specification, design and coding. Software testing is the process of testing the functionality and correctness of software by running…

软件工程 · 计算机科学 2010-01-26 S. S. Riaz Ahamed