The category-partition method for specifying and generating fuctional tests
Communications of the ACM
Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
Measures of testability as a basis for quality assurance
Software Engineering Journal
Computers at risk: safe computing in the information age
Computers at risk: safe computing in the information age
Estimating the Probability of Failure When Testing Reveals No Failures
IEEE Transactions on Software Engineering
Software quality: a framework for success in software development and support
Software quality: a framework for success in software development and support
The capability maturity model: guidelines for improving the software process
The capability maturity model: guidelines for improving the software process
Theory of Fault-Based Predicate Testing for Computer Programs
IEEE Transactions on Software Engineering
Assessing Software Review Meetings: Results of a Comparative Analysis of Two Experimental Studies
IEEE Transactions on Software Engineering
Communications of the ACM
Software Development with Z: A Practical Approach to Formal Methods in Software Engineering
Software Development with Z: A Practical Approach to Formal Methods in Software Engineering
A Test Generation Strategy for Pairwise Testing
IEEE Transactions on Software Engineering
In-Parameter-Order: A Test Generation Strategy for Pairwise Testing
HASE '98 The 3rd IEEE International Symposium on High-Assurance Systems Engineering
Test Case Design Based on Z and the Classification-Tree Method
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
A Choice Relation Framework for Supporting Category-Partition Test Case Generation
IEEE Transactions on Software Engineering
The Art of Software Testing
An extended fault class hierarchy for specification-based testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Effective Methods for Software Testing
Effective Methods for Software Testing
Identification of Categories and Choices in Activity Diagrams
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
A Partition-Based Approach for XPath Testing
ICSEA '06 Proceedings of the International Conference on Software Engineering Advances
A Critical Analysis of Empirical Research in Software Testing
ESEM '07 Proceedings of the First International Symposium on Empirical Software Engineering and Measurement
IEEE Transactions on Software Engineering
CHOC'LATE: a framework for specification-based testing
Communications of the ACM
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Choices, choices: comparing between CHOC'LATE and the classification-tree methodology
Ada-Europe'12 Proceedings of the 17th Ada-Europe international conference on Reliable Software Technologies
Hi-index | 0.00 |
An early step for most black-box testing methods is to identify a set of categories and choices (or their equivalents) from the specification. The identification is often performed in an ad hoc manner, thus the quality of categories and choices is in doubt. Poorly identified categories and choices will affect the comprehensiveness of test cases. In this paper, we describe several comparative studies using three commercial specifications and discuss the major results. The objectives of our studies are (a) to investigate the differences in the types and amounts of mistakes made between inexperienced and experienced software testers in an ad hoc identification approach and (b) to determine the extent of mistake reduction after discussing the mistakes with the software testers and providing them with an identification checklist.