1 | Lijun Shan and Hong Zhu Generating Structurally Complex Test Cases By Data Mutation: A Case Study Of Testing An Automated Modelling Tool The Computer Journal, (), June 2007. |
|
| Abstract: Generation of adequate test cases is difficult and expensive, especially for testing software systems whose input is structurally complex. This paper presents an approach called data mutation to generating a large number of test data from a few seed test cases. It is inspired by mutation testing methods, but differs from them in the aim and the way that mutation operators are defined and used. While mutation testing is a method for measuring test adequacy, data mutation is a method of test case generation. In traditional mutation testing, mutation operators are used to transform the program under test. In contrast, mutation operators in our approach are applied on input data to generate test cases, hence called data mutation operators. The paper reports a case study with the method on testing an automated modelling tool to illustrate the applicability of the proposed method. Experiment data clearly demonstrate that the method is adequate and cost effective, and able to detect a large proportion of faults. |
| @ARTICLE{shanZ07,
author = {Lijun Shan and Hong Zhu},
title = {Generating Structurally Complex Test Cases By Data Mutation: A Case Study Of Testing An Automated Modelling Tool},
journal = {The Computer Journal},
year = {2007},
month = {June},
volume = {},
number = {},
pages = {}
} |
2 | Lijun Shan and Hong Zhu Testing Software Modelling Tools Using Data Mutation Proceedings of the International Workshop on Automation of Software Test (AST'06)Shanghai, China, 20-28 May 2006. |
|
| 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. |
| @INPROCEEDINGS{ShanZ06,
author = {Lijun Shan and Hong Zhu},
title = {Testing Software Modelling Tools Using Data Mutation},
booktitle = {Proceedings of the International Workshop on Automation of Software Test (AST'06)},
year = {2006},
address = {Shanghai, China},
month = {20-28 May},
pages = {43 - 49}
} |
3 | Hong Zhu and Patrick A. V. Hall and John H. R. May and T. Cockram Injecting Faults into Environment Simulators for Testing Safety Critical Software Proceedings of the 1st European Dependable Computing Conference on Dependable Computing (EDCC'94), 1994. |
|
| Abstract: Available soon... |
| @INPROCEEDINGS{ZhuHMC94,
author = {Hong Zhu and Patrick A. V. Hall and John H. R. May and T. Cockram},
title = {Injecting Faults into Environment Simulators for Testing Safety Critical Software},
booktitle = {Proceedings of the 1st European Dependable Computing Conference on Dependable Computing (EDCC'94)},
year = {1994},
address = {},
month = {},
pages = {235-249}
} |