A subset of precise UML for model-based testing

Proceedings of the 3rd International Workshop Advances in Model Based Testing, AMOST 2007

Volumn , Issue , 2007, Pages 95-104

  Bouquet, F ^a   Grandpierre, C ^b   Legeard, B ^b   Peureux, F ^b   Vacelet, N ^b   Utting, M ^c  

^a UNIVERSITÉ DE FRANCHE COMTÉ   (France)

^b LEIRIOS Technologies   (France)

^c UNIVERSITY OF WAIKATO   (New Zealand)

Author keywords

Model based testing; OCL; UML

Indexed keywords

AUTOMATION; ELECTRONIC COMMERCE; EMBEDDED SYSTEMS; INFORMATION TECHNOLOGY;

ELECTRONIC TRANSACTION; MODEL-BASED TESTING; OCL; UML;

MODEL CHECKING;

EID: 38849114913     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1291535.1291545     Document Type: Conference Paper

References (15)

1. S. J. Prowell, "JUMBL: A Tool for Model-Based Statistical Testing," hicss, p. 337c, 36th Annual Hawaii International Conference on System Sciences (HICSS'03) - Track 9, 2003.
2. M. Utting and B. Legeard. Practical Model-Based Testing - A tools approach. Elsevier Science/Morgan&Kaufmann, 2007. 454 pages, ISBN 012-372501-1.
3. E. Bernard, F. Bouquet, A. Charbonnier, B. Legeard, F. Peureux, M. Utting, and E. Torreborre. "Model-based Testing from UML Models". In Procs. of the Int. Workshop on Model-based Testing (MBT'2006), volume P-94 of Lecture Notes in Informatics, Dresden, Germany, pages 223-230, October 2006. ISBN 978-3-88579-188-1.
4. F. Bouquet, E. Jaffuel, B. Legeard, F. Peureux, and M. Utting. "Requirement Traceability in Automated Test Generation - Application to Smart Card Software Validation". In Procs. of the ICSE Int. Workshop on Advances in Model-Based Software Testing (AMOST'05), St. Louis, USA, May 2005. ACM Press.
5. J. Warmer and A. Kleppe. The Object Constraint Language Second Edition: Getting Your Models Ready for MDA. Addison-Wesley, 2003.
6. G. J. Myers. The Art of Software Testing. John Wiley & Sons, 1979.
7. A.J. Offut, Y. Xiong and S. Liu. "Criteria for generating specification-based tests", Proceedings of the 5th Int. Conference on Engineering of Complex Computer Systems (ICECCS'99), Las-Vegas, USA, pages 119-131, October 1999. IEEE Computer Society Press.
8. Prover Technology website - www.prover.com
9. T. Jéron and P. Morel, "Test generation derived from, model-checking", Proceedings of the 11th Conference on Computer-Aided Verification (CAV'99), Trento, Italy, LNCS 1633, pages 108-122, July 1999
10. P. Ammann, P.E. Black and W. Majurski, "Using Model Checking to Generate Tests from Specifications", Proceedings of the 2nd Int. Conference on Formal Engineering Methods (ICFEM'98), Brisbane, Australia, pages 46-55, December 1998. IEEE Computer Society Press.
11. Matthias Beyer, Winfried Dulz, Fenhua Zhen, "Automated TTCN-3 Test Case Generation by Means of UML Sequence Diagrams and Markov Chains," ats, p. 102, 12th Asian Test Symposium (ATS'03), 2003.
12. M.E. Vieira, M.S. Dias, D.J. Richardson, Object-Oriented Specification-Based Testing Using UML State-chart Diagrams, Proceedings of the Workshop on Automated Program Analysis, Testing, and Verification (at ICSE'00), June 2000.
13. L. Briand, Y. Labiche, A UML-Based Approach to System Testing, Proceedings of the Fourth International Conference on the Unified Modeling Language (UML'01), 2001, pp. 194-208.
14. Bernhard K. Aichernig, Percy Antonio Pari. Salas: Test Case Generation by OCL Mutation and Constraint Solving. QSIC 2005: 64-71
15. M. Benattou, J.-M. Bruel, and N. Hameurlain, "Generating Test Data from OCL Specification" in Proceedings of the ECOOP'2002 Workshop on Integration and Transformation of UML models (WITUML'02), 2002.