The power of the future perfect in program logics
Information and Control
Software testing based on formal specifications: a theory and a tool
Software Engineering Journal
CO-OPN/2: a concurrent object-oriented formalism
FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
A Formal Specification Framework for Object-Oriented Distributed Systems
IEEE Transactions on Software Engineering
Art of Software Testing
A Theory of Specification-Based Testing for Object-Oriented Software
EDCC-2 Proceedings of the Second European Dependable Computing Conference on Dependable Computing
Test selection for object-oriented software based on formal specifications
PROCOMET '98 Proceedings of the IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods
Proceedings of the 16th IEEE international conference on Automated software engineering
A Test Language for CO-OPN Specifications
RSP '05 Proceedings of the 16th IEEE International Workshop on Rapid System Prototyping
Prototyping object oriented specifications
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Prototyping domain specific languages with COOPN
RISE'05 Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques
A methodology and a framework for model-based testing
RISE'04 Proceedings of the First international conference on Rapid Integration of Software Engineering Techniques
Automatic test concretization to supply end-to-end MBT for automotive mechatronic systems
Proceedings of the First International Workshop on End-to-End Test Script Engineering
UML behavioral model based test case generation: a survey
ACM SIGSOFT Software Engineering Notes
| Hi-index | 0.00 |
In this paper we will explain our approach for generating test cases for a UML system model. Despite the fact that UML authors claim that UML semantics are precise enough to define non-ambiguous models, we find that the overlap of the different views makes it difficult to explore and make deductions on the state space of the modeled system in order to generate test cases. Our approach is thus based on a subset of UML (inspired from the Fondue approach) for which we have defined clear transformation semantics. We provide these semantics by delineating transformation rules using the MDA (Model Driven Architecture) architecture. We transform UML models into CO-OPN (Concurrent Object Oriented Petri Nets) ones, CO-OPN being a formal specification language defined in our Laboratory. We have also defined a language for expressing test intentions for CO-OPN models. This language allows selecting interesting executions (tests cases) of a model by providing constraints over all possible traces of that model. By exploring the model's semantics with the tools we have built for our CO-OPN language we are able to generate test cases based on those test intentions. We are also able to partially eliminate redundancy in the produced test cases by finding equivalence classes in the model operation's inputs.