Feasible input domain partitioning in software testing: RCS case study
Annals of Software Engineering
Automatic Model Generation Strategies for Model Transformation Testing
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Hi-index | 0.00 |
Software testing is an important and a costly phase of the software development lifecycle. In this paper, an approach is presented that improves the effectiveness of software testing based on partitioning the input domain. Specifically, it is shown how partitioning can decrease the number of tests needed to find defects. The improvement is based on partitioning the input domain according to how different user-level functions of software read from and write to internal state variables. Several parameters that influence the probability of finding defects are investigated with a computer simulation: the size of a test case, the type of a defect, the number of partitions, and the ratio of reading and writing accesses to state variables.