ADDICT: a prototype system for AutomateD test Data generation using the Integrated Classification-Tr

The classification-tree method (CTM) is a black box technique developed by Grochtmann and Grimm, which helps software testers construct test cases systematically from functional specifications. Later, some extension work has been done on CTM by Chen et al., with a view to improving the effectiveness of the method. This extension results in their integrated classification-tree methodology (ICTM). In this paper, we describe and discuss a prototype system ADDICT that is based on ICTM.

[1]  Paul Ammann,et al.  Using formal methods to derive test frames in category-partition testing , 1994, Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance.

[2]  Paul Ammann,et al.  Using Z specifications in category partition testing , 1992, COMPASS `92 Proceedings of the Seventh Annual Conference on Computer Assurance.

[3]  Matthias Grochtmann,et al.  Classification trees for partition testing , 1993, Softw. Test. Verification Reliab..

[4]  Tsong Yueh Chen,et al.  Experience with teaching black-box testing in a computer science/software engineering curriculum , 2004, IEEE Transactions on Education.

[5]  Tsong Yueh Chen,et al.  A Choice Relation Framework for Supporting Category-Partition Test Case Generation , 2003, IEEE Trans. Software Eng..

[6]  Mirko Conrad,et al.  Test case design based on Z and the classification-tree method , 1997, First IEEE International Conference on Formal Engineering Methods.

[7]  Marc J. Balcer,et al.  The category-partition method for specifying and generating fuctional tests , 1988, CACM.

[8]  Tsong Yueh Chen,et al.  An Integrated Classification-Tree Methodology for Test Case Generation , 2000, Int. J. Softw. Eng. Knowl. Eng..

[9]  Jeffrey M. Voas,et al.  Estimating the Probability of Failure When Testing Reveals No Failures , 1992, IEEE Trans. Software Eng..

[10]  Tsong Yueh Chen,et al.  On the use of the classification-tree method by beginning software testers , 2003, SAC '03.