Prioritization of test cases in MUMCUT test sets: An empirical study

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2361, Issue , 2002, Pages 245-256

  Yu, Yuen T ^a   Lau, Man F ^b  

^a CITY UNIVERSITY OF HONG KONG   (Hong Kong)

^b SWINBURNE UNIVERSITY OF TECHNOLOGY   (Australia)

Author keywords

Empirical study; Software testing; Specification based testing; Test case prioritization

Indexed keywords

ADA (PROGRAMMING LANGUAGE); FAULT DETECTION; SPECIFICATIONS; TESTING;

BOOLEAN SPECIFICATIONS; DISJUNCTIVE NORMAL FORM; EMPIRICAL STUDIES; PRIORITIZATION; SOFTWARE DEVELOPER; SPECIFICATION BASED TESTING; TEST CASE PRIORITIZATION; TEST SETS;

SOFTWARE TESTING;

EID: 84956974469     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48046-3_19     Document Type: Conference Paper

References (18)

1. N. Amla and P. Ammann. Using Z specifications in category-partition testing. In Systems Integrity, Software Safety, and Process Security: Building the Right System Right: Proceedings of the 7th Annual IEEE Conference on Computer Assurance (COMPASS’92), pages 3-10, 1992.
2. 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 Transactions on Software Engineering and Methodology, 7(3):250-295, 1998.
3. T. Y. Chen and M. F. Lau. Test case selection strategies based on boolean specifications. Software Testing, Verification and Reliability, 11(3):165-180, 2001.
4. T. Y. Chen, M. F. Lau, and Y. T. Yu. An empirical evaluation of the MUMCUT strategy for testing Boolean specifications. In Proceedings of the 3rd Annual IASTED International Conference on Software Engineering and Applications (SEA’99), pages 262-268, 1999.
5. T. Y. Chen, M. F. Lau, and Y. T. Yu. MUMCUT: A fault-based strategy for testing Boolean specifications. In Proceedings of Asia-Pacific Software Engineering Conference (APSEC’99), pages 606-613, 1999.
6. S. Elbaum, A. G. Malishevsky, and G. Rothermel. Prioritizing test cases for regression testing. In Proceedings of International Symposium on Software Testing and Analysis (ISSTA’00), pages 102-112, 2000.
7. K. A. Foster. Sensitive test data for logic expressions. ACM SIGSOFT Software Engineering Notes, 9(2):120-125, 1984.
8. D. D. Givone. Introduction to Switching Circuit Theory. McGraw-Hill, 1970.
9. C. B. Jones. Systematic Software Development using VDM. Prentice-Hall, second edition, 1989.
10. N. Kobayashi, T. Tsuchiya and T. Kikuno. Non-specification-based approaches to logic testing for software. Information and Software Technology, 44(2):113-121, 2002.
11. D. R. Kuhn. Fault classes and error detection capability of specification-based testing. ACM Transactions on Software Engineering and Methodology, 8(4):411-424, 1999.
12. N. G. Leveson, M. P. E. Heimdahl, H. Hildreth, and J. D. Reese. Requirements specification for process-control systems. IEEE Transactions on Software Engineering, 20(9):684-707, 1994.
13. W. V. Quine. The problem of simplifying truth functions. American Mathematical Monthly, 59:521-531, 1952.
14. G. Rothermel, R. H. Untch, C. Chu, and M. J. Harrold. Test case prioritization: An empirical study. In Proceedings of the International Conference on Software Maintenance, pages 1-10, 1999.
15. H. Singh, M. Conrad, and S. Sadeghipour. Test case design based on Z and the classification-tree method. In Proceedings of the First IEEE International Conference on Formal Engineering Methods, pages 81-90, 1997.
16. K. C. Tai. Theory of fault-based predicate testing for computer programs. IEEE Transactions on Software Engineering, 22(8):552-562, 1996.
17. E. J. Weyuker, T. Goradia, and A. Singh. Automatically generating test data from a boolean specification. IEEE Transactions on Software Engineering, 20(5):353-363, 1994.
18. Y. T. Yu and M. F. Lau. A study of prioritizing test cases in MUMCUT test sets. In Proceedings of the IASTED International Conference on Applied Informatics-Symposium 3: Software, pages 466-471, 2001.