Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

12

ICST
2008
IEEE

favoriteEmaildiscussreport

101views Software Engineering» more ICST 2008»

Quality of Automatically Generated Test Cases based on OCL Expressions

13 years 10 months ago

Quality of Automatically Generated Test Cases based on OCL Expressions

Download www2.informatik.hu-berlin.de

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 deﬁne and apply new coverage criteria, evaluate their efﬁciency via mutation testing, and substantiate all explanations by an example, part of a model of an elevator control.

Stephan Weißleder, Bernd-Holger Schlingloff

Real-time Traffic

Boundary Testing | Boundary Tests | Coverage Criteria | ICST 2008 | Software Engineering |

claim paper

Related Content

» Automatic Test Case Generation from UML Models and OCL Expressions

» Testing Distributed Component Based Systems Using UMLOCL

» Lessons Learned from Developing a Dynamic OCL Constraint Enforcement Tool for Java

» Towards Automatic Generation of VulnerabilityBased Signatures

» Automatic Conformance Testing of Web Services

» Designing and Building a Software Test Organization

» Test Input Generation for Programs with Pointers

» CaseBased Acquisition of User Preferences for Solution Improvement in IllStructured Domain...

» Using Load Tests to Automatically Compare the Subsystems of a Large Enterprise System

Post Info
More Details (n/a)

Added	31 May 2010
Updated	31 May 2010
Type	Conference
Year	2008
Where	ICST
Authors	Stephan Weißleder, Bernd-Holger Schlingloff

Comments (0)