Authors:
Anh D. Le
;
Tho T. Quan
;
Nguyen T. Huynh
and
Phung H. Nguyen
Affiliation:
Hochiminh City University of Technology, Vietnam
Keyword(s):
Constraint-based test-case generation, Regression bugs, Evolving programs debugging.
Related
Ontology
Subjects/Areas/Topics:
Algorithms and Data Structures
;
Programming Languages
;
Software Engineering
;
Software Engineering Methods and Techniques
;
Software Testing and Maintenance
Abstract:
In this paper, we investigate a kind of logic error occurring in evolving programs, known as regression bug. This error reflects a practical situation that when a program or software is evolved to meet with new requirements, it may accidentally violate the original requirements. Hence, the paper makes three theoretical contributions. First, we show that the test-case generated by typical white-box approach are not sufficient to cover all probable regression bugs. Next, we propose a new approach based on combined constraint to solve this problem. Finally, we introduce an ultimate CTGE (Efficient Constraint-based Test-cases Generation) algorithm whose complexity is reduced into linear time, thus becoming practical. The soundness of our theoretical contribution is formally proved and supported by some initial experiments conducted in education environment.