System test synthesis from uml models of distributed software

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2529 LNCS, Issue , 2002, Pages 97−113-

  Pickin, Simon ^a   Jard, Claude ^a   Traon, Yves Le ^a   Jéron, Thierry ^a   Jézéquel, Jean Marc ^a   Guennec, Alain Le ^b  

^a CAMPUS DE BEAULIEU   (France)

^b Telelogic Technologies   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AIR TRAFFIC CONTROL; OBJECT ORIENTED PROGRAMMING; SOFTWARE DESIGN; SOFTWARE TESTING; TESTING;

CENTRALISED; DISTRIBUTED SOFTWARE; OBJECT ORIENTED; OBJECT ORIENTED SOFTWARE DEVELOPMENT; SOFTWARE DEVELOPMENT PROCESS; SYSTEM TEST; TEST SYNTHESIS; UML MODEL; UML MODELING; V/V;

UNIFIED MODELING LANGUAGE;

EID: 4444311590     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36135-9_7     Document Type: Conference Paper

References (15)

1. Alur, R. and Yannakakis, M., Model checking of message sequence charts. proc. of the Tenth International Conference on Concurrency Theory, (1999).
2. Atkinson, C., et al. Component-based Product Line Engineering with UML. Addison-Wesley, 2002.
3. Bousquet, L.d., Martin, H. and Jézéquel, J.-M., Conformance Testing from UML Specifications. Experience Report. proc. of the UML2001 wkshp: Practical UML-Based Rigorous Development Methods, (October 2001).
4. Briand, L. and Labiche, Y., A UML-Based Approach to System Testing. proc. of the UML 2001, (Toronto-Canada2001).
5. ETSI. Methods for Testing and Specification (MTS); The Tree and Tabular Combined Notation version 3; Part 3: TTCN-3: Graphical Presentation Format (GFT), European Telecommunications Standards Institute, Technical Report TR 101 873-3 V1.1.2 (2001-06), 2001.
6. Gamma, E., et al. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995.
7. Hartmann, J., Imoberdorf, C. and Meisinger, M., UML-Based Integration Testing. proc. of the ACM Sigsoft International Symposium on Software Testing and Analysis 2000 (ISSTA 2000), (Portland Marriott Downtown, Portland, Oregon, USA, August 2000).
8. Ho, W., et al., UMLAUT: an extendible UML transformation framework. proc. of the Automated Software Engineering (ASE'99), (Florida, October 1999). http://www.irisa.fr/UMLAUT/
9. ITU-T. Message Sequence Chart (MSC), International Telecommunications Union-Telecommunications Sector, ITU-T Recommendation Z.120, 2000.
10. Jard, C., Principles of Distributed Test Synthesis based on True-concurrency Models. proc. of the Testcom’2002, (Berlin-Germany, March 2002).
11. Jéron, T. and Morel, P., Test generation derived from model checking. proc. of the Computer Aided Verification (CAV'99), (Trento, Italy1999).
12. OMG. Unified Modelling Language Specification, version 1.4. OMG Standard, November 2001.
13. Pickin, S., et al., A UML-integrated test description language for component testing. proc. of the UML2001 wkshp: Practical UML-Based Rigorous Development Methods, (October 2001). http://www.irisa.fr/cote/
14. Tretmans, J. Test generation with inputs, outputs and repetitive quiescence. Software-Concepts and Tools, 17 (3).(1996), 103--12.
15. OMG. UML 1.4 with Action Semantics 2002., Object Management Group, January 2001