Yanping Chen
ABSTRACT
A model-based regression test suite (RTS) reduction method based on Extended Finite State Machine (EFSM) dependence analysis is proposed. Given an EFSM representing the requirements of a system under test (SUT) and a set of elementary modifications (EMs) on the EFSM, interaction patterns are identified related to each type of EMs, i.e., adding, deleting, and changing transitions in the EFSM. These interaction patterns capture the effects of the model on the EMs, the effects of the EMs on the model, and the side-effects of the EMs. The proposed method reduces the size of a given RTS by examining interaction patterns covered by each test case in the given RTS.
- Belina, F., and Hogrefe, D., "The CCITT-Specification and Description Language SDL", Computer Networks and ISDN Systems, 16, pp. 311--341, 1989. Google Scholar
Digital Library
- Bourhfir, C., Dssouli, R., Aboulhamid, E. M., and Rico, N., Automatic executable test case generation for EFSMs, In Proc. of IWTCS'97 (Seoul, Korea, September 8--10, 1997). 75--90.Google Scholar
- Briand, L. C., Labiche, Y., and Soccar, G., Automating impact analysis and regression test selection based on UML designs, In Proc. of ICSM'02 (Montréal, Canada, October 3--6, 2002). IEEE Computer Society Press, Washington, DC, 2002, 252--261. Google ScholarDigital Library
- 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.Google Scholar
- Chen, Y., Probert, R. L., and Sims, D. P., Specification-based regression test selection with risk analysis, In Proc. of CASCON'02 (Toronto, Canada, September 30-October 3, 2002). ACM Press, New York, NY, 2002, 60--73. Google ScholarDigital Library
- Gupta, R., Harrold, M. J., and Soffa, M. L., An approach to regression testing using slicing, In Proc. of ICSM'92 (Orlando, USA, November 9--12, 1992). IEEE Computer Society Press, Washington, DC, 1992, 299 -- 308.Google Scholar
- 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. Google ScholarDigital Library
- Harrold, M. J., Jones, J. A., Li, T., and Liang, D., Regression test selection for Java software, In Proc. of OOPSLA'01 (Tampa Bay, USA, October 14--18, 2001), ACM Press, New York, NY, 2001, 312--326. Google ScholarDigital Library
- Hong, H. S., Cha, S. D., Lee, I., Sokolsky, O., and Ural, H., Data flow testing as model checking, In Proc. of ICSE'03 (Portland, USA, May 22--26, 2003). ACM Press, New York, NY, 2003, 232--242. Google ScholarDigital Library
- 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.Google Scholar
- Korel, B., Tahat, L. H., and Vaysburg, B., Model-based regression test reduction using dependence analysis, In Proc. of ICSM'02 (Montréal, Canada, October 3--6, 2002). IEEE Computer Society Press, Washington, DC, 2002, 214--223. Google ScholarDigital Library
- 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.Google Scholar
- Muccini, H., Dias, M. S., and Richardson, D. J., Towards software architecture-based regression testing, In Proc. of ICSE'05-WADS (St. Louis, USA, May 17, 2005). ACM Press, New York, NY, 2005, 1--7. Google ScholarDigital Library
- Rothermel, G., and Harrold, M. J., Analyzing regression test selection techniques, IEEE Trans. Soft. Eng., 22 (Aug. 1996), 529--551. Google ScholarDigital Library
- 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.Google Scholar
- Sarikaya, B., and Bochmann, G. V., Obtaining normal form specifications for protocols, In Computer Network Usage: Recent Experiences, Elsevier Science Publishers, 1986.Google Scholar
- Tahat, L. H., Bader, A., Vaysburg, B., and Korel, B., Requirement-based automated black box test generation, In Proc. of COMPSAC'01 (Chicago USA, October 8--12, 2001). IEEE Computer Society Press, Washington, DC, 2001, 489--495. Google ScholarDigital Library
- Ural, H., and Yang, B., A test sequence selection method for protocol testing, IEEE Trans. Comm., 39, (Apr. 1991), 514--523.Google ScholarCross Ref
- Wong, W. E., Horgan, J. R., London, S., and Mathur, A. P., Effect of test set minimization on fault detection effectiveness, In Proc. of ICSE'95 (Seattle, USA, April 23--30, 1995). ACM Press, New York, NY, 1995, 41--50. Google ScholarDigital Library
- Xie, B., Requirement-Based Regression Test Suite Reduction Using Dependence Analysis, Master's thesis, University of Ottawa, Ottawa, Canada, 2005.Google Scholar
- 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. Google ScholarDigital Library
Index Terms
- Regression test suite reduction using extended dependence analysis
Recommendations
Comparing and combining test-suite reduction and regression test selection
ESEC/FSE 2015: Proceedings of the 2015 10th Joint Meeting on Foundations of Software EngineeringRegression testing is widely used to check that changes made to software do not break existing functionality, but regression test suites grow, and running them fully can become costly. Researchers have proposed test-suite reduction and regression test ...
Model-based regression test suite generation using dependence analysis
A-MOST '07: Proceedings of the 3rd international workshop on Advances in model-based testingA regression test suite (RTS) is constructed to ensure that the changed parts of the system under test (SUT) behave as desired and that the unchanged parts of the SUT are not adversely affected. Model-based testing is a system testing technique in which ...
Regression test suite reduction based on SDL models of system requirements
This paper proposes a model-based regression test suite reduction method. The proposed method considers an SDL model representing the requirements of a system under test and a set of modifications on this model, applies dependence analysis to identify ...
Comments