138 search results - page 1 / 28 » Automatic Test Case Generation from UML Models and OCL Expre... |
SE
2008
13 years 6 months ago
2008
: 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....
MODELS
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. In this paper, we deal with model-based automatic test generation. We show how to use UML state machines, UML class diagrams, and OCL expressions to automatically derive ...
ICSE
2009
IEEE-ACM
13 years 2 months ago
2009
IEEE-ACM
Model driven functional system testing generates test scenarios from behavioural and structural models. In order to autmatically generate tests, conditions such as invariants and ...
ICST
2008
IEEE
13 years 11 months ago
2008
IEEE
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 the...
UML
2005
Springer
13 years 10 months ago
2005
Springer
Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in ...