A Method for Creating a Test Case Set to Achieve Maximum Specification Coverage in Model Transformation Testing

When creating a model transformation in a test-driven approach the creation of a high-quality test suite is desirable. The quality definition usually incorporates the adequacy and the minimality of the test suite. When expanding a test suite, the overall quality of it should not be affected in a negative way. In order to calculate the quality of a test suite, coverage analysis can be used. If during the new test case creation the coverage analysis results are taken into consideration, lowering the negative impact on the quality of the test suite can be achieved more easily. However, creating models for the new test cases is not an easy task, especially not if the quality of the test suite has to be as high as possible. In this paper we present a method which can be used for creating models for new test cases. This method incorporates a periodical coverage analysis, so we can create new test cases while the low negative impact on the quality of the test suite is guaranteed.
Keywords: Daniel Kovacs, Kuster, Kuester

By: Dániel Kovács and Jochen M. Küster

Published in: RZ3850 in 2013


This Research Report is available. This report has been submitted for publication outside of IBM and will probably be copyrighted if accepted for publication. It has been issued as a Research Report for early dissemination of its contents. In view of the transfer of copyright to the outside publisher, its distribution outside of IBM prior to publication should be limited to peer communications and specific requests. After outside publication, requests should be filled only by reprints or legally obtained copies of the article (e.g., payment of royalties). I have read and understand this notice and am a member of the scientific community outside or inside of IBM seeking a single copy only.


Questions about this service can be mailed to reports@us.ibm.com .