Deriving input partitions from UML models for automatic test generation

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

Volumn 5002 LNCS, Issue , 2008, Pages 151-163

  Weißleder, Stephan ^a   Schlingloff, Bernd Holger ^a  

^a HUMBOLDT UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; BIOINFORMATICS; BOOLEAN FUNCTIONS; COMPUTER SCIENCE; COMPUTER SIMULATION LANGUAGES; GRAPHIC METHODS; PARTITIONS (BUILDING); SOFTWARE ENGINEERING; TESTING; UNIFIED MODELING LANGUAGE;

AUTOMATIC TEST GENERATION; BOUNDARY TESTING; COMMERCIAL TOOLS; HEIDELBERG (CO); INPUT PARAMETERS; LECTURE NOTES; MODEL BASED (OPC); STATE MACHINES; TEST-GENERATION ALGORITHMS; UML (UNIFIED MODELING LANGUAGE)MODEL; UML CLASS DIAGRAMS;

MODELS;

EID: 47749085120     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-69073-3_17     Document Type: Conference Paper

References (26)

1. Beizer, B.: Software Testing Techniques. John Wiley & Sons, Inc., Chichester (1990)
2. Binder, R.V.: Testing object-oriented systems: models, patterns, and tools. Addison-Wesley Longman Publishing Co., Inc., Amsterdam (1999)
3. Bourhfir, C., Dssouli, R., Aboulhamid, E., Rico, N.: Automatic executable test case generation for extended finite state machine protocols. In: IWTCS 1997, pp. 75-90 (1997)
4. Cheng, K.T., Krishnakumar, A.S.: Automatic functional test generation using the extended finite state machine model. In: DAC 1993, pp. 86-91. ACM Press, New York (1993)
5. Dai, Z.R., Deussen, P.H., Busch, M., Lacmene, L.P., Ngwangwen, T., Herrmann, J., Schmidt, M.: Automatic Test Data Generation for TTCN-3 using CTE. In: ICSSEA (2005)
6. Object Management Group. Object Constraint Language (OCL), version 2.0 (2005)
7. Object Management Group. Unified Modeling Language (UML), version 2.1 (2007)
8. Hamie, A., Civello, F., Howse, J., Kent, S.J.H., Mitchell, R.: Reflections on the object constraint language. In: Bézivin, J., Muller, P.-A. (eds.) UML 1998. LNCS, vol. 1618, pp. 162-172. Springer, Heidelberg (1999)
9. Hierons, R., Harman, M., Fox, C., Ouarbya, L., Daoudi, M.: Conditioned slicing supports partition testing. In: Software Testing, Verification and Reliability (2002)
10. Reactive Systems Inc. Reactis, http://www.reactive-systems.com
11. Kansomkeat, S., Rivepiboon, W.: Automated-generating test case using UML statechart diagrams. In: SAICSIT 2003, pp. 296-300 (2003)
12. Kosmatov, N., Legeard, B., Peureux, F., Utting, M.: Boundary coverage criteria for test generation from formal models. In: ISSRE 2004, pp. 139-150. IEEE, Los Alamitos (2004)
13. Legeard, B., Peureux, F., Utting, M.: Automated Boundary Testing from Z and B. In: Eriksson, L.-H., Lindsay, P.A. (eds.) FME 2002. LNCS, vol. 2391, pp. 21-40. Springer, Heidelberg (2002)
14. Leirios: LTG/UML, http://www.leirios.com
15. Liskov, B.: Keynote address - data abstraction and hierarchy. In: SIGPLAN, pp. 17-34 (1988)
16. Offutt, J., Abdurazik, A.: Generating tests from UML specifications. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol. 1723, pp. 416-429. Springer, Heidelberg (1999)
17. Richters, M., Gogolla, M.: On formalizing the UML object constraint language OCL. In: Ling, T.-W., Ram, S., Li Lee, M. (eds.) ER 1998. LNCS, vol. 1507, pp. 449-464. Springer, Heidelberg (1998)
18. Weißleder, S.: ParTeG (Partition Test Generator), http://parteg.sourceforge.net
19. Samuel, P., Mall, R.: Boundary Value Testing based on UML Models. In: ATS 2005, pp. 94-99. IEEE Computer Society, Los Alamitos (2005)
20. Sokenou, D.: Generating Test Sequences from UML Sequence Diagrams and State Diagrams. In: INFORMATIK 2006, pp. 236-240 (2006)
21. Telcordia Technologies. AETG, http://aetgweb.argreenhouse.com
22. Telelogic. Rhapsody Automated Test Generation, http://www.telelogic.com
23. Le Traon, Y.: Design by contract to improve software vigilance. IEEE Trans. Softw. Eng. 32(8), 571-586 (2006)
24. Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann Publishers Inc., San Francisco (2006)
25. VerifySoft Technology. Conformiq Test Generator, http://www.verifysoft. com/
26. Ziemann, P., Gogolla, M.: Validating OCL specifications with the USE tool - an example based on the BART case study. In: FMICS 2003 (2003)