Semeráth, Oszkár and Farkas, Rebeka and Bergmann, Gabor and Varro, Daniel (2019) Diversity of graph models and graph generators in mutation testing. International Journal on Software Tools for Technology Transfer, 22 (1). pp. 57-78. ISSN 1433-2779
|
Text
Semeráth2020_Article_DiversityOfGraphModelsAndGraph.pdf Download (1MB) | Preview |
Abstract
When custom modeling tools are used for designing complex safety-critical systems (e.g., critical cyber-physical systems), the tools themselves need to be validated by systematic testing to prevent tool-specific bugs reaching the system. Testing of such modeling tools relies upon an automatically generated set of models as a test suite. While many software testing practices recommend that this test suite should be diverse, model diversity has not been studied systematically for graph models. In the paper, we propose different diversity metrics for models by generalizing and exploiting neighborhood and predicate shapes as abstraction. We evaluate such shape-based diversity metrics using various distance functions in the context of mutation testing of graph constraints and access policies for two separate industrial DSLs. Furthermore, we evaluate the quality (i.e., bug detection capability) of different (random and consistent) model generation techniques for mutation testing purposes.
Item Type: | Article |
---|---|
Subjects: | T Technology / alkalmazott, műszaki tudományok > T2 Technology (General) / műszaki tudományok általában |
Depositing User: | Dr. Gábor Bergmann |
Date Deposited: | 25 Sep 2020 12:56 |
Last Modified: | 25 Sep 2020 12:56 |
URI: | http://real.mtak.hu/id/eprint/113766 |
Actions (login required)
![]() |
Edit Item |