loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.234.165.107

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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; ISSN 2184-2833, SciTePress, pages 36-43. DOI: 10.5220/0003501400360043

@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},
issn={2184-2833},
}

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
IS - 2184-2833
AU - Le, A.
AU - Quan, T.
AU - Huynh, N.
AU - Nguyen, P.
PY - 2011
SP - 36
EP - 43
DO - 10.5220/0003501400360043
PB - SciTePress