skip to main content
10.1145/1291535.1291539acmconferencesArticle/Chapter ViewAbstractPublication PagesicseConference Proceedingsconference-collections
Article

Model-based test prioritization heuristic methods and their evaluation

Published:09 July 2007Publication History

ABSTRACT

During regression testing, a modified system needs to be retested using the existing test suite. Since test suites may be very large, developers are interested in detecting faults in the system as early as possible. Test prioritization orders test cases for execution to increase potentially the chances of early fault detection during retesting. Most of the existing test prioritization methods are based on the code of the system, but model-based test prioritization has been recently proposed. System modeling is a widely used technique to model state-based systems. System models may not only be used to generate test cases but also to prioritize tests. In model-based prioritization, information collected during execution of a model is used to prioritize tests for execution. In this paper we present several model-based test prioritization heuristics. The major motivation to develop these heuristics was simplicity and effectiveness in early fault detection. We have conducted a small experimental study in which we experimentally compared model-based test prioritization heuristics. The results have shown that some simple heuristic methods can be as effective in early fault detection as more complex ones.

References

  1. K. Cheng, A. Krishnakumar, "Automatic Functional Test Generation Using The Extended Finite State Machine Model," Proc. ACM/IEEE Design Automation Conf., pp. 86--91, 1993. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. J. Dick, A. Faivre, "Automating the Generation and Sequencing of Test Case from Model-Based Specification," Proc. International Symposium on Formal Methods, pp. 268--284, 1992. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. R. Dssouli, K. Saleh, E. Aboulhamid, A. En-Nouaary, C. Bourhfir, "Test Development For Communication Protocols: Towards Automation," Computer Networks, 31, pp. 1835--1872, 1999. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. S. Elbaum, A. Malishevsky, G. Rothermel, "Incorportaing Varying Test Costs and Fault Severities into Test Case Prioritization," Proc. 23rd International Conference on Software Engineering, ICSE-01, pp. 329--338, 2001. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. H. Hong, H. Ural, "A test sequence selection method for statecharts", Software Testing, Verification, and Reliability, Vol. 10, No. 4, pp. 203--227, 2000.Google ScholarGoogle ScholarCross RefCross Ref
  6. J. Kim, A. Porter, "A History-Based Test Prioritization Technique for Regression Testing in Resource Constraint Environments," Proc. 24th International Conference on Software Engineering, pp. 119--129, 2002. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. B. Korel, L. Tahat, B. Vaysburg, "Model Based Regression Test Reduction Using Dependence Analysis," Proc. IEEE International Conf. on Software Maintenance, pp. 214--223, 2002. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. B. Korel, L. H. Tahat, and M. Harman, "Test Prioritization Using System Models" Proc. 21st IEEE Int'l Conf. Software Maintenance (ICSM '05), pp. 559--568, 2005. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. Z. Li, M. Harman, R. Hierons, "Search Algorithms for Regression Test Case Prioritization," IEEE Tran. Software Engineering, vol. 33, No. 4, pp. 225--237, 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. G. Rothermel, M. Harrold, "Selecting Tests and Identifying Test Coverage Requirements for Modified Software," Proc. IEEE International Conf. on Software Maintenance, pp. 358--367, 1994.Google ScholarGoogle Scholar
  11. G. Rothermel, M. Harrold, "A Safe, Efficient Regression Test Selection Technique," ACM Transactions on Software Engineering & Methodology, 6(2), pp. 173--210, 1997. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. G. Rothermel, R. Untch, M. Harrold, "Prioritizing Test Cases For Regression Testing," IEEE Transactions on Software Engineering, vol. 27, No. 10, pp. 929--948, 2001. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. A. Srivastava, J. Thiagarajan, "Effectively Prioritizing Tests in Development Environment," Proc. ACM International Symposium on Software Testing and Analysis, ISSTA-02, pp. 97--106, 2002. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. B. Vaysburg, L. Tahat, B. Korel, "Dependence Analysis in Reduction of Requirement Based Test Suites," Proc. ACM International Symposium on Software Testing and Analysis, pp. 107--111, 2002. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. W. Wong, J. Horgan, S. London, H. Agrawal, "A Study of Effective Regression Testing in Practice," Proc. 8th International Symposium on Software Reliability, pp. 230--238, 1997. Google ScholarGoogle ScholarDigital LibraryDigital Library
  1. Model-based test prioritization heuristic methods and their evaluation

    Recommendations

    Comments

    Login options

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

    Sign in
    • 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]

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Publication History

      • Published: 9 July 2007

      Permissions

      Request permissions about this article.

      Request Permissions

      Check for updates

      Qualifiers

      • Article

      Upcoming Conference

      ICSE 2025

    PDF Format

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader