Test conditions for fault classes in Boolean specifications

ACM Transactions on Software Engineering and Methodology

Volumn 16, Issue 3, 2007, Pages

  Kapoor, Kalpesh ^a   Bowen, Jonathan P ^b  

^a DHIRUBHAI AMBANI INSTITUTE OF INFORMATION AND COMMUNICATION TECHNOLOGY   (India)

^b Museophile Limited   (United Kingdom)

Author keywords

Boolean specification; Fault classes; Fault based testing

Indexed keywords

BOOLEAN SPECIFICATION; FAULT-BASED TESTING;

BOOLEAN FUNCTIONS; HIERARCHICAL SYSTEMS; SOFTWARE TESTING;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 34547272404     PISSN: 1049331X     EISSN: 15577392     Source Type: Journal    
DOI: 10.1145/1243987.1243988     Document Type: Article

References (25)

1. DEMILLO, R. A., LIPTON, R. J., AND SAYWARD, F. G. 1978. Hints on test data selection: Help for the practicing programmer. IEEE Computer 11, 4 (April), 34-41.
2. DEMILLO, R. A. AND OFFUTT, A. J. 1991. Constraint-based automatic test data generation. IEEE Trans. Softw. Engin. 17, 9 (Sept.), 900-910.
3. FRANKL, P. G. AND WEISS, S. N. 1993. An experimental comparison of the effectiveness of branch testing and data flow testing. IEEE Trans. Softw. Engin. 19, 8 (Aug.), 774-787.
4. HIERONS, R. M. 2002. Comparing test sets and criteria in the presence of test hypotheses and fault domains. ACM Trans. Softw. Engin. Method. 11, 4 (Oct.), 427-448.
5. IEEE. 1990. IEEE Standard Glossary of Software Engineering Terminology, ANSI/IEEE Std. 610.12. New York: Institute of Electrical and Electronics Engineers.
6. KAPOOR, K. AND BOWEN, J. P. 2004. Ordering mutants to minimise test effort in mutation testing. In 4th International Workshop, Formal Approaches to Software Testing (FATES). Lecture Notes in Computer Science, vol. 8395. Springer-Verlag, 195-209.
7. KAPOOR, K. AND BOWEN, J. P. 2005. A formal analysis of MCDC and RCDC test criteria. Softw. Test. Verificat. Reliab. 15, 1 (March), 21-40.
8. KUHN, D. R. 1999. Fault classes and error detection capability of specification-based testing. ACM Trans. Softw. Engin. Method. 8, 4 (Oct.), 411-424.
9. LAU, M. F. AND YU, Y. T. 2005. An extended fault class hierarchy for specification-based testing. ACM Trans. Softw. Engin. Method. 14, 8 (July), 247-276.
10. MORELL, L. J. 1990. A theory of fault-based testing. IEEE Trans. Softw. Engin. 16, 8 (Aug.), 844-857.
11. OFFUTT, A. J. 1992. Investigations of the software testing coupling effect. ACM Trans. Softw. Engin. Method. 1, 1 (Jan.), 5-20.
12. OFFUTT, A. J., XIONG, Y., AND LIU, S. 1999. Criteria for generating specification-based tests. In 5th International Conference on Engineering of Complex Computer Systems (ICECCS), IEEE, 119-129.
13. OKUN, V., BLACK, P. E., AND YESHA, Y. 2004. Comparison of fault classes in specification-based testing. Inform. Softw. Tech. 46, 8 (June), 525-533.
14. PARADKAR, A., TAI, K. C., AND VOUK, M. A. 1996. Automatic test-generation for predicates. IEEE Trans. Reliab. 45, 4 (Dec.), 515-530.
15. RICHARDSON, D. J. AND THOMPSON, M. C. 1993. An analysis of test data selection criteria using the RELAY model of fault detection. IEEE Trans. Softw. Engin. 19, 6 (June), 533-553.
16. RTCA. 1992. Software Considerations in Airborne Systems and Equipment Certification, DO-178B. Washington DC, USA.
17. TAI, K. C. 1996. Theory of fault-based predicate testing for computer programs. IEEE Trans. Softw. Engin. 22, 8 (Aug.), 552-562.
18. TSUCHIYA, T. AND KIKUNO, T. 2002. On fault classes and error detection capability of specification-based testing. ACM Trans. Softw. Engin. Method. 11, 1 (Jan.), 58-62.
19. VILKOMIR, S. A. AND BOWEN, J. P. 2006. From MC/DC to RC/DC: Formalization and analysis of control-flow testing criteria. Formal Aspects Comput. 18, 1 (Mar.), 42-62.
20. VOUK, M. A., TAI, K. C., AND PARADKAR, A. 1994. Empirical studies of predicate-based software testing. In 6th International Symposium on Software Reliability Engineering. IEEE Computer Society, 55-64.
21. WAH, K. S. H. T. 2003. An analysis of the coupling effect I: Single test data. Science Comput. Program. 48, 119-161.
22. WEYUKER, E. J. 2002. Thinking formally about testing without a formal specification. In Formal Approaches to Testing of Software (FATES), A Satellite Workshop of CONCUR"02. 1-10.
23. WEYUKER, E. J., GORADIA, T., AND SINGH, A. 1994. Automatically generating test data from a Boolean specification. IEEE Trans. Softw. Engin. 20, 5 (May), 353-363.
24. WONG, W. E. AND MATHUR, A. P. 1995. Reducing the cost of mutation testing: An empirical study. J. Syst. Softw. 31, 3 (Dec.), 185-196.
25. ZHU, H., HALL, P. A. V., AND MAY, J. H. R. 1997. Software unit test coverage and adequacy. ACM Comput. Surv. 29, 4 (Dec.), 366-427.