From faults via test purposes to test cases: on the fault-based testing of concurrent systems

Authors:
Bernhard K. Aichernig;Carlo Corrales Delgado
Affiliations:
International Institute for Software Technology, United Nations University, Macau SAR, China;International Institute for Software Technology, United Nations University, Macau SAR, China
Venue:
FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
Year:
2006

Citing 19
Cited 11

Program testing by specification mutation

Computer Languages
Software testing based on formal specifications: a theory and a tool

Software Engineering Journal
An experimental determination of sufficient mutant operators

ACM Transactions on Software Engineering and Methodology (TOSEM)
Theory of Fault-Based Predicate Testing for Computer Programs

IEEE Transactions on Software Engineering
Mutation testing for the new century

Mutation testing for the new century
Mutation of model checker specifications for test generation and evaluation

Mutation testing for the new century
Mutation Testing Applied to Estelle Specifications

Software Quality Control
Specification-Based Test Generation for Security-Critical Systems Using Mutations

ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Testing Can Be Formal, Too

TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Automating the Generation and Sequencing of Test Cases from Model-Based Specifications

FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
Test Generation Derived from Model-Checking

CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
CADP - A Protocol Validation and Verification Toolbox

CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Mutation Operators for Specifications

ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Test Purposes: Adapting the Notion of Specification to Testing

Proceedings of the 16th IEEE international conference on Automated software engineering
Challenging Formal Specifications by Mutation: a CSP security example

APSEC '03 Proceedings of the Tenth Asia-Pacific Software Engineering Conference Software Engineering Conference
Test Case Generation by OCL Mutation and Constraint Solving

QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation

QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Hints on Test Data Selection: Help for the Practicing Programmer

Computer
Testing Programs with the Aid of a Compiler

IEEE Transactions on Software Engineering

Refinement and Test Case Generation in UTP

Electronic Notes in Theoretical Computer Science (ENTCS)
Test purpose generation in an industrial application

Proceedings of the 3rd international workshop on Advances in model-based testing
Validating Behavioral Component Interfaces in Rewriting Logic

Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
Improving Fault-based Conformance Testing

Electronic Notes in Theoretical Computer Science (ENTCS)
Using coverage to automate and improve test purpose based testing

Information and Software Technology
Compositional Verification of Input-Output Conformance via CSP Refinement Checking

ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
"On the fly" input output conformance verification

SE '08 Proceedings of the IASTED International Conference on Software Engineering
Model-based mutation testing of hybrid systems

FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
Validating Behavioral Component Interfaces in Rewriting Logic

Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
The science of killing bugs in a black box

SBLP'12 Proceedings of the 16th Brazilian conference on Programming Languages
Model-based mutation testing of reactive systems: from semantics to automated test-case generation

Theories of Programming and Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

Fault-based testing is a technique where testers anticipate errors in a system under test in order to assess or generate test cases. The idea is to have enough test cases capable of detecting these anticipated errors. This paper presents a theory and technique for generating fault-based test cases for concurrent systems. The novel idea is to generate test purposes from faults that have been injected into a model of the system under test. Such test purposes form a specification of a more detailed test case that can detect the injected fault. The theory is based on the notion of refinement. The technique is automated using the TGV test case generator and an equivalence checker of the CADP tools. A case study of testing web servers demonstrates the practicability of the approach.