Title :
Quality of Automatically Generated Test Cases based on OCL Expressions
Author :
Weißleder, Stephan ; Schlingloff, Bernd-Holger
Author_Institution :
Humboldt-Univ. zu Berlin, Berlin
Abstract :
In this paper, we deal with coverage criteria for boundary testing. We focus on the automatic generation of boundary tests based on OCL expressions and evaluate the quality of these tests with established coverage criteria like MC/DC. We define and apply new coverage criteria, evaluate their efficiency via mutation testing, and substantiate all explanations by an example, part of a model of an elevator control.
Keywords :
program testing; OCL expressions; automatically generated test case quality; boundary testing; mutation testing; Automatic generation control; Automatic testing; DC generators; Elevators; Genetic mutations; Object oriented modeling; Prototypes; Software testing; System testing; Unified modeling language; Boundary; Coverage Criteria; OCL; Test Generation; UML;
Conference_Titel :
Software Testing, Verification, and Validation, 2008 1st International Conference on
Conference_Location :
Lillehammer
Print_ISBN :
978-0-7695-3127-4
DOI :
10.1109/ICST.2008.40
