Program testing by specification mutation
Computer Languages
Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Finite-State Testing and Analysis of Graphical User Interfaces
ISSRE '01 Proceedings of the 12th International Symposium on Software Reliability Engineering
Using Model Checking to Generate Tests from Specifications
ICFEM '98 Proceedings of the Second IEEE International Conference on Formal Engineering Methods
Toward an engineering discipline for grammarware
ACM Transactions on Software Engineering and Methodology (TOSEM)
Introduction to Automata Theory, Languages, and Computation (3rd Edition)
Introduction to Automata Theory, Languages, and Computation (3rd Edition)
Practical Model-Based Testing: A Tools Approach
Practical Model-Based Testing: A Tools Approach
Basic Operations for Generating Behavioral Mutants
MUTATION '06 Proceedings of the Second Workshop on Mutation Analysis
Mutation Testing implements Grammar-Based Testing
MUTATION '06 Proceedings of the Second Workshop on Mutation Analysis
The Impact of Equivalent Mutants
ICSTW '09 Proceedings of the IEEE International Conference on Software Testing, Verification, and Validation Workshops
Testing is an Event-Centric Activity
SERE-C '12 Proceedings of the 2012 IEEE Sixth International Conference on Software Security and Reliability Companion
Hi-index | 0.00 |
Model-based testing involves formal models for test generation. This paper suggests regular grammars for event-based modeling. This model, represented in BNF, will then be systematically modified by well-defined mutation operators in order to generate fault models, called mutants. Specific algorithms apply to both the model of the system under consideration and the mutants to generate test cases. While existing methods focus on single events the approach introduced in this paper suggests considering event sequences of length k≥1, that is, k-sequences. The approach also enables to cope with a tough problem encountered in mutation-oriented testing: the elimination of mutants that are equivalent to the original model, and mutants that model the same faults multiple times. These mutants lead to unproductive test suites that cause wasting of resources. The approach proposed devises strategies to exclude the mentioned mutants in that they will not be generated at all.