论文引用

— Mutation testing was initially proposed in the 1970s as intends to guarantee vigour in test case improvement. By making syntactically right substitutions inside the software under test (SUT) and reh...

Domenico Cotroneo, Roberto Natella, Henrique Madeira et al.,
2016,
ACM Comput. Surv.

With the rise of software complexity, software-related accidents represent a significant threat for computer-based systems. Software Fault Injection is a method to anticipate worst-case scenarios caus...

Erik van der Kouwe, Andrew S. Tanenbaum,
2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)

When software fault injection is used, faults are typically inserted at the binary or source level. The former is fast but provides poor fault accuracy while the latter cannot scale to large code base...

Web Services form the basis, not only of standard web based eCommerce applications but also the new Globus implementation of Open GRID Systems Architecture (OGSA). Given the prominence of this technol...

We propose a test case selection methodology for object-oriented software. This methodology is based on formal specifications and is aimed at verifying the correctness of method interaction of an obje...

Tsong Yueh Chen, Karl Reed, Tafline Murnane et al.,
2004 Australian Software Engineering Conference. Proceedings.

We present the findings of, to the best of our knowledge, the first survey on software testing practices carried out in Australian ICT industry. A total of 65 organizations from various major capital ...

Mark Harman, Yue Jia, William B. Langdon et al.,
2010 Third International Conference on Software Testing, Verification, and Validation Workshops

We argue that higher order mutants are potentially better able to simulate real faults and to reveal insights into bugs than the restricted class of first order mutants. The Mutation Testing community...

Yuen-Tak Yu, Man Fai Lau,
2009,
Ada-Europe

Various test case selection criteria have been proposed for quality testing of software. It is a common phenomenon that test sets satisfying different criteria have different sizes and fault-detecting...

User Centred Design is accepted as being essential to good software design, only by involving the users throughout the development process can the developers understand what the end users really want ...

Alex Groce, Iftekhar Ahmed, Carlos Jensen et al.,
2016,
Software Quality Journal

Though mutation analysis is the primary means of evaluating the quality of test suites, it suffers from inadequate standardization. Mutation analysis tools vary based on language, when mutants are gen...

Jie Xu, Malcolm Munro, Nik Looker,
Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004.

This work provides an overview of fault injection techniques and their applicability to testing SOAP RPC based Web service systems. We also give a detailed example of the WS-FIT package and use it to ...

Jean Arlat,
2002,
Proceedings 16th International Parallel and Distributed Processing Symposium

This short contribution describes first the role of fault injection among the dependability assessment methods that are pertinent approach to the definition and development of dependability benchmarks...

Maya Daneva,
ESEM 2007

This poster reports on a solution to ERP project cost estimation and on results from its first experimental application.

Darrel Ince, Marian Petre, Michael Ellims et al.,
2008,
SAFECOMP

This paper reports the results of a study comparing the effectiveness of automatically generated tests constructed using random and t-way combinatorial techniques on safety related industrial code usi...

Henrique Madeira, João Durães, H. Madeira et al.,
2003 International Conference on Dependable Systems and Networks, 2003. Proceedings.

This paper proposes a set of operators for software fault emulation through low-level code mutations. The definition of these operators was based on the analysis of an extensive collection of real sof...

Henrique Madeira, João Durães,
2002 Pacific Rim International Symposium on Dependable Computing, 2002. Proceedings.

This paper proposes a practical way to evaluate the behavior of commercial-off-the-shelf (COTS) operating systems in the presence of faulty device drivers. The proposed method is based on the emulatio...

Henrique Madeira, João Durães, H. Madeira et al.,
13th International Symposium on Software Reliability Engineering, 2002. Proceedings.

This paper proposes a new technique to emulate software faults by educated mutations introduced at the machine-code level and presents an experimental study on the accuracy of the injected faults. The...

Marco Vieira, Henrique Madeira, Diamantino Costa et al.,
Proceeding International Conference on Dependable Systems and Networks. DSN 2000

This paper presents an experimental study on the emulation of software faults by fault injection. In a first experiment, a set of real software faults has been compared with faults injected by a SWIFI...

Pascale Thévenod-Fosse, Philippe Chevalley,
2001,
Proceedings 12th International Symposium on Software Reliability Engineering

This paper presents an empirical study of the effectiveness of test cases generated from UML state diagrams using transition coverage as the testing criterion. The test cases production is mainly base...

R. C. Jones, C. C. Michael, Christoph C. Michael et al.,
1997,
Proceedings of COMPASS '97: 12th Annual Conference on Computer Assurance

This paper presents an empirical study of an important aspect of software defect behavior: the propagation of data-state errors. A data-state error occurs when a fault is executed and affects a progra...