2013 | OriginalPaper | Buchkapitel
Systematic Testing of Graph Transformations: A Practical Approach Based on Graph Patterns
verfasst von : Martin Wieber, Andy Schürr
Erschienen in: Theory and Practice of Model Transformations
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Correctness is an essential property of model transformations. Although testing is a well-accepted method for assuring software quality in general, the properties of declarative transformation languages often prevent a direct application of testing strategies from imperative programming languages. A key challenge of transformation testing concerns limiting the testing effort by a good
stop criterion
. In this work, we tackle this issue for
programmed graph transformations
, and present a practical methodology to derive
sufficient test suites
based on a new
coverage notion
inspired by mutation analysis. We systematically generate
requirement (graph) patterns
from the transformation under test, applying different requirement construction strategies, and analyze the approach in terms of practicability, test suite quality and the ability to guide and support test case construction.