Tolerance of Control-Flow Testing Criteria

Proceedings - IEEE Computer Society's International Computer Software and Applications Conference

Volumn , Issue , 2003, Pages 182-187

  Vilkomir, Sergiy A ^a   Kapoor, Kalpesh ^b   Bowen, Jonathan P ^b  

^a UNIVERSITY OF WOLLONGONG   (Australia)

^b LONDON SOUTH BANK UNIVERSITY   (United Kingdom)

Author keywords

Effectiveness; Empirical evaluation; MC DC; RC DC; Software testing; Testing criteria; Tolerance

Indexed keywords

CODES (SYMBOLS); COMPUTER SOFTWARE; COMPUTER SYSTEM RECOVERY; DECISION THEORY;

CONTROL-FLOW CRITERIA; SOFTWARE TESTING;

SOFTWARE ENGINEERING;

EID: 0344666709     PISSN: 07303157     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (22)

1. Bowen, J. P., Bogdanov, K., Clark, J., Harman, M., Hierons, R., Krause, P. FORTEST: Formal methods and testing. Proceedings of 26th Annual International Computer Software and Applications Conference (COMPSAC02), Oxford, UK, August 26-29, 2002, IEEE Computer Society Press, pp. 91-101.
2. Chilenski, J., Miller, S. Applicability of Modified Condition/Decision Coverage to software testing. Software Engineering Journal, September 1994, pp. 193-200.
3. Frankl, P., Iakounenko, O. Further empirical studies of test effectiveness. ACM SIGSOFT Software Engineering Notes, Proceedings of ACM SIGSOFT 6th International Symposium on Foundations of Software Engineering, November 1998, Vol. 23, No. 6, pp. 153-162.
4. Frankl, P., Weiss, S. An experimental comparison of the effectiveness of branch testing and data flow testing. IEEE Transactions on Software Engineering, Vol. 19, No. 8, August 1993, pp. 774-787.
5. Frankl, P., Weyuker E. A formal analysis of the fault-detecting ability of testing methods. IEEE Transactions on Software Engineering, Vol. 19, No. 3, March 1993, pp. 202-213.
6. Hutchins, M., Foster, H., Goradia, T., Ostrand, T. Experiments on the effectiveness of dataflow-and control-flow-based test adequacy criteria. Proceedings of 16th International Conference on Software Engineering (ICSE-16), 1994, pp. 191-200.
7. Kuhn, D. Fault classes and error detection capability of specification-based testing. ACM Transactions on Software Engineering and Methodology, Vol. 8, No. 4, October 1999, pp. 411-424.
8. Leveson, N. G., Heimdahl, M. P. E., Hildreth, H., Reese, J. D. Requirements specification for process-control systems. IEEE Transactions on Software Engineering, Vol. 20, No. 9, September 1994, pp. 684-707.
9. Ntafos, S. C. On comparisons of random, partition, and proportional partition testing. IEEE Transactions on Software Engineering, Vol. 27, No. 10, October 2001, pp. 949-960.
10. Myers, G. The Art of Software Testing. Wiley-Interscience, 1979.
11. Offutt, A. J., Xiong, Y., Liu, S. Criteria for generating specification-based tests. Proceedings of 5th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99), Las Vegas, Nevada, USA, October 18-21, 1999, IEEE Computer Society Press, pp. 119-129.
12. Paradkar, A., Tai K. Test generation for Boolean expressions. Proceedings of 6th International Symposium on Software Reliability Engineering (ISSRE'95), Toulouse, France, 1995, pp. 106-115.
13. RTCA/DO-178B. Software Considerations in Airborne Systems and Equipment Certification, RTCA, Washington D.C., USA, 1992.
14. Vilkomir, S. A., Bowen, J. P. Formalization of software testing criteria using the Z notation, Proceedings of 25th IEEE Annual International Computer Software and Applications Conference (COMPSAC 01), Chicago, Illinois, USA, October 8-12, 2001, IEEE Computer Society Press, pp. 351-356.
15. Vilkomir, S. A., Bowen, J. P. Reinforced Condition/Decision Coverage (RC/DC): A new criterion for software testing. In Bert, D., Bowen, J. P., Henson, M. C., Robinson, K. (eds.), ZB2002: Formal Specification and Development in Z and B, Proceedings of 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002, Springer-Verlag, LNCS 2272, pp. 295-313.
16. Vouk, M., Tai, K. C., Paradkar, A. Empirical studies of predicate-based software testing. Proceedings of 5th International Symposium on Software Reliability Engineering, 1994, pp. 55-64.
17. Weyuker, E., Goradia, T., Singh, A. Automatically generating test data from a Boolean specification. IEEE Transactions on Software Engineering, Vol. 20, No. 5, May 1994, pp. 353-363.
18. Weyuker, E. Can we measure software testing effectiveness? Proceedings of Ist International Software Metrics Symposium, Baltimore, USA, May 21-22, 1993, pp. 100-107.
19. Weyuker, E. Thinking formally about testing without a formal specification. Proceedings of Formal Approaches to Testing of Software (FATES'02), A Satellite Workshop of CONCUR'02, Brno, Czech Republic, August 24, 2002, pp. 1-10.
20. White, A. Comments on Modified Condition/Decision Coverage for software testing. 2001 IEEE Aerospace Conference Proceedings, Vol. 6, Big Sky, Montana, USA, March 10-17, 2001, IEEE Computer Society Press, pp. 2821-2828.
21. Wong, W., Morgan, J., Mathur, A., Pasquini, A. Test set size minimization and fault detection effectiveness: A case study in a space application. Proceedings of 21st Annual International Computer Software and Applications Conference (COMPSAC 97), Washington, DC, USA, August 13-15, 1997, IEEE Computer Society Press, pp. 522-528.
22. Zhu, H., Hall P. A., and May, H. R. Software unit test coverage and adequacy. ACM Computing Surveys, Vol. 29, No. 4, December 1997, pp. 336-427.