Identification of categories and choices in activity diagrams

Proceedings - International Conference on Quality Software

Volumn 2005, Issue , 2005, Pages 55-63

  Chen, T Y ^a   Poon, Pak Lok ^b   Tang, Sau Fun ^a   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

Activity diagrams; Category partition method; Choice relation framework; Classification tree method; Specification based testing; Test frame

Indexed keywords

ACTIVITY DIAGRAMS; CATEGORY-PARTITION METHOD; CHOICE RELATION FRAMEWORK; CLASSIFICATION-TREE METHOD; SPECIFICATION-BASED TESTING; TEST FRAMES;

CLASSIFICATION (OF INFORMATION); SPECIFICATION LANGUAGES; TREES (MATHEMATICS);

IDENTIFICATION (CONTROL SYSTEMS);

EID: 33947366051     PISSN: 15506002     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QSIC.2005.36     Document Type: Conference Paper

References (13)

1. N. Amla and P.E. 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. IEEE Computer Society Press, Los Alamitos, California, 1992.
2. T. Y. Chen and P.-L. Poon. Experience with teaching black-box testing in a computer science/software engineering curriculum. IEEE Transactions on Education, 47(1): 42-50, 2004.
3. T. Y. Chen, P.-L. Poon, S.-F. Tang, and T. H. Tse. On the identification of categories and choices for specificationbased test case generation. Information and Software Technology, 46 (13): 887-898, 2004.
4. T. Y. Chen, P.-L. Poon, and T. H. Tse. A choice relation framework for supporting category-partition test case generation. IEEE Transactions on Software Engineering, 29 (7): 577-593, 2003.
5. L. A. Clarke, A. Podgurski, D.J. Richardson, and S. J. Zeil. A formal evaluation of data flow path selection criteria. IEEE Transactions on Software Engineering, 15 (11): 1318-1332, 1989.
6. M. Grochtmann and K. Grimm. Classification trees for partition testing. Software Testing, Verification and Reliability, 3 (2): 63-82, 1993.
7. R. M. Hierons, M. Harman, and H. Singh. Automatically generating information from a Z specification to support the classification tree method. In Proceedings of the 3rd International Conference of B and Z Users, volume 2651 of Lecture Notes in Computer Science, pages 388-407. Springer, Berlin, 2003.
8. M. F. Lau and Y. T. Yu. An extended fault class hierarchy for specification-based testing. ACM Transactions on Software Engineering and Methodology, to appear.
9. G. J. Myers. Software Reliability: Principles and Practices. Wiley, New York, 1976.
10. T.J. Ostrand and M.J. Balcer. The category-partition method for specifying and generating functional tests. Communications of the ACM, 31 (6): 676-686, 1988.
11. K.-C. Tai. Theory of fault-based predicate testing for computer programs. IEEE Transactions on Software Engineering, 22 (8): 552-562, 1996.
12. L.J. White and E.I. Cohen. A domain strategy for computer program testing. IEEE Transactions on Software Engineering, SE-6 (3): 247-257, 1980.
13. M.R. Woodward, D. Hedley, and M.A. Hennell. Experience with path analysis and testing of programs. IEEE Transactions on Software Engineering, SE-6 (2): 278-286, 1980.