Article

An approach for selective state machine based regression testing

Authors:

Qurat-ul-ann Farooq,

Muhammad Zohaib Z. Iqbal,

Aamer NadeemAuthors Info & Claims

A-MOST '07: Proceedings of the 3rd international workshop on Advances in model-based testing

Pages 44 - 52

https://doi.org/10.1145/1291535.1291540

Published: 09 July 2007 Publication History

Abstract

Model-based regression testing is an important activity that ensures the reliability of evolving software. One of the major issues in this type of testing is the optimal selection of test-cases to test the affected portion of the software. In this paper, we present a UML based selective regression testing strategy that uses state machines and class diagrams for change identification. We identify the changes using the UML 2.1 semantics of state machines and class diagram. The changes are classified as Class-driven (obtained from class diagram) and State-driven (obtained from state machine). The Class-driven changes are important as these changes are not reflected on the state machines and they might be helpful in identifying some fault-revealing test cases. With the help of the identified changes, we classify the test cases of the test suite as Obsolete, Reusable, and Retestable. We apply the approach on a case study to demonstrate its validity.

References

[1]

Binder, R. V., Tools and Techniques for testing object-oriented programs, Published by Addison-Wesley, ISBN 0201809389, March 2003.

[2]

Kung, D., Gao, J., Hsia, P., Toyoshima, Y., Chen, C., Kim, Y. S., and Song, Y. K. Developing an object-oriented software testing and maintenance environment. Communications of the ACM, Volume 38, Issue 10, Special issue on object-oriented experiences and future trends, ACM Press, 1995

Digital Library

[3]

Hsia, P., Li, X., Kung, DC. Hsu, C. T., Li, L., Toyoshima, Y., and Chen, C. "A technique for the selective revalidation of OO software." Journal of Software Maintenance: Research and Practice Volume 9, Issue 4, Pages: 217--233, ISSN: 1040--550X, 1997.

Digital Library

[4]

Bellur, U. Vallieswaran, V. On OO Design Consistency in Iterative Development, Third International Conference on Information Technology. New Generations, on page(s): 46--51, ISBN: 0-7695-2497-4, April 2006.

Digital Library

[5]

Kung, D. Suchak, N. Gao, J. Hsia, P. Toyoshima, Y. Chen, C., On object state testing, Computer Software and Applications Conference, 1994. COMPSAC 94. Proceedings., Eighteenth Annual International, On page(s): 222--227, ISBN: 0-8186-6705-2, Nov 1994.

[6]

Leung, H. K. N. White, L., Insights into regression testing {software testing, Proceedings of Conference on Software Maintenance., On page(s): 60--69, ISBN: 0-8186-1965-1, Oct 1989.

[7]

Rothermel, G., and Harrold, M. J. A safe, efficient regression test selection technique. ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 6, Issue 2, ISSN: 1049-331X, April 1997.

Digital Library

[8]

Chen, Y., Probert, R. L., and Sims, D. P. Specification-based Regression Test Selection with Risk Analysis. IBM Centre for Advanced Studies Conference, Proceedings of the conference of the Centre for Advanced Studies on Collaborative research, 2002.

Digital Library

[9]

Briand, L. C., Labiche, Y, and Soccar, G. Automating Impact Analysis and Regression Test Selection Based on UML Designs. Proceedings of the International Conference on Software Maintenance (ICSM.02), IEEE2002.

Digital Library

[10]

Mattsson, M. K., Forssander, S., and Olsson, U. Corrective maintenance maturity model (CM3): maintainer's education and training. Proceedings of the 23rd International Conference on Software Engineering, Pages: 610--619.

Digital Library

[11]

Beydeda, S., and Gruhn, V. Integrating White- and Black-Box Techniques for Class-Level Regression Testing. Proceedings of the 25th International Computer Software and Applications Conference on Invigorating Software Development, Pages: 357--362, ISBN:0-7695-1372-7, 2001.

Digital Library

[12]

Liang, H. Regression testing of classes based on TCOZ specification. Proceedings Of 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), On page(s): 450--457, ISBN: 0-7695-2284-X, June 2005.

Digital Library

[13]

Sajeev, A. S. M, and Wibowo, B, Regression test selection based on version changes of components. Tenth Asia-Pacific Software Engineering Conference, pp 78--85, ISBN: 0-7695-2011-1, Dec 2003.

Digital Library

[14]

