Approaches to specification-based testing
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
Specification of Graph Translators with Triple Graph Grammars
WG '94 Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science
Tool integration at the meta-model level: the Fujaba approach
International Journal on Software Tools for Technology Transfer (STTT) - Special section on tool integration applications and frameworks
Survey of compiler testing methods
Programming and Computing Software
Coverage-driven automatic test generation for uml activity diagrams
Proceedings of the 18th ACM Great Lakes symposium on VLSI
Metamodel-based tool integration with moflon
Proceedings of the 30th international conference on Software engineering
15 Years of Triple Graph Grammars
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Model transformation testing: oracle issue
ICSTW '08 Proceedings of the 2008 IEEE International Conference on Software Testing Verification and Validation Workshop
Automatic Model Generation Strategies for Model Transformation Testing
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Testing with model checkers: a survey
Software Testing, Verification & Reliability
Verification and validation of declarative model-to-model transformations through invariants
Journal of Systems and Software
Barriers to systematic model transformation testing
Communications of the ACM
Towards model-driven unit testing
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Validation of model transformations: first experiences using a white box approach
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Introduction to AGG and EMF Tiger by modeling a Conference Scheduling System
International Journal on Software Tools for Technology Transfer (STTT)
Proceedings of the First International Workshop on Model-Driven Interoperability
A constructive approach to testing model transformations
ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
Model synchronization at work: keeping SysML and AUTOSAR models consistent
Graph transformations and model-driven engineering
Toward Bridging the Gap between Formal Semantics and Implementation of Triple Graph Grammars
MODEVVA '10 Proceedings of the 2010 Workshop on Model-Driven Engineering, Verification, and Validation
Automatic conformance testing of web services
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Generating instance models from meta models
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Proceedings of the First Workshop on the Analysis of Model Transformations
Hi-index | 0.00 |
In model-driven development, model transformations can be specified using an operational (imperative) or relational (declarative) approach. When using a relational approach, approved formal concepts are necessary to derive a conform operationalization. In general, though, it is not sure if implementations realize these formal concepts in an entirely correct way. Moreover, usually, available formal concepts neither cover every technicality, nor cover each additional optimization an implementation relies on. Consequently, conformance needs to be validated also on the implementation level. Conformance means that for each source model S and target model T related according to the relational specification, a corresponding implementation transforms S into T (and T into S in case that the specification is bidirectional). We present an automatic conformance testing approach for TGG implementations, where the Triple Graph Grammar (TGG) approach is an important representative of relational model transformation approaches. We show that the grammar character of TGGs is very convenient for the automatic generation of conformance test cases. In particular, test input models can be generated together with their expected result obtaining a complete oracle. We show how to measure test suite quality and evaluate our approach on our own TGG implementation.