Testing software modelling tools using data mutation

  • Authors:

  • Lijun Shan;Hong Zhu

  • Affiliations:

  • National University of Defence Tech, Changsha, China;Oxford Brookes University, Oxford, UK

  • Venue:
  • Proceedings of the 2006 international workshop on Automation of software test
  • Year:
  • 2006

Quantified Score

Hi-index 0.01

Visualization

Abstract

Modelling tools play a crucial role in model-driven software development methods. A particular difficulty in testing such software systems is the generation of adequate test cases because the test data are structurally complicated. This paper proposes an approach called data mutation to generating a large number of test data from a few seed test cases. It is inspired in mutation testing methods, but differs from them in the way that mutation operators are defined and used. In our approach, mutation operators transform the input data rather than the program under test or the specification of the software. It is not a test adequacy measurement. Instead, it generates test cases. The paper also reports a case study with the method on testing a modelling tool and illustrates the applicability of the proposed method. Experiment data clearly demonstrated that the method can achieve a high test adequacy. It has a high fault detecting ability and good cost effectiveness.