Formal test-case generation for UML statecharts

Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

Volumn , Issue , 2004, Pages 75-84

  Gnesi, Stefania ^a   Latella, Diego ^a   Massink, Mieke ^a  

^a ISTI CNR   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; COMPUTER SOFTWARE; COMPUTER SYSTEM RECOVERY; DATA ACQUISITION; LARGE SCALE SYSTEMS; SEMANTICS;

CONFORMANCE TESTING; LABELED TRANSITION SYSTEMS (LTS); SOFTWARE SYSTEMS; UNIFIED MODELING LANGUAGE (UML);

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 4444243326     PISSN: 27708527     EISSN: 27708535     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (22)

1. J. Alilovic-Curgus and S. Vuong. A metric based theory of test selection and coverage. In A. Danthine, G. Leduc, and W. P., editors, Protocol Specification, Testing, and Verification, XII, pages 289-304. IFIP WG 6.1, North-Holland Publishing Company, 1993.
2. K. Bogdanov, M. Holcombe, and H. Singh. Automated test set generation for Statecharts. In D. Hutter, W. Stephan, P. Traverso, and M. Ullmann, editors, Applied Formal Methods, volume 1641 of Lecture Notes in Computer Science, pages 107-121. Springer-Verlag, 1998.
3. B. Bosik and M. Ümit Uyar. Finite state machines based formal methods in protocol conformance testing: from theory to implementation. Computer Networks and ISDN Systems. North-Holland, 22:7-33, 1991.
4. E. Brinksma, J. Tretmans, and L. Verhaard. A framework for test selection. In B. Jonsson, J. Parrow, and B. Pehrson, editors, Protocol Specification, Testing, and Verification, XI, pages 289-304. IFIP WG 6.1, North-Holland Publishing Company, 1991.
5. A. Fantechi, S. Gnesi, and A. Maggiore. Enhancing test coverage by back-tracing model-checker counterexamples, 2004. (submitted for publication).
6. L. Feijs, N. Goga, S. Mauw, and J. Tretmans. Test selection, trace distance and heuristics. In IFIP 14th International Conference on Testing of Communicating Systems, 2002.
7. S. Gnesi, D. Latella, and M. Massink. Formal conformance testing UML Statechart Diagrams Behaviours: From theory to automatic test generation. Technical Report CNUCE-B04-2001-16, Consiglio Nazionale delle Ricerche, Istituto CNUCE, 2001. (Full version).
8. S. Gnesi, D. Latella, and M. Massink. Modular semantics for a UML Statechart Diagrams kernel and its extension to Multicharts and Branching Time Model Checking. The Journal of Logic and Algebraic Programming. Elsevier Science, 51(1):43-75, 2002.
9. M. Hennessy. Algebraic Theory of Processes. MIT Press, Boston, 1988.
10. Intecs and CNR-CNUCE. PRIDE Definition of Changes in UML Notation. Technical Report PRIDE Deliverable 1.2, PRIDE, 02.
11. D. Latella, I. Majzik, and M. Massink. Automatic verification of a behavioural subset of UML Statechart diagrams using the SPIN model-checker. Formal Aspects of Computing. The International Journal of Formal Methods. Springer-Verlag, 11(6):637-664, 1999.
12. D. Latella, I. Majzik, and M. Massink. Towards a formal operational semantics of UML statechart diagrams. In P. Ciancarini, A. Fantechi, and R. Gorrieri, editors, IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Oriented Distributed Systems, pages 331-347. Kluwer Academic Publishers, 1999. ISBN 0-7923-8429-6.
13. D. Latella and M. Massink. A formal testing framework for UML Statechart Diagrams behaviours: From theory to automatic verification. In A. Jacobs, editor, Sixth IEEE International High-Assurance Systems Engineering Symposium, pages 11-22. IEEE Computer Society Press, 2001. ISBN0-7695-1275-5.
14. D. Latella and M. Massink. On testing and conformance relations of UML Statechart Diagrams Behaviours. In P. G. Frankl, editor, Proceedings of the ACM SIGSOFT 2002 International Symposium on Software Testing and Analysis, pages 144-153. Association for Computing Machinery - ACM, 2002. ACM Software Engineering Notes 27(4), ISBN 1-58113-562-9.
15. J. Le Traon, T. Jeron, J. Jezequel, S. Pickin, C. Jard, and A. Le Guennec. System test synthesis from UML models of distributed software. In D. Peled and M. Vardi, editors, Formal Techniques for Networked and Distributed Systems - FORTE 2002, volume 2529 of Lecture Notes in Computer Science. Springer-Verlag, 2002.
16. D. Lee and M. Yannakakis. Principles and Methods of Testing Finite State Machines - A Survey. Proceedings of the IEEE, 84(8):1090-1123, 1996.
17. M. Massink. Functional Techniques in Concurrency. PhD thesis, University of Nijmegen, Feb. 1996. ISBN 90-9008940-3.
18. Object Management Group, Inc. OMG Unified Modeling Language Specification - version 1.5, 2003. http://www.omg.org/cgi-bin/doc?formal/03-03-01.
19. A. Pretschner, O. Slotosh, H. Lötzbeyer, and E. Aiglstorfer. Model based testing for real: The Inhouse Card study. In 6th International ERCIM Workshop on Formal Methods for Industrial Critical Systems, Paris, pages 79-94, 2001.
20. The Agedis Project. The Agedis Home Page, 2003. http://www.agedis.da/index.shtml.
21. J. Tretmans. Test generation with inputs, outputs and repetitive quiescence. Software - Concepts and Tools, 17(3):103-120, 1996.
22. J. Tretmans. Testing concurrent systems: A formal approach. In J. Baeten and S. Mauw, editors, Concur '99, volume 1664 of Lecture Notes in Computer Science, pages 46-65. Springer-Verlag, 1999.