Model-based regression test suite generation using dependence analysis

Proceedings of the 3rd International Workshop Advances in Model Based Testing, AMOST 2007

Volumn , Issue , 2007, Pages 54-62

  Chen, Yanping ^a   Probert, Robert L ^a   Ural, Hasan ^a  

^a UNIVERSITY OF OTTAWA   (Canada)

Author keywords

Control dependence; Data dependence; Extended finite state machine; Regression test suite construction; Regression testing

Indexed keywords

FINITE AUTOMATA; FORMAL LANGUAGES; MATHEMATICAL MODELS; STATE ASSIGNMENT;

CONTROL DEPENDENCE; DATA DEPENDENCE; EXTENDED FINITE STATE MACHINE; REGRESSION TEST SUITE CONSTRUCTION; REGRESSION TESTING;

REGRESSION ANALYSIS;

EID: 38849154386     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1291535.1291541     Document Type: Conference Paper

References (25)

1. Belina, F., and Hogrefe, D., "The CCITT-Specification and Description Language SDL", Computer Networks and ISDN Systems, 16, pp. 311-341, 1989.
2. Bourhfir, C., Dssouli, R., Aboulhamid, E. M., and Rico, N., Automatic executable test case generation for EFSMs, In Proceedings of the 10th international workshop on testing of communicating systems (IWTCS'97) (Seoul, Korea, September 8-10, 1997). 75-90.
3. Briand, L.C., Labiche, Y., and Soccar, G., Automating impact analysis and regression test selection based on UML designs, In Proceedings of IEEE international conference on software engineering (ICSM'02)(Montréal, Canada, October 3-6, 2002). IEEE Computer Society Press, Washington, DC, 2002, 252-261.
4. Brown, P.A., and Hoffman, D., The application of module regression testing at TRIUMF, Nuclear Instruments and Methods in Physics Research, Section A, A293 (1-2), (Aug. 1990), 337-381.
5. Chen, Y., Probert, R.L., and Sims, D.P., Specification-based regression test selection with risk analysis, In Proceedings of the 2002 conference of the center for advanced studies on collaborative research (CASCON'02) (Toronto, Canada, September 30-October 3, 2002). ACM Press, New York, NY, 2002, 60-73.
6. th IEEE international conference on software maintenance (ICSM'92) (Orlando, USA, November 9-12, 1992). IEEE Computer Society Press, Washington, DC, 1992, 299-308.
7. Harrold, M.J., Gupta, R., and Soffa, M.L., A methodology for controlling the size of a test suite, ACM Trans. Soft. Eng. Methodology (TOSEM), 2, 3, (Jul. 1993), 270-285.
8. Harrold, M.J., Jones, J.A., Li, T., and Liang, D., Regression test selection for Java software, In Proceedings of ACM conference on object-oriented programming, systems, languages, and applications (OOPSLA'01) (Tampa Bay, USA, October 14-18, 2001), ACM Press, New York, NY, 2001, 312-326.
9. Hong, H.S., Cha, S.D., Lee, I., Sokolsky, O., and Ural, H., Data flow testing as model checking, In Proceedings of IEEE international conference on software engineering (ICSE'03) (Portland, USA, May 22-26, 2003). ACM Press, New York, NY, 2003, 232-242.
10. Huang, C., Lin, Y., and Jang, M., An executable protocol test sequence generation method for EFSM-specified protocols, IFIP Trans. C: communication systems - protocol test systems, (Sep. 1995), 20-35.
11. Korel, B., and Al-Yami, A., Automated regression test generation, In Proceedings of ACM/SIGSOFT symposium on software testing and analysis (ISSTA '98) (Clearwater Beach, USA, March 2-4, 1998). ACM Press, New York, NY, 1998, 143-152.
12. Korel, B., Tahat, L.H., and Vaysburg, B., Model-based regression test reduction using dependence analysis, In Proceedings of IEEE international conference on software management (ICSM'02) (Montréal, Canada, October 3-6, 2002). IEEE Computer Society Press, Washington, DC, 2002, 214-223.
13. Kung, D.C., Gao, J., and Hsia, P., Class firewall, test order, and regression testing of object-oriented programs, Journal of Object-Oriented Programming 8(2), (May 1995), 51-65.
14. Muccini, H., Dias, M.S., and Richardson, D.J., Towards software architecture-based regression testing, In Proceedings of IEEE international conference on software engineering (ICSE'05)-workshop on Architecting Dependable Systems (WADS) (St. Louis, USA, May 17, 2005). ACM Press, New York, NY, 2005, 1-7.
15. Rothermel, G., and Harrold, M.J., Analyzing regression test selection techniques, IEEE Trans. Soft. Eng., 22 (Aug. 1996), 529-551.
16. Rothermel, G., Harrold, M.J., and Dedhia, J., Regression test selection for C++ software, Journal of software test, verification and reliability, 10, 2, (Jun. 2000), 77-109.
17. Sarikaya, B., and Bochmann, G. V., Obtaining normal form specifications for protocols, In Computer Network Usage: Recent Experiences, Elsevier Science Publishers, 1986.
18. Stocks, P., and Carrington, D., A framework for specification-based testing, IEEE Trans. on Soft. Eng., 22, (Nov. 1996), 777-793.
19. th international computer software and application conference on Invigorating software development (COMPSAC'01) (Chicago USA, October 8-12, 2001). IEEE Computer Society Press, Washington, DC, 2001, 489-495.
20. Telelogic TAU, http://www.telelogic.com.
21. Ural, H., and Yang, B., A test sequence selection method for protocol testing, IEEE Trans. Comm., 39, (Apr. 1991), 514-523.
22. Wong, W.E., Horgan, J.R., London, S., and Mathur, A.P., Effect of test set minimization on fault detection effectiveness, In Proceedings of IEEE international conference on software engineering (ICSE'95) (Seattle, USA, April 23-30, 1995). ACM Press, New York, NY, 1995, 41-50.
23. Xie, B., Requirement-Based Regression Test Suite Reduction Using Dependence Analysis, Master's thesis, University of Ottawa, Ottawa, Canada, 2005.
24. Xie, T., and Notkin, D., Checking inside the black box: regression testing by comparing value spectra, IEEE Trans. Soft. Eng., 31, (Oct. 2005), 869-883.
25. th international computer software and application (COMPSAC'04) (HongKong, China, September 28-30, 2004). IEEE Computer Society Press, Washington, DC, 2004, 336-341.