A choice relation framework for supporting category-partition test case generation

IEEE Transactions on Software Engineering

Volumn 29, Issue 7, 2003, Pages 577-593

  Chen, T Y ^a   Poon, Pak Lok ^b   Tse, T H ^c  

^a SWINBURNE UNIVERSITY OF TECHNOLOGY   (Australia)

^b HONG KONG POLYTECHNIC UNIVERSITY   (Hong Kong)

^c UNIVERSITY OF HONG KONG   (Hong Kong)

Author keywords

Category partition testing; Choice relation framework; Choice relation table; Specification based testing; Test case construction; Test frame

Indexed keywords

ALGORITHMS; COMPUTABILITY AND DECIDABILITY; COMPUTER SOFTWARE SELECTION AND EVALUATION; OBJECT ORIENTED PROGRAMMING; THEOREM PROVING;

CATEGORY PARTITION METHOD; CHOICE RELATION FRAMEWORK; SUPPORTING CATEGORY PARTITION TEST CASE GENERATION; TEST FRAME;

SOFTWARE ENGINEERING;

EID: 0042850366     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.2003.1214323     Document Type: Article

References (20)

1. N. Amla and P. Ammann, "Using Z Specifications in Category-Partition Testing," Systems Integrity, Software Safety, and Process Security: Building the Right System Right: Proc. Seventh Ann. IEEE Conf. Computer Assurance (COMPASS '92), pp. 3-10, 1992.
2. P. Ammann and J. Offutt, "Using Formal Methods to Derive Test Frames in Category-Partition Testing," Safety, Reliability, Fault Tolerance, Concurrency, and Real Time Security: Proc. Ninth Ann. Conf. Computer Assurance (COMPASS '94), pp. 69-79, 1994.
3. A. Avritzer and E.J. Weyuker, "The Automatic Generation of Load Test Suites and the Assessment of the Resulting Software," IEEE Trans. Software Eng., vol. 21, no. 9, pp. 705-716, Sept. 1995.
4. M.J. Balcer, W.M. Hasling, and T.J. Ostrand, "Automatic Generation of Test Scripts from Formal Test Specifications," Proc. Third ACM Ann. Symp. Software Testing, Analysis, and Verification (TAV '89), pp. 210-218, 1989.
5. H.Y. Chen, T.H. Tse, F.T. Chan, and T.Y. Chen, "In Black and White: An Integrated Approach to Class-Level Testing of Object-Oriented Programs," ACM Trans. Software Eng. and Methodology, vol. 7, no. 3, pp. 250-295, 1998.
6. H.Y. Chen, T.H. Tse, and T.Y. Chen, "TACCLE: A Methodology for Object-Oriented Software Testing at the Class and Cluster Levels," ACM Trans. Software Eng. and Methodology, vol. 10, no. 1, pp. 56-109, 2001.
7. T.Y. Chen, P.L. Poon, and T.H. Tse, "Classification-Tree Restructuring Methodologies: A New Perspective," IEE Proc.: Software, vol. 149, no. 2, pp. 65-74, 2002.
8. T. Chusho, "Test Data Selection and Quality Estimation Based on the Concept of Essential Branches for Path Testing," IEEE Trans. Software Eng., vol. 13, no. 5, pp. 509-517, May 1987.
9. S. Elbaum, A. Malishevsky, and G. Rothermel, "Test Case Prioritization: A Family of Empirical Studies," IEEE Trans. Software Eng., vol. 28, no. 2, pp. 159-182, Feb. 2002.
10. R. Ferguson and B. Korel, "The Chaining Approach for Software Test Data Generation," ACM Trans. Software Eng. and Methodology, vol. 5, no. 1, pp. 63-86, 1996.
11. M. Grochtmann and K. Grimm, "Classification Trees for Partition Testing," Software Testing, Verification and Reliability, vol. 3, no. 2, pp. 63-82, 1993.
12. P. Jorgensen, Software Testing: A Craftsman's Approach. Boca Raton, Fla.: CRC Press, 2001.
13. C. Kaner, J. Falk, and H.Q. Nguyen, Testing Computer Software. New York: Wiley, 1999.
14. B. Korel, "Automated Test Data Generation for Programs with Procedures," Proc. 1996 Int'l Symp. Software Testing and Analysis (ISSTA '96), pp. 209-215, 1996.
15. G.J. Myers, Software Reliability: Principles and Practices. New York: Wiley, 1976.
16. A.J. Offutt and A. Irvine, "Testing Object-Oriented Software Using the Category-Partition Method," Proc. 17th Int'l Conf. Technology of Object-Oriented Languages and Systems (TOOLS 17), pp. 293-304, 1995.
17. T.J. Ostrand and M.J. Balcer, "The Category-Partition Method for Specifying and Generating Functional Tests," Comm. ACM, vol. 31, no. 6, pp. 676-686, 1988.
18. J. Sanders and E. Curran, Software Quality: A Framework for Success in Software Development and Support. Wokingham, U.K.: Addison-Wesley, 1994.
19. P. Stocks and D. Carrington, "A Framework for Specification-Based Testing," IEEE Trans. Software Eng., vol. 22, no. 11, pp. 777-793, Nov. 1996.
20. S.J. Zeil and C. Wild, "A Knowledge Base for Software Test Refinement," Proc. Eighth Knowledge-Based Software Eng. Conf., pp. 50-57, 1993.