State-Model-Based Regression Test Reduction for Component-Based Software

We present a novel regression test selection approach based on analysis of state and dependence models of components. Our technique targets to select a smaller regression test suite compared to the pure dependence-based RTS approaches while maintaining the fault revealing effectiveness. In our approach, after a modification, control and data dependencies are analyzed to identify the potentially affected statements. Subsequently, the state model of the component is analyzed to compute a precise publishable change information to support efficient regression test selection by the application developers.

[1]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[2]  Eliane Martins,et al.  A method for model based test harness generation for component testing , 2010, Journal of the Brazilian Computer Society.

[3]  Alessandro Lameiras Koerich,et al.  A Machine Learning Approach to Automatic Music Genre Classification , 2008, Journal of the Brazilian Computer Society.

[4]  Volker Gruhn,et al.  Testing Component-Based Systems Using FSMs , 2005 .

[5]  Dai Pan,et al.  Slicing component-based systems , 2005, 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05).

[6]  Ye Wu,et al.  Techniques of maintaining evolving component-based software , 2000, Proceedings 2000 International Conference on Software Maintenance.

[7]  David Harel,et al.  Executable object modeling with statecharts , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.

[8]  Jiro Tanaka,et al.  Mapping UML statecharts to java code , 2004, IASTED Conf. on Software Engineering.

[9]  Susan Horwitz,et al.  Identifying the semantic and textual differences between two versions of a program , 1990, PLDI '90.

[10]  Neil Walkinshaw,et al.  The Java system dependence graph , 2003, Proceedings Third IEEE International Workshop on Source Code Analysis and Manipulation.

[11]  Gregg Rothermel,et al.  Selecting regression tests for object-oriented software , 1994, Proceedings 1994 International Conference on Software Maintenance.

[12]  David Chenho Kung,et al.  On object state testing , 1994, Proceedings Eighteenth Annual International Computer Software and Applications Conference (COMPSAC 94).

[13]  Alan Bundy,et al.  Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.

[14]  David Chenho Kung,et al.  An object state test model: object state diagram , 1995, CASCON.

[15]  Gregg Rothermel,et al.  Using component metacontent to support the regression testing of component-based software , 2001, Proceedings IEEE International Conference on Software Maintenance. ICSM 2001.

[16]  Volker Gruhn,et al.  Black- and White-Box Self-testing COTS Components , 2004, SEKE.

[17]  Yong Rae Kwon,et al.  Testing of object-oriented programs based on finite state machines , 1995, Proceedings 1995 Asia Pacific Software Engineering Conference.

[18]  Donglin Liang,et al.  Slicing objects using system dependence graphs , 1998, Proceedings. International Conference on Software Maintenance (Cat. No. 98CB36272).

[19]  Karl J. Ottenstein,et al.  The program dependence graph in a software development environment , 1984, SDE 1.

[20]  A. S. M. Sajeev,et al.  UML Modeling for Regression Testing of Component Based Systems , 2003, Electron. Notes Theor. Comput. Sci..

[21]  Lori A. Clarke,et al.  A Formal Model of Program Dependences and Its Implications for Software Testing, Debugging, and Maintenance , 1990, IEEE Trans. Software Eng..

[22]  David Chenho Kung,et al.  Object state testing for object-oriented programs , 1995, Proceedings Nineteenth Annual International Computer Software and Applications Conference (COMPSAC'95).

[23]  Mary Jean Harrold,et al.  Slicing object-oriented software , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.

[24]  P.C. Mehlitz.  Trust Your Model - Verifying Aerospace System Models with Java Pathfinder , 2008, 2008 IEEE Aerospace Conference.

[25]  Chengying Mao.  Built-in Regression Testing for Component-based Software Systems , 2007, 31st Annual International Computer Software and Applications Conference (COMPSAC 2007).

[26]  D. Richard Kuhn,et al.  Sources of Failure in the Public Switched Telephone Network , 1997, Computer.

[27]  Chengying Mao,et al.  Regression testing for component-based software via built-in test design , 2007, SAC '07.

[28]  Gregg Rothermel,et al.  Regression test selection for C++ software , 2000 .