Abstract | ||
---|---|---|
This paper discusses the relationship between tests and proofs with focus on a tool for UML and OCL models. Tests are thought of as UML object diagrams and theorems or properties which are to be checked are represented as OCL constraints, i.e., class invariants or operation pre- and postconditions. The paper shows for the UML and OCL tool USE (UML-based Specification Environment) how to trace and debug the validity of an expected theorem (an OCL constraint) within a given test case (a state model in the form of a UML object diagram). |
Year | DOI | Venue |
---|---|---|
2012 | 10.1007/978-3-642-30473-6_13 | TAP |
Keywords | Field | DocType |
state model,class invariants,debugging ocl expression,uml-based specification environment,uml model,operation pre,ocl model,expected theorem,ocl constraint,uml object diagram,test case,ocl tool | Programming language,Object diagram,UML tool,Expression (mathematics),Unified Modeling Language,Computer science,Algorithm,Mathematical proof,Applications of UML,Object Constraint Language,Debugging | Conference |
Citations | PageRank | References |
3 | 0.49 | 6 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jens Brüning | 1 | 42 | 5.49 |
Martin Gogolla | 2 | 2398 | 578.76 |
Lars Hamann | 3 | 234 | 20.17 |
Mirco Kuhlmann | 4 | 302 | 17.46 |