Program testing by specification mutation
Computer Languages
A Discipline of Programming
Superposition Refinement of Parallel Algorithms
FORTE '91 Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, IV
Developing Control Systems Components
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
An Approach to Object-Orientation in Action Systems
MPC '98 Proceedings of the Mathematics of Program Construction
Mutation Operators for Specifications
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Decentralization of process nets with centralized control
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Using Model Checking to Generate Tests from Specifications
ICFEM '98 Proceedings of the Second IEEE International Conference on Formal Engineering Methods
A Theory of Prioritizing Composition
A Theory of Prioritizing Composition
Automated-generating test case using UML statechart diagrams
SAICSIT '03 Proceedings of the 2003 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology
Formal Test-Case Generation for UML Statecharts
ICECCS '04 Proceedings of the Ninth IEEE International Conference on Engineering Complex Computer Systems Navigating Complexity in the e-Engineering Age
International Journal on Software Tools for Technology Transfer (STTT) - Special section on high-level test of complex systems
MuJava: a mutation system for java
Proceedings of the 28th international conference on Software engineering
Transformation of B specifications into UML class diagrams and state machines
Proceedings of the 2006 ACM symposium on Applied computing
Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods
SEFM '07 Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods
Testing Programs with the Aid of a Compiler
IEEE Transactions on Software Engineering
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
A model of component-based programming
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
Model-based mutation testing of hybrid systems
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
Incremental language inclusion checking for networks of timed automata
FORMATS'13 Proceedings of the 11th international conference on Formal Modeling and Analysis of Timed Systems
| Hi-index | 0.00 |
This paper presents a novel model-based test case generation approach that automatically derives test cases from UML state machines. UML is given a two-layered formal semantics by (1) mapping UML class diagrams and state charts to Back's Action Systems, (2) by interpreting these action systems as labeled transition systems. The first semantics provides a formal framework to capture the object-oriented machinery: classes, objects, inheritance, transitions, time-outs, signals, nested and parallel regions. The second mapping represents the tester's view on the interface in terms of input and output actions. Tretman's input-output conformance relation (ioco) forms the basis of our fault models. Mutation analysis on the models is used to generate test cases. A car alarm system serves as a running example