Automatic Test Case Generation from UML Models and OCL Expressions

: In this paper, we discuss one approach of automated test case generation from UML models and OCL expressions. We show how to use UML and OCL to support several coverage criteria. We introduce our current prototype implementation, compare it to commercial tools, and sketch shortcomings and further development.

• Type: Conference
• Year: 2008
• Where: SE
• Authors: Stephan Weißleder, Dehla Sokenou
• Keywords: Automated Test Case, Current Prototype Implementation, OCL Expressions, SE 2008, Software Engineering