CTGE: AN EFFECTIVE CONSTRAINT-BASED TEST-CASE GENERATION ALGORITHM FOR DETECTING REGRESSION BUGS IN EVOLVING PROGRAMS

Anh D. Le, Tho T. Quan, Nguyen T. Huynh, Phung H. Nguyen

2011

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.

Paper Citation

in Harvard Style

Le A., Quan T., Huynh N. and Nguyen P. (2011). CTGE: AN EFFECTIVE CONSTRAINT-BASED TEST-CASE GENERATION ALGORITHM FOR DETECTING REGRESSION BUGS IN EVOLVING PROGRAMS . In Proceedings of the 6th International Conference on Software and Database Technologies - Volume 2: ICSOFT, ISBN 978-989-8425-77-5, pages 36-43. DOI: 10.5220/0003501400360043

in Bibtex Style

@conference{icsoft11,
author={Anh D. Le and Tho T. Quan and Nguyen T. Huynh and Phung H. Nguyen},
title={CTGE: AN EFFECTIVE CONSTRAINT-BASED TEST-CASE GENERATION ALGORITHM FOR DETECTING REGRESSION BUGS IN EVOLVING PROGRAMS},
booktitle={Proceedings of the 6th International Conference on Software and Database Technologies - Volume 2: ICSOFT,},
year={2011},
pages={36-43},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003501400360043},
isbn={978-989-8425-77-5},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 6th International Conference on Software and Database Technologies - Volume 2: ICSOFT,
TI - CTGE: AN EFFECTIVE CONSTRAINT-BASED TEST-CASE GENERATION ALGORITHM FOR DETECTING REGRESSION BUGS IN EVOLVING PROGRAMS
SN - 978-989-8425-77-5
AU - Le A.
AU - Quan T.
AU - Huynh N.
AU - Nguyen P.
PY - 2011
SP - 36
EP - 43
DO - 10.5220/0003501400360043