The program dependence graph and its use in optimization
ACM Transactions on Programming Languages and Systems (TOPLAS)
TCP/IP illustrated (vol. 1): the protocols
TCP/IP illustrated (vol. 1): the protocols
Automatic functional test generation using the extended finite state machine model
DAC '93 Proceedings of the 30th international Design Automation Conference
An experimental determination of sufficient mutant operators
ACM Transactions on Software Engineering and Methodology (TOSEM)
A safe, efficient regression test selection technique
ACM Transactions on Software Engineering and Methodology (TOSEM)
TestTube: a system for selective regression testing
ICSE '94 Proceedings of the 16th international conference on Software engineering
Automated regression test generation
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Test development for communication protocols: towards automation
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue on advanced topics on SDL and MSC
Prioritizing Test Cases For Regression Testing
IEEE Transactions on Software Engineering
Test Case Prioritization: A Family of Empirical Studies
IEEE Transactions on Software Engineering
Modeling Reactive Systems with Statecharts: The Statemate Approach
Modeling Reactive Systems with Statecharts: The Statemate Approach
Dependence analysis in reduction of requirement based test suites
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Test-Suite Reduction and Prioritization for Modified Condition/Decision Coverage
IEEE Transactions on Software Engineering
Test Manager: A Regression Testing Tool
ICSM '93 Proceedings of the Conference on Software Maintenance
Requirement-Based Automated Black-Box Test Generation
COMPSAC '01 Proceedings of the 25th International Computer Software and Applications Conference on Invigorating Software Development
Automating the Generation and Sequencing of Test Cases from Model-Based Specifications
FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
Specification-based regression test selection with risk analysis
CASCON '02 Proceedings of the 2002 conference of the Centre for Advanced Studies on Collaborative research
Test Case Prioritization: An Empirical Study
ICSM '99 Proceedings of the IEEE International Conference on Software Maintenance
A Study of Effective Regression Testing in Practice
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
An Integrated Testing Technique for Component-Based Software
AICCSA '01 Proceedings of the ACS/IEEE International Conference on Computer Systems and Applications
Maintaining Evolving Component-Based Software with UML
CSMR '03 Proceedings of the Seventh European Conference on Software Maintenance and Reengineering
Model Based Regression Test Reduction Using Dependence Analysis
ICSM '02 Proceedings of the International Conference on Software Maintenance (ICSM'02)
ICSM '03 Proceedings of the International Conference on Software Maintenance
A Method Enabling Feasible Conformance Test Sequence Generation for EFSM Models
IEEE Transactions on Computers
Automated interface probing applied to cots component evaluation
Automated interface probing applied to cots component evaluation
Model-Based Testing and Maintenance
ISMSE '04 Proceedings of the IEEE Sixth International Symposium on Multimedia Software Engineering
Test Prioritization Using System Models
ICSM '05 Proceedings of the 21st IEEE International Conference on Software Maintenance
Regression Testing UML Designs
ICSM '06 Proceedings of the 22nd IEEE International Conference on Software Maintenance
On the Use of Mutation Faults in Empirical Assessments of Test Case Prioritization Techniques
IEEE Transactions on Software Engineering
Using component metadata to regression test component-based software: Research Articles
Software Testing, Verification & Reliability
An approach for selective state machine based regression testing
Proceedings of the 3rd international workshop on Advances in model-based testing
Model-based regression test suite generation using dependence analysis
Proceedings of the 3rd international workshop on Advances in model-based testing
Regression test suite reduction using extended dependence analysis
Fourth international workshop on Software quality assurance: in conjunction with the 6th ESEC/FSE joint meeting
A Data Flow Oriented Program Testing Strategy
IEEE Transactions on Software Engineering
Test-case prioritization with model-checkers
SE'07 Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering
Ordering Coverage Goals in Model Checker Based Testing
ICSTW '08 Proceedings of the 2008 IEEE International Conference on Software Testing Verification and Validation Workshop
Automating regression test selection based on UML designs
Information and Software Technology
Control Dependence for Extended Finite State Machines
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Reasoning about software architecture-based regression testing through a case study
COMPSAC-W'05 Proceedings of the 29th annual international conference on Computer software and applications conference
An Analysis and Survey of the Development of Mutation Testing
IEEE Transactions on Software Engineering
Test generation based on control and data dependencies within system specifications in SDL
Computer Communications
Hi-index | 0.00 |
During regression testing, a modified system is often retested using an existing test suite. Since the size of the test suite may be very large, testers are interested in detecting faults in the modified system as early as possible during this retesting process. Test prioritization attempts to order tests for execution so that the chances of early detection of faults during retesting are increased. The existing prioritization methods are based on the source code of the system under test. In this paper, we present and evaluate two model-based selective methods and a dependence-based method of test prioritization utilizing the state-based model of the system under test. These methods assume that the modifications are made both on the system under test and its model. The existing test suite is executed on the system model and information about this execution is used to prioritize tests. Execution of the model is inexpensive as compared with execution of the system under test; therefore, the overhead associated with test prioritization is relatively small. In addition, we present an analytical framework for evaluation of test prioritization methods. This framework may reduce the cost of evaluation as compared with the framework that is based on observation. We have performed an empirical study in which we compared different test prioritization methods. The results of the empirical study suggest that system models may improve the effectiveness of test prioritization with respect to early fault detection. Copyright © 2011 John Wiley & Sons, Ltd.