The category-partition method for specifying and generating fuctional tests
Communications of the ACM
Art of Software Testing
Improving the Quality of Classification Trees via Restructuring
APSEC '96 Proceedings of the Third Asia-Pacific Software Engineering Conference
Deriving test cases using class vectors
APSEC '00 Proceedings of the Seventh Asia-Pacific Software Engineering Conference
Towards a More Efficient Way of Generating Test Cases: Class Graphs
APAQS '00 Proceedings of the The First Asia-Pacific Conference on Quality Software (APAQS'00)
Classification-Hierarchy Table: A Methodology for Constructing the Classification Tree
ASWEC '96 Proceedings of the 1996 Australian Software Engineering Conference
A New Restructuring Algorithm for the Classification-Tree Method
STEP '99 Proceedings of the Software Technology and Engineering Practice
| Hi-index | 0.00 |
Specifications are the primary source for obtaining test cases in software testing. Specification based testing is becoming more and more important when black box components and COTS are widely used in software development. An important issue in system testing is to identify all the legitimate input. One of these systematic approaches is deriving test cases from classification tree. This approach partitions the input domain into classifications which are further partitioned into classes. Test cases are combinations of classes. Relations between classification and classes are identified and are used to construct the classification tree. From the classification tree, combination table is constructed. Test cases are derived from the combination table. However, human decisions are required in determining whether test cases derived from the combination table are legitimate. This problem is incurred by the limitation of the expressive power of classification trees which cannot express the relations among classes precisely. We propose an enhancement by expressing the relations among classes and the relations among classifications directly in vectors. We call this new approach Class Vectors. This paper presents the class vector approach with formal definitions of basic concepts and entities. We find that the expressive power of class vectors is higher than classification trees, that is, this approach can express the information given in the specification in a better way and derive all legitimate test cases with minimal human decisions. Furthermore, a method of generating legitimate test cases using class vectors is described. This method is derived from the formal semantics of class vector, hence it is theoretical sound. Finally, we discussed that the proposed method requires the least amount of human decisions, can be highly automatic and has good usability.