Statecharts: A visual formalism for complex systems
Science of Computer Programming
A Toolset for Supporting UML Static and Dynamic Model Checking
COMPSAC '02 Proceedings of the 26th International Computer Software and Applications Conference on Prolonging Software Life: Development and Redevelopment
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Software assurance by bounded exhaustive testing
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Test Case Generation by OCL Mutation and Constraint Solving
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
UMLAnT: an Eclipse plugin for animating and testing UML designs
eclipse '05 Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange
Software Abstractions: Logic, Language, and Analysis
Software Abstractions: Logic, Language, and Analysis
A subset of precise UML for model-based testing
Proceedings of the 3rd international workshop on Advances in model-based testing
USE: A UML-based specification environment for validating UML and OCL
Science of Computer Programming
Reducing the Costs of Bounded-Exhaustive Testing
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Semantics, calculi, and analysis for object-oriented specifications
Acta Informatica
Consistency, Independence and Consequences in UML and OCL Models
TAP '09 Proceedings of the 3rd International Conference on Tests and Proofs
Verification of object-oriented software: The KeY approach
Verification of object-oriented software: The KeY approach
Verifying UML/OCL models using Boolean satisfiability
Proceedings of the Conference on Design, Automation and Test in Europe
A specification-based test case generation method for UML/OCL
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
Tractable model transformation testing
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
Formal specification and testing of model transformations
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
| Hi-index | 0.00 |
Within model-driven development, class invariants play a central role. An essential property of a collection of invariants is the independence of each single invariant, i.e., the invariant at hand cannot be deduced from the other invariants. The paper explains with three example models the details of an approach for automatically proving and representing invariant independence on the basis of a script constructing large test cases for the underlying model. Analysis of invariant independence is visualized by means of several diagrams like a 'test configuration and result' diagram, an 'invariant dependence detail' diagram, and an 'invariant dependence overview' diagram. The paper also discusses how to build the test case construction script in a systematic way. The test case construction script is written by the model developer, but a general construction frame for the script is outlined.