Authors
Simon Pickin, Claude Jard, Thierry Jéron, Jean-Marc Jézéquel, Yves Le Traon
Publication date
2007/3/12
Journal
IEEE Transactions on Software Engineering
Volume
33
Issue
4
Pages
252-269
Publisher
IEEE
Description
The object-oriented software development process is increasingly used for the construction of complex distributed systems. In this context, behavior models have long been recognized as the basis for systematic approaches to requirements capture, specification, design, simulation, code generation, testing, and verification. Two complementary approaches for modeling behavior have proven useful in practice: interaction-based modeling (e.g., UML sequence diagrams) and state-based modeling (e.g., UML statecharts). Building on formal V&V techniques, in this article we present a method and a tool for automated synthesis of test cases from scenarios and a state-based design model of the application, remaining entirely within the UML framework. The underlying "on the fly" test synthesis algorithms are based on the input/output labeled transition system formalism, which is particularly appropriate for modeling …
Total citations
200720082009201020112012201320142015201620172018201920202021202220232024159678984231211
Scholar articles
S Pickin, C Jard, T Jéron, JM Jézéquel, Y Le Traon - IEEE Transactions on Software Engineering, 2007