Paper Info
Title
Generating OCL Constraints from Test Case Schemas For Testing Model Behavior.
Abstract
This contribution studies testing behavioral aspects of a given UML and OCL model. In our approach, a so-called model validator can automatically generate test cases (object models) by using configurations for the object models and manually formulated OCL invariants. But expressing OCL invariants can be complex and difficult, especially for novel or occasional modelers. In this contribution, we present an approach to automatically transform a diagrammatic test case schema into a corresponding OCL invariant. The schema is a visual representation of a behavioral test scenario constructed by the developer and which is instantiated by the model validator to achieve different concrete test cases. This approach enhances the underlying testing technique in making it developer-friendly and independent of OCL expertise.
Year
DOI
Venue
2018
10.1007/978-3-319-99927-2_6
Lecture Notes in Computer Science
Field
DocType
Volume
Programming language,Unified Modeling Language,Diagrammatic reasoning,Computer science,Scenario testing,Invariant (mathematics),Test case,Schema (psychology),Validator
Conference
11146
ISSN
Citations 
PageRank 
0302-9743
0
0.34
References 
Authors
4
2
Name
Order
Citations
PageRank
Nisha Desai1136.63
Martin Gogolla22398578.76