loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2008 International Conference on Software Testing, Verification, and Validation
Quality of Automatically Generated Test Cases based on OCL Expressions
April 09-April 11
ISBN: 978-0-7695-3127-4
ASCII Text
x 
 
Stephan Weissleder, Bernd-Holger Schlingloff, "Quality of Automatically Generated Test Cases based on OCL Expressions," Software Testing, Verification, and Validation, 2008 International Conference on, pp. 517-520, 2008 International Conference on Software Testing, Verification, and Validation, 2008.
 
 
BibTex
x
 
@article{ 10.1109/ICST.2008.40,
author = {Stephan Weissleder and Bernd-Holger Schlingloff},
title = {Quality of Automatically Generated Test Cases based on OCL Expressions},
journal ={Software Testing, Verification, and Validation, 2008 International Conference on},
volume = {0},
year = {2008},
isbn = {978-0-7695-3127-4},
pages = {517-520},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICST.2008.40},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Testing, Verification, and Validation, 2008 International Conference on
TI - Quality of Automatically Generated Test Cases based on OCL Expressions
SN - 978-0-7695-3127-4
SP517
EP520
A1 - Stephan Weissleder,
A1 - Bernd-Holger Schlingloff,
PY - 2008
KW - Test Generation
KW - Coverage Criteria
KW - UML
KW - OCL
KW - Boundary
VL - 0
JA - Software Testing, Verification, and Validation, 2008 International Conference on
ER -
 
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.
Index Terms:
Test Generation, Coverage Criteria, UML, OCL, Boundary
Citation:
Stephan Weissleder, Bernd-Holger Schlingloff, "Quality of Automatically Generated Test Cases based on OCL Expressions," icst, pp.517-520, 2008 International Conference on Software Testing, Verification, and Validation, 2008
Usage of this product signifies your acceptance of the Terms of Use.