Generating Regression Tests via Model Checking

Xu, Lihua; Dias, Marcio; Richardson, Debra J.

Abstract

During software maintenance, regression testing is an expensive but critical activity to ensure that modified versions of the system do not "regress". As software evolves, chances are that not only the implementation changes, but that the specification of the system changes too. We argue that guiding regression testing by the system specifications generated early in the software lifecycle will be more accurate than extracting specification from source code, and more cost effective. Model checking is used to reason about the truth of statements about the system specification. We use a model checker as part of a highly automated regression test generation tool, providing a practical approach to specification based regression testing. Features of our approach that support different specification description languages and different test coverage criteria are also presented.

Citation

Xu, L., Dias, M., & Richardson, D. J. (2004, September). Generating Regression Tests via Model Checking. Presented at 28th Annual International Computer Software and Applications Conference, Hong Kong

• Presentation Conference Type: Conference Paper (published)
• Conference Name: 28th Annual International Computer Software and Applications Conference
• Start Date: Sep 28, 2004
• End Date: Sep 30, 2004
• Online Publication Date: Oct 18, 2004
• Publication Date: Oct 18, 2004
• Deposit Date: Feb 26, 2008
• Volume: 1
• Pages: 336-341
• Series ISSN: 0730-3157
• Book Title: 28th Annual International Computer Software and Applications Conference, COMPSAC 2004, 28-30 September 2004, Hong Kong ; proceedings.
• DOI: https://doi.org/10.1109/cmpsac.2004.1342855
• Public URL: https://durham-repository.worktribe.com/output/1167031
• Additional Information: Conference dates: 28-30 September, 2004.