Regression testing of classes based on TCOZ specification

Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

Volumn , Issue , 2005, Pages 450-457

  Liang, Hui ^a  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; CODES (SYMBOLS); COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; COMPUTER SOFTWARE SELECTION AND EVALUATION; FORMAL LOGIC; MATHEMATICAL MODELS; REGRESSION ANALYSIS; SPECIFICATIONS;

SOFTWARE MAINTENANCE ACTIVITY; SPECIFICATION-BASED REGRESSION TESTING; TEST SELECTION ALGORITHMS; TIMED COMMUNICATING OBJECT-Z (TCOZ);

COMPUTER SOFTWARE MAINTENANCE;

EID: 27144560184     PISSN: 27708527     EISSN: 27708535     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (29)

1. A. A. Andrews, R. B. France, S. Ghosh, and G. Craig. Test adequacy criteria for UML design models. Software Testing, Verification and Reliability, 13(2):95-127, 2003.
2. T. Ball. On the limit of control flow analysis for regression test selection. In ACM International Sympodium on Software Testing and Analysis, pages 134-142, 1998.
3. L. C. Briand, Y. Labiche, and G. Soccar. Automating impact analysis and regression test selection based on uml designs. In Proceedings of International Conference on Software Maintenance, pages 252-261, 2002.
4. U. A. Buy, A. Orso, and M. Pezzè. Automated testing of classes. In Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2000, pages 39-48, 2000.
5. D. Carrington, D. Duke, R. Duke, P. King, G. Rose, and G. Smith. Object-Z: An object-oriented extension to Z. In S. Vuong, editor, Formal Description Techniques, II (FORTE'89), pages 281-296. North-Holland, 1990.
6. Y. F. Chen, D. S. Rosenblum, and K. P. Vo. TestTube: A system for selective regression testing. In Proceedings of the 16th International Conference on Software Engineering, pages 211-222, May 1994.
7. J. S. Dong, P. Hao, S. C. Qin, J. Sun, and Y.Wang. Timed patterns: TCOZ to Timed Automata. In Proceedings of 6th International Conference on Formal Engineering Methods, ICFEM 2004, pages 483-498, 2004.
8. J. S. Dong, S. C. Qin, and J. Sun. Generating MSCs from an integrated formal specification language. In Proceedings of 4th International Conference on Integrated Formal Methods, IFM 2004, pages 168-186, 2004.
9. R. K. Doong and P. G. Frankl. The ASTOOT approach to testing object-oriented programs. ACM Transactions on Software Engineering and Methodology, 2(3):101-130, 1994.
10. M. J. Harrold, J. Jones, T. Li, D. Liang, A. Orso, M. Pennings, S. Sinha, S. Spoon, and A. Gujarathi. Regression test selection for Java software. In Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications OOPSLA 2001, pages 312-326, October 2001.
11. P. Hsia, X. Li, C.-T. H. D. Kung, L. Li, Y. Toyoshima. and C. Chen. A technique for the selective revalidation of OO software. Software Maintenance: Research and Practice, 9:217-233, 1997.
12. B. Korel, L. H. Tahat, and B. Vaysburg. Model based regression test reduction using dependence analysis. In Proceedings of the International Conference on Software Maintenance, pages 214-223, 2002.
13. H. K. N. Leung and L. J. White. Insights into regression testing. In Proceedings of the International Conference on Software Maintenance, pages 60-69, 1989.
14. H. K. N. Leung and L. J. White. A cost model to compare regression test strategies. In Proceedings of the Conference on Software Maintenance '91, pages 201-208, October 1991.
15. H. Liang and J. Sun. Test Generation for Class-Level Testing from TCOZ Specifications. Technical report, School of Computing, National University of Singapore, 2004.
16. B. Mahony and J. S. Dong. Network Topology and a Case Study in TCOZ. In J. Bowen, A. Fett, and M. Hinchey, editors, ZUM'98: The 11th International Conference of Z Users, volume 1493 of Lecture Notes in Computer Science, pages 308-327, Berlin, Germany, Sept. 1998. Springer-Verlag.
17. B. Mahony and J. S. Dong. Overview of the semantics of TCOZ. In K. Araki, A. Galloway, and K. Taguchi, editors, IFM'99: Integrated Formal Methods, York, UK, pages 66-85. Springer-Verlag, June 1999.
18. B. Mahony and J. S. Dong. Timed Communicating Object Z. IEEE Transactions on Software Engineering, 26(2): 150-177, Feb. 2000.
19. B. P. Mahony and J. S. Dong. Blending Object-Z and Timed CSP: An introduction to TCOZ. In K. Futatsugi, R. Kemmerer, and K. Torii, editors, The 20th International Conference on Software Engineering (ICSE'98), pages 95-104, Kyoto, Japan, Apr. 1998. IEEE Press.
20. A. J. Offutt, Y. W. Xiong, and S. Y. Liu. Criteria for generating specificaiton-based tests. In Proceedings of the fifth International Conference on Engineering of Complex Computer Systems, pages 119-131, Las Vegas, 1999. IEEE Computer Society Press.
21. J. Offutt, S. Y. Liu, A. Abdurazik, and P. Ammann. Generating test data from state-based specifications. Software Testing, Verification and Reliability, 13:25-53, 2003.
22. G. Rothermel and M. J. Harrold. Selecting regression tests for object-oriented software. In Proceedings of the Conference on Software Maintenance, pages 14-25, 1994.
23. G. Rothermel and M. J. Harrold. A safe, efficient regression test selection technique. ACM Transactions on Software Engineering and Methodology, 6(2):173-210, April 1997.
24. G. Rothermel, M. J. Harrold, and J. Dedhia. Regression test selection for C++ software. Journal of Software Testing, Verification, and Reliability, 10(6):77-109, June 2000.
25. S. Schneider and J. Davies. A brief history of Timed CSP. Theoretical Computer Science, 138, 1995.
26. J. Sun, J. S. Dong, J. Liu, and H. Wang. A XML/XSL Approach to Visualize and Animate TCOZ. In The 8th Asia-Pacific Software Engineering Conference (APSEC'01), pages 453-460. IEEE Press. 2001.
27. F. Vokolos and P. Frankl. Pythia: A regression test selection tool based on textual differencing. In International Conference on Reliability, Qaulity, and Safety of Software Intensive Systems, May 1997.
28. L. J. White and K. Abdullah. A firewall approach for regression testing of object-oriented software. In Proceedings of 10th Annual Software Quality Week, May 1997.
29. L. J. White and H. K. N. Leung. A firewall concept for both control-flow and data-flow in regression integration testing. In Proceedings of the conference on Software Maintenance '92, pages 262-270, November 1992.