Towards model-driven unit testing

Authors:
Gregor Engels;Baris Güldali;Marc Lohmann
Affiliations:
Software Quality Lab, University of Paderborn, Paderborn, Germany and Department of Computer Science, University of Paderborn, Paderborn, Germany;Software Quality Lab, University of Paderborn, Paderborn, Germany;Department of Computer Science, University of Paderborn, Paderborn, Germany
Venue:
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Year:
2006

Citing 12
Cited 3

Graph grammars with negative application conditions

Fundamenta Informaticae - Special issue on graph transformations
Extreme programming explained: embrace change

Extreme programming explained: embrace change
Automatically Checking an Implementation against Its Formal Specification

IEEE Transactions on Software Engineering
Testing object-oriented systems: models, patterns, and tools

Testing object-oriented systems: models, patterns, and tools
Test Driven Development: By Example

Test Driven Development: By Example
Applying "Design by Contract"

Computer
A Simple and Practical Approach to Unit Testing: The JML and JUnit Way

ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Transforming Software Development: An MDA Road Map

Computer
Executable Visual Contracts

VLHCC '05 Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing
Model-driven Monitoring: Generating Assertions from Visual Contracts

ASE '06 Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering
Model-driven development of reactive information systems: from graph transformation rules to JML contracts

International Journal on Software Tools for Technology Transfer (STTT) - Special Section on Fundamental Approaches to Software Engineering
Model-driven monitoring: an application of graph transformation for design by contract

ICGT'06 Proceedings of the Third international conference on Graph Transformations

Graph transformations for MDE, adaptation, and models at runtime

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
An aspect-oriented testability framework

Proceedings of the 2012 ACM Research in Applied Computation Symposium
Automatic conformance testing of optimized triple graph grammar implementations

AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance

Quantified Score

Hi-index	0.00

Visualization

Abstract

The Model-Driven Architecture (MDA) approach for constructing software systems advocates a stepwise refinement and transformation process starting from high-level models to concrete program code. In contrast to numerous research efforts that try to generate executable function code from models, we propose a novel approach termed model-driven monitoring. On the model level the behavior of an operation is specified with a pair of UML composite structure diagrams (visual contract), a visual notation for pre- and post-conditions. The specified behavior is implemented by a programmer manually. An automatic translation from our visual contracts to JML assertions allows for monitoring the hand-coded programs during their execution. In this paper we present how we extend our approach to allow for model-driven unit testing, where we utilize the generated JML assertions as test oracles. Further, we present an idea how to generate sufficient test cases from our visual contracts with the help of model-checking techniques.