DocumentCode :
634773
Title :
Efficient probabilistic testing of model transformations using search
Author :
Rose, Louis M. ; Poulding, Simon
Author_Institution :
Dept. of Comput. Sci., Univ. of York, York, UK
fYear :
2013
fDate :
20-20 May 2013
Firstpage :
16
Lastpage :
21
Abstract :
Checking the output of a test case for correctness-applying a test oracle-is challenging for many types of software, including model transformations. Decreasing the number of test cases that are executed during testing will therefore reduce the costs involved in testing a model transformation. However, there is a trade-off: to be confident that the transformation fulfils its specification requires the execution of sufficient test cases to fully exercise the transformation. In this paper, we demonstrate a process that derives a method of sampling random models which enables the test engineer to balance testing cost and testing efficacy. The output of the process is an optimised probability distribution over the models on which the transformation acts; test sets that efficiently exercise the transformation may then be derived by sampling models from the optimised distribution. Furthermore, we describe benefits and challenges of combining model-driven engineering and search-based software engineering tools and techniques, which include conflating metamodels with grammars to enable grammar-based search techniques over a set of models, and the need to increase the scalability of model-driven engineering tools to make them more amenable to search.
Keywords :
grammars; program testing; sampling methods; search problems; software cost estimation; statistical distributions; grammar-based search techniques; metamodels; model transformations; model-driven engineering; optimised probability distribution; probabilistic testing; sampling random models; scalability; search-based software engineering; testing cost; testing efficacy; Grammar; Manuals; Probability distribution; Software; Software algorithms; Statistical analysis; Testing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Combining Modelling and Search-Based Software Engineering (CMSBSE), 2013 1st International Workshop on
Conference_Location :
San Francisco, CA
Type :
conf
DOI :
10.1109/CMSBSE.2013.6604431
Filename :
6604431
Link To Document :
بازگشت