Quality of automatically generated test cases based on OCL expressions

Proceedings of the 1st International Conference on Software Testing, Verification and Validation, ICST 2008

Volumn , Issue , 2008, Pages 517-520

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

^a HUMBOLDT UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC TEST PATTERN GENERATION; VERIFICATION;

BOUNDARY TESTING; COVERAGE CRITERIA;

SOFTWARE TESTING;

EID: 50649117574     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICST.2008.40     Document Type: Conference Paper

References (23)

1. C. Bourhfir, R. Dssouli, E. Aboulhamid, and N. Rico. Automatic executable test case generation for extended finite state machine protocols. In IWTCS'97, pages 75-90, 1997.
2. L. C. Briand, Y. Labiche, and J. Cui. Automated support for deriving test requirements from UML statecharts. Software and Systems Modeling, V4(4):399-423, November 2005.
3. L. C. Briand, Y. Labiche, and Q. Lin. Improving statechart testing criteria using data flow information. In ISSRE '05, pages 95-104, 2005.
4. K. T. Cheng and A. S. Krishnakumar. Automatic functional test generation using the extended finite state machine model. In DAC'93, pages 86-91. ACM Press.
5. J. Chilenski and S. Miller. Applicability of Modified Condition/ Decision Coverage to Software Testing. In Software Engineering Journal, 1994.
6. Z. R. Dai, P. H. Deussen, M. Busch, L. P. Lacmene, T. Ngwangwen, J. Herrmann, and M. Schmidt. Automatic Test Data Generation for TTCN-3 using CTE. In ICSSEA, 2005.
7. W. J. Gutjahr. Partition testing vs. random testing: The influence of uncertainty. IEEE Trans. Softw. Eng., 1999.
8. A. Hamie, F. Civello, J. Howse, S. J. H. Kent, and R. Mitchell. Reflections on the object constraint language. In UML 1998, Mulhouse, France, pages 162-172, 1999.
9. R. M. Hierons, M. Harman, C. Fox, L. Ouarbya, and M. Daoudi. Conditioned slicing supports partition testing. In Software Testing, Verification and Reliability, 2002.
10. R. S. Inc. Reactis. http://www.reactive-systems.com.
11. N. Kosmatov, B. Legeard, F. Peureux, and M. Utting. Boundary coverage criteria for test generation from formal models. In ISSRE '04, pages 139-150. IEEE, 2004.
12. B. Legeard, F. Peureux, and M. Utting. Automated Boundary Testing from Z and B. In FME, pages 21-40, 2002.
13. J. Offutt and A. Abdurazik. Generating tests from UML specifications. In UML'99, pages 416-429, 1999.
14. A. Pretschner, W. Prenninger, S. Wagner, C. Kühnel, M. Baumgartner, B. Sostawa, R. Zölch, and T. Stauner. One evaluation of model-based testing and its automation. In ICSE '05.
15. M. Richters and M. Gogolla. On formalizing the UML object constraint language OCL. In ER, pages 449-464, 1998.
16. D. Seifert, S. Helke, and T. Santen. Test Case Generation for UML Statecharts. In PSI03. Springer-Verlag, 2003.
17. Telelogic. Rhapsody Automated Test Generation. http://www.telelogic.com.
18. M. Utting and B. Legeard. Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann Publishers Inc., 2006.
19. VerifySoft Technology. Conformiq Test Generator. http://www.verifysoft. com/.
20. S. Weißleder. ParTeG (Partition Test Generator). http://parteg.sourceforge.net.
21. S. Weißleder and B.-H. Schlingloff. Automatic Test Generation from Coupled UML Models using Input Partitions. In MoDeVVa, 2007.
22. E. J. Weyuker and B. Jeng. Analyzing partition testing strategies. IEEE Trans. Softw. Eng., 17(7):703-711, 1991.
23. P. Ziemann and M. Gogolla. Validating OCL specifications with the USE tool - an example based on the BART case study. In FMICS'2003, 2003.