DocumentCode
1732900
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
fYear
2008
Firstpage
517
Lastpage
520
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Testing, Verification, and Validation, 2008 1st International Conference on
Conference_Location
Lillehammer
Print_ISBN
978-0-7695-3127-4
Type
conf
DOI
10.1109/ICST.2008.40
Filename
4539583
Link To Document