CHOC'LATE: A framework for specification-based testing

Communications of the ACM

Volumn 53, Issue 4, 2010, Pages 113-118

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

^a HONG KONG POLYTECHNIC UNIVERSITY   (Hong Kong)

^b SWINBURNE UNIVERSITY OF TECHNOLOGY   (Australia)

^c UNIVERSITY OF HONG KONG   (Hong Kong)

Author keywords

[No Author keywords available]

Indexed keywords

INTERNAL STRUCTURE; LABOR INTENSIVE; RANDOM DATA; SOFTWARE DEVELOPMENT; SOFTWARE FAULT; SOURCE CODES; SPECIFICATION BASED TESTING; TEST CASE; TEST PLAN; WHOLE PROCESS;

COMPUTER SOFTWARE SELECTION AND EVALUATION; SOFTWARE DESIGN; SOFTWARE RELIABILITY; SOFTWARE TESTING; SPECIFICATIONS;

TESTING;

EID: 77950363280     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/1721654.1721687     Document Type: Article

References (12)

1. Beydeda, S., Gruhn, V., and Stachorski, M. A graphical class representation for integrated black-and white-box testing. In Proceedings of the IEEE International Conference on Software Maintenance. IEEE Computer Society Press, Los Alamitos, CA, 2001, 706-715.
2. Binder, R.V. Category-partition test design pattern. Excerpt from Testing Object-Oriented Systems: Models, Patterns, and Tools. Addison Wesley, Reading, MA, 2000: http://www.rbsc.com/docs/TestPatternCategoryPartition.pdf.
3. Chen, T.Y., Poon, P.-L., and Tse, T.H. A choice relation framework for supporting category-partition test case generation. IEEE Transactions on Software Engineering 29, 7, (2003) 577-593.
4. th IEEE International Conference on Automated Software Engineering. IEEE Computer Society Press, Los Alamitos, CA, 2000.
5. Hierons, R.M., Harman, M., and Singh, H. Automatically generating information from a Z specifcation to support the classifcation tree method. In Proceedings of the 3rd International Conference of B and Z Users 2651 of Lecture Notes in Computer Science, 388-407. Springer, Berlin, Germany, 2003.
6. Kobayashi, N., Tsuchiya, T., and Kikuno, T. A new method for constructing pair-wise covering designs for software testing. Information Processing Letters 81, 2, (2002) 85-91.
7. Lau, M.F. and Yu, Y.T. An extended fault class hierarchy for specifcation-based testing. ACM Transactions on Software Engineering and Methodology 14, 3, (2005), 247-276.
8. Li, J.J., Weiss, D., and Yee, H. Code-coverage guided prioritized test generation. Information and Software Technology 48, 12, (2006) 1187-1198.
9. Stocks, P. and Carrington, D.A. A framework for specifcation-based testing. IEEE Transactions on Software Engineering 22, 11, (1996), 777-793.
10. Tai, K.-C. and Lei, Y. A test generation strategy for pairwise testing. IEEE Transactions on Software Engineering 28, 1, (2002), 109-111.
11. Tsuchiya, T. and Kikuno, T. On fault classes and error detection capability of specifcation-based testing. ACM Transactions on Software Engineering and Methodology 11, 1,(2002), 58-62.
12. Vilkomir, S.A., and Bowen, J.P. From MC/DC to RC/DC: formalization and analysis of control-fow testing criteria. Formal Aspects of Computing 18, 1, (2006), 42-62.