The category-partition method for specifying and generating fuctional tests
Communications of the ACM
A Formal Evaluation of Data Flow Path Selection Criteria
IEEE Transactions on Software Engineering
Theory of Fault-Based Predicate Testing for Computer Programs
IEEE Transactions on Software Engineering
Softwear Reliability
A Choice Relation Framework for Supporting Category-Partition Test Case Generation
IEEE Transactions on Software Engineering
An extended fault class hierarchy for specification-based testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Domain Strategy for Computer Program Testing
IEEE Transactions on Software Engineering
Experience with Path Analysis and Testing of Programs
IEEE Transactions on Software Engineering
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Experience with teaching black-box testing in a computer science/software engineering curriculum
IEEE Transactions on Education
Input parameter modeling for combination strategies
SE'07 Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering
An automated approach to transform use cases into activity diagrams
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
| Hi-index | 0.00 |
The choice relation framework (CHOC' LATE) provides a systematic skeleton for constructing test cases from specifications. An early stage of the framework is to identify a set of categories and choices from the speci- fication, which is not a trivial task when this document is largely informal and complex. Despite the difficulty, the identification task is very important because the quality of the identified categories and choices will affect the comprehensiveness of the test cases and, hence, the chance of revealing software faults. This paper alleviates the problem by introducing a technique for identifying categories and choices from the activity diagrams in the specification. This technique also helps determine the relations between some pair of choices in the choice relation table - an essential step of CHOC' LATE for the subsequent generation of test cases.