On testing and conformance relations for UML statechart diagrams behaviours

Proceedings of the ACM SIGSOFT 2002 International Symposium on Software Testing and Analysis

Volumn , Issue , 2002, Pages 144-153

  Latella, Diego ^a   Massink, Mieke ^a  

^a ISTI CNR   (Italy)

Author keywords

Conformance Testing; Formal Semantics; Testing Theory; UML Statechart Diagrams

Indexed keywords

COMPUTER PROGRAMMING; PROGRAM DEBUGGING; SEMANTICS; SPECIFICATIONS;

CONFORMANCE RELATIONS;

SOFTWARE ENGINEERING;

EID: 0036983238     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/566193.566194     Document Type: Conference Paper

References (18)

1. 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.
2. R. De Nicola. Extensional equivalences for transition systems. Acta Inf., (24):211-237, 1987.
3. 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. (To appear).
4. S. Gnesi, D. Latella, and M. Massink. Towards formal conformance testing of uml statechart diagrams behaviors. (submitted).
5. 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).
6. M. Hennessy. Algebraic Theory of Processes. The MIT Press, 1988.
7. 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, 11(6):637-664, 1999.
8. 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.
9. D. Latella and M. Massink. A formal testing framework for UML Statechart Diagrams Behaviours: From theory to automatic verification. Technical Report CNUCE-B4-2001-007, Consiglio Nazionale delle Ricerche, Istituto CNUCE, 2001. (Full version).
10. D. Latella and M. Massink. A formal testing framework for UML Statechart Diagrams behaviours: From theory to automatic verification. In Sixth IEEE International High-Assurance Systems Engineering Symposium. IEEE Computer Society Press, 2001.
11. D. Latella and M. Massink. Relating testing and conformance relations for UML Statechart Diagrams Behaviours. Technical Report CNUCE-B4-2002-001, Consiglio Nazionale delle Ricerche, Istituto CNUCE, 2002. (Full version).
12. D. Lee and M. Yannakakis. Principles and Methods of Testing Finite State Machines - A Survey. Proceedings of the IEEE, 84(8):1090-1123, 1996.
13. M. Massink. Functional Techniques in Concurrency. PhD thesis, University of Nijmegen, Feb. 1996. ISBN 90-9008940-3.
14. Object Management Group, Inc. OMG Unified Modeling Language Specification - version 1.3, 1999.
15. Rational Software and Microsoft and Hewlett-Packard and Oracle and Sterling Software and MCI Systemhouse and Unisys and ICON Computing and IntelliCorp and i-Logix and IBM and ObjecTime and Platinum Technology and Ptech and Taskon and Reich Technologies and Softeam. UML Semantics, version 1.1, 1997. UML semantics with metamodel.
16. J. Tretmans. A Formal Approach to Conformance Testing. PhD thesis, University of Twente, 1992.
17. J. Tretmans. Test generation with inputs, outputs and repetitive quiescence. Software - Concepts and Tools, 17(3):103-120, 1996.
18. 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.