Regression testing based-on slicing of component-based software architectures

ABSTRACT

We propose an efficient dynamic slicing algorithm for component-based software architectures. We first transform a software architecture into an intermediate representation which we have named architecture component dependence graph(ACDG). Our slicing algorithm is based on marking and unmarking the in-service and out-of-service edges on an ACDG as and when dependencies arise and cease on occurrence of events. We use the computed dynamic architectural slices to select test cases for regression testing of component based systems. One important advantage of our approach is that a slice is available for use even before a request for a slice is made. This appreciably reduces the response time of slicing commands, and help regression testing. We show that our architectural slicing algorithm is more time and space efficient than the existing algorithms. We also briefly discuss a prototype tool SRTWA(Slicer-based Regression Testing of Wright Architectures) which we have developed to implement our algorithm

REFERENCES

• 1: David Garlan , Robert Monroe , David Wile, Acme: an architecture description interchange language, Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative research, p.7, November 10-13, 1997, Toronto, Ontario, Canada
• 2: David C. Luckham , John J. Kenney , Larry M. Augustin , James Vera , Doug Bryan , Walter Mann, Specification and Analysis of System Architecture Using Rapide, IEEE Transactions on Software Engineering, v.21 n.4, p.336-355, April 1995 [doi>10.1109/32.385971]
• 3: Mary Shaw , Robert DeLine , Daniel V. Klein , Theodore L. Ross , David M. Young , Gregory Zelesnik, Abstractions for Software Architecture and Tools to Support Them, IEEE Transactions on Software Engineering, v.21 n.4, p.314-335, April 1995 [doi>10.1109/32.385970]
• 4: Robert John Allen , David Garlan, A formal approach to software architecture, Carnegie Mellon University, Pittsburgh, PA, 1997
• 5: Robert Allen , David Garlan, A formal basis for architectural connection, ACM Transactions on Software Engineering and Methodology (TOSEM), v.6 n.3, p.213-249, July 1997 [doi>10.1145/258077.258078]
• 6: Mark Weiser, Program slicing, Proceedings of the 5th international conference on Software engineering, p.439-449, March 09-12, 1981, San Diego, California, United States
• 7: J. Zhao, "Applying slicing technique to software architectures," CoRR, vol. cs.SE/0105008, 2001.
• 8: ------------, "Using dependence analysis to support software architecture understanding," CoRR, vol. cs.SE/0105009, 2001.
• 9: Bixin Li , Ying Zhou , Yancheng Wang , Junhui Mo, Matrix-based component dependence representation and its applications in software quality assurance, ACM SIGPLAN Notices, v.40 n.11, November 2005 [doi>10.1145/1107541.1107546]
• 10: Jeanne Ferrante , Karl J. Ottenstein , Joe D. Warren, The program dependence graph and its use in optimization, ACM Transactions on Programming Languages and Systems (TOPLAS), v.9 n.3, p.319-349, July 1987 [doi>10.1145/24039.24041]
• 11: G.B. Mund, R. Mall, and S. Sarkar, "An efficient dynamic program slicing technique." Information & Software Technology, vol44, no2, pp. 123--132, 2002.
• 12: J. T. Lallchandani , Rajib Mall, Computation of Dynamic Slices for Object-Oriented Concurrent Programs, Proceedings of the 12th Asia-Pacific Software Engineering Conference, p.341-350, December 15-17, 2005 [doi>10.1109/APSEC.2005.51]
• 13: G. B. Mund , Rajib Mall, An efficient interprocedural dynamic slicing method, Journal of Systems and Software, v.79 n.6, p.791-806, June 2006 [doi>10.1016/j.jss.2005.07.024]
• 14: J. Stafford, D. Richardson, and A. Wolf, "Aladdin: A tool for architecture-level dependence analysis of software systems," University of Colorado, Dept. of Computer Science, Tech. Rep. CU-CS-858-98, April 1998.
• 15: J. Stafford, A. Wolf, and M. Caporuscio, "The application of dependence analysis to software architecture descriptions," in Lecture Notes in Computer Science, vol. 2804, 2003, pp. 52--62.
• 16: J. Stafford and A. Wolf, "Architecture-level dependence analysis for software systems." International Journal of Software Engineering and Knowledge Engineering, vol 11, no 4, pp. 431--451, 2001.
• 17: J. Zhao, "Slicing software architectures," Information Processing Society of Japan (IPSJ), Tech. Rep. 97-SE-137, November 1997.
• 18: J. Zhao, H. Yang, L. Xiang, and B. Xu, Architectural Slicing to Support System Evolution. Hershey, PA, USA: Idea Group Publishing, 2005.
• 19: Taeho Kim , Yeong-Tae Song , Lawrence Chung , Dung T. Huynh, Software architecture analysis: a dynamic slicing approach, ACIS International Journal of Computer & Information Science, v.1 n.2, p.91-103, Spring 2000
• 20: Boris Beizer, Software testing techniques (2nd ed.), Van Nostrand Reinhold Co., New York, NY, 1990
• 21: D. Binkley, "The application of program slicing to regression testing," Information and Software Technology, vol40, no. 11-12, pp. 583--594, 1998.
• 22: T. Kim, Y.-T. Song, L. Chung, and D.T. Huynh, "Software architecture analysis using dynamic slicing," in Proceedings of AoM-IAoM 17th International Conference on Computer Science, August 1999.
• 23: Taeho Kim , Yeong-Tae Song , Lawrence Chung , Dung T. Huynh, Dynamic Software Architecture Slicing, 23rd International Computer Software and Applications Conference, p.61-66, October 19-26, 1999

INDEX TERMS

Primary Classification:
  H. Information Systems
  H.4 INFORMATION SYSTEMS APPLICATIONS
      H.4.m Miscellaneous

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
        D.2.11 Software Architectures
            Subjects: Languages (e.g., description, interconnection, definition)

General Terms:
Design

Keywords:
ADL, architectural slicing, component-based systems, regression testing, software architecture