Traon, YL. Jeron, T. Jezequel, JM. Morel, P. Efficient object-oriented integration and regression testing. Reliability, IEEE Transactions, Volume: 49, Issue: 1, ISSN: 0018-9529, Mar 2000.

[15]

Deng, D., Sheu, P. C. Y, and Wang, T. Model-based testing and maintenance. Proceedings of IEEE Sixth International Symposium on Multimedia Software Engineering, pp 278--285, ISBN: 0-7695-2217-3, Dec. 2004.

Digital Library

[16]

Korel, B., Tahat, L. H., and Vaysburg, B. Model Based Regression Test Reduction Using Dependence Analysis. Proceedings of the International Conference on Software Maintenance (ICSM.02), ISBN: 0-7695-1819-2, IEEE, 2002.

Digital Library

[17]

Briand, L. C, Labiche, Y, Yue, T, "Automated Traceability Analysis for UML Model Refinements", Technical Report: TR SCE-06-06, Version 2, Carleton University, Department SCE Software Quality Engineering Laboratory 1125 Colonel By Drive, Ottawa, ON K1S5B6, Canada, http://sce.carleton.ca/squall, August 2006.

[18]

Briand, L. C., Labiche, Y, Sullivan, L. O, and So'wka, M. M. "Automated impact analysis of UML models". Journal of Systems and Software, Volume 79, Issue 3, Pages: 339--352, ISSN: 0164--1212, March 2006.

Digital Library

[19]

