eprintid: 2002
rev_number: 8
eprint_status: archive
userid: 272
dir: disk0/00/00/20/02
datestamp: 2016-12-01 06:05:01
lastmod: 2016-12-01 06:05:01
status_changed: 2016-12-01 06:05:01
type: conference_item
metadata_visibility: show
creators_name: Nguyen, Duc Anh
creators_name: Pham, Ngoc Hung
creators_name: Nguyen, Viet Ha
creators_id: nguyenducanh@vnu.edu.vn
creators_id: hungpn@vnu.edu.vn
creators_id: hanv@vnu.edu.vn
title: A Method for Automated Unit Testing of C Programs
ispublished: pub
subjects: IT
divisions: fac_fit
abstract: This research proposes an automated test case generation method for C functions. In this method, the source code is transformed into a control flow graph corresponding to the given coverage criterion. After that, a list of feasible test paths is discovered by traversing the control flow graph using backtracking algorithm, symbolic execution, and Z3 solver. We also generate test cases for functions containing one loop or two-nested loop. A tool supporting the proposed method has been developed and applied to test on some C functions. The experimental results show the high coverage with the minimum number of test cases, the ability to improve the total time of the test case generation with a specified coverage criterion, and the increasing precision of checking the feasibility of test paths if comparing with the random technique. The experimental results display the potential usefulness of this tool for automated test case generation in practice.
date: 2016-10-14
date_type: published
contact_email: nguyenducanh@vnu.edu.vn
full_text_status: public
pres_type: paper
event_title: NICS: 3rd National Foundation for Science and Technology Development Conference on Information and Computer Science
event_location: Da Nang city, Viet Nam
event_dates: 14-16 September 2016
event_type: conference
refereed: TRUE
projects: QG.16.31
citation:   Nguyen, Duc Anh and Pham, Ngoc Hung and Nguyen, Viet Ha  (2016) A Method for Automated Unit Testing of C Programs.  In: NICS: 3rd National Foundation for Science and Technology Development Conference on Information and Computer Science, 14-16 September 2016, Da Nang city, Viet Nam.     
document_url: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/2002/1/bare_conf.pdf