Hong, H. S., Kwon, Y. R, and Cha, S. D. Testing of Object-Oriented Programs Based on Finite State Machines, p. 234, Second Asia-Pacific Software Engineering Conference (APSEC'95), 1995.

Digital Library

[20]

Myers, B. Applying 'design by contract'. IEEE Computer Society Press, Volume 25, Issue 10, Pages: 40--51, ISSN: 0018--9162, October 1992.

Digital Library

[21]

OMG, UML 2.1: Super structure Specifications, OMG, April 2006: Available: http://www.omg.org/cgi-bin/doc?formal/07-02-03

[22]

Briand, L. C., Labiche, Y., and Lin, Q. "Improving state chart based coverage criteria using data flow information". Technical Report SCE-04-17, Carleton University, October 2004.

[23]

Winter. Managing object-oriented integration and regression testing. EuroSTAR'98, Munch, 1998.

[24]

Ali, S., Briand, L. C., Rehman, M. J., Asghar, H., Iqbal, M. Z. Z., and Nadeem, A. "A State-based Approach to Integration Testing based on UML Models". Carleton Technical Report SCE-05-02, Version 3, October 2006

[25]

Mellor, S. J. and Balcer, M. J. Executable UML; A Foundation for Model-Driven Architecture, Addison-Wesley, 2002, ISBN 0-201-74804-5.

Digital Library

[26]

Mellor, S. J. Introduction to Executable and Translatable UML, Application Development Toolkit, Whitepapers CNET Networks, 2005.

[27]

Wu, Y. and Offutt, J. Maintaining Evolving Component based software with UML, in Proceeding of 7^th European on software maintenance and reengineering, IEEE, 2003.

Digital Library

[28]

Pilskalns, O. and Andrews, A. Regression Testing UML Designs, in Proceedings of 22^nd IEEE International Conference on Software Maintenance (ICSM'06), IEEE 2006.

Digital Library

Cited By

Jadhav PLanke GShrivastava APatil VGupta S(2024)Efficient Test Case Generation Using Model-Based Testing, and Model Paradigm ApproachProceedings of International Conference on Recent Trends in Computing10.1007/978-981-97-1724-8_70(817-828)Online publication date: 26-Jul-2024
https://doi.org/10.1007/978-981-97-1724-8_70
Babaei MDingel J(2023)Efficient regression testing of distributed real-time reactive systems in the context of model-driven developmentSoftware and Systems Modeling10.1007/s10270-023-01086-522:5(1565-1587)Online publication date: 6-Mar-2023
https://doi.org/10.1007/s10270-023-01086-5
Misra RPanigrahi CPanda BPati B(2018)Software DesignApplication Development and Design10.4018/978-1-5225-3422-8.ch002(18-56)Online publication date: 2018
https://doi.org/10.4018/978-1-5225-3422-8.ch002
Show More Cited By

An approach for selective state machine based regression testing
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis

Recommendations

A Model-Based Regression Testing Approach for Evolving Software Systems with Flexible Tool Support
ECBS '10: Proceedings of the 2010 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems

Model-based selective regression testing promises reduction in cost and labour by selecting a subset of the test suite corresponding to the modifications after system evolution. However, identification of modifications in the systems and selection of ...
Automation of GUI testing using a model-driven approach
AST '06: Proceedings of the 2006 international workshop on Automation of software test

This paper describes an ongoing research on test case generation based on Unified Modeling Language (UML). The described approach builds on and combines existing techniques for data and graph coverage. It first uses the Category-Partition method to ...
Black-box system testing of real-time embedded systems using random and search-based testing
ICTSS'10: Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems

Testing real-time embedded systems (RTES) is in many ways challenging. Thousands of test cases can be potentially executed on an industrial RTES. Given the magnitude of testing at the system level, only a fully automated approach can really scale up to ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

A-MOST '07: Proceedings of the 3rd international workshop on Advances in model-based testing

July 2007

127 pages

ISBN:9781595938503

DOI:10.1145/1291535

Copyright © 2007 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGSOFT: ACM Special Interest Group on Software Engineering

In-Cooperation

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 09 July 2007

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

ISSTA07

Sponsor:

SIGSOFT

ISSTA07: International Symposium on Software Testing and Analysis

July 9 - 12, 2007

London, United Kingdom

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

36
Total Citations
View Citations
950
Total Downloads

Downloads (Last 12 months)5
Downloads (Last 6 weeks)0

Reflects downloads up to 05 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Jadhav PLanke GShrivastava APatil VGupta S(2024)Efficient Test Case Generation Using Model-Based Testing, and Model Paradigm ApproachProceedings of International Conference on Recent Trends in Computing10.1007/978-981-97-1724-8_70(817-828)Online publication date: 26-Jul-2024
https://doi.org/10.1007/978-981-97-1724-8_70
Babaei MDingel J(2023)Efficient regression testing of distributed real-time reactive systems in the context of model-driven developmentSoftware and Systems Modeling10.1007/s10270-023-01086-522:5(1565-1587)Online publication date: 6-Mar-2023
https://doi.org/10.1007/s10270-023-01086-5
Misra RPanigrahi CPanda BPati B(2018)Software DesignApplication Development and Design10.4018/978-1-5225-3422-8.ch002(18-56)Online publication date: 2018
https://doi.org/10.4018/978-1-5225-3422-8.ch002
Nooraei Abadeh MAjoudanian S(2018)A model‐driven framework to enhance the consistency of logical integrity constraints: Introducing integrity regression testingSoftware: Practice and Experience10.1002/spe.265449:2(274-300)Online publication date: 31-Oct-2018
https://doi.org/10.1002/spe.2654
Tahat LKorel BKoutsogiannakis GAlmasri N(2017)State-based models in regression test suite prioritizationSoftware Quality Journal10.1007/s11219-016-9330-x25:3(703-742)Online publication date: 1-Sep-2017
https://dl.acm.org/doi/10.1007/s11219-016-9330-x
Zech PKalb PFelderer MAtkinson CBreu R(2017)Model-based regression testing by OCLInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-015-0408-819:1(115-131)Online publication date: 1-Feb-2017
https://dl.acm.org/doi/10.1007/s10009-015-0408-8
Honfi DMolnár GMicskei ZMajzik I(2017)Model-Based Regression Testing of Autonomous RobotsSDL 2017: Model-Driven Engineering for Future Internet10.1007/978-3-319-68015-6_8(119-135)Online publication date: 7-Sep-2017
https://doi.org/10.1007/978-3-319-68015-6_8
Misra RPanigrahi CPanda BPati B(2016)Software DesignHandbook of Research on Computational Simulation and Modeling in Engineering10.4018/978-1-4666-8823-0.ch014(417-455)Online publication date: 2016
https://doi.org/10.4018/978-1-4666-8823-0.ch014
Ussami TMartins EMontecchi L(2016)D-MBTDD: An Approach for Reusing Test Artefacts in Evolving System2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W)10.1109/DSN-W.2016.22(39-46)Online publication date: Jun-2016
https://doi.org/10.1109/DSN-W.2016.22
Ding ZJiang MChen HJin ZZhou M(2016)Petri net based test case generation for evolved specificationScience China Information Sciences10.1007/s11432-016-5598-559:8Online publication date: 18-Jul-2016
https://doi.org/10.1007/s11432-016-5598-5
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten