SYMBOLIC EXECUTION IN AUTOMATICALLY GENERATIONOF DATA OF SOFTWARE TESTING

In software testing area, all test cases are often generated manually. It time-consumming and costly to complete such task. Symbolic execution is a well-known technique for automatically making the test cases that cover almost every testing criteria in order to deeply discover some errors in complex...

Full description

Saved in:
Bibliographic Details
Main Authors: Tô Hữu Nguyên, Nguyễn Hồng Tân, Hà Thị Thanh, Đỗ Thanh Mai
Format: Article
Language:English
Published: Dalat University 2016-06-01
Series:Tạp chí Khoa học Đại học Đà Lạt
Subjects:
Online Access:http://tckh.dlu.edu.vn/index.php/tckhdhdl/article/view/44
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1832569502175330304
author Tô Hữu Nguyên
Nguyễn Hồng Tân
Hà Thị Thanh
Đỗ Thanh Mai
author_facet Tô Hữu Nguyên
Nguyễn Hồng Tân
Hà Thị Thanh
Đỗ Thanh Mai
author_sort Tô Hữu Nguyên
collection DOAJ
description In software testing area, all test cases are often generated manually. It time-consumming and costly to complete such task. Symbolic execution is a well-known technique for automatically making the test cases that cover almost every testing criteria in order to deeply discover some errors in complex software systems. In this paper, we present some general points and several results in recent researches about symbolic execution technique. This paper also shows different challenges that need setting in this field such as the explosion of execution paths in a program, the ability of constraint solving, memory modelling or concurrent problems etc. The evaluation of published results is given in this paper as well.
format Article
id doaj-art-06ddcf14b2a34b74a8d6c3d029dac91a
institution Kabale University
issn 0866-787X
0866-787X
language English
publishDate 2016-06-01
publisher Dalat University
record_format Article
series Tạp chí Khoa học Đại học Đà Lạt
spelling doaj-art-06ddcf14b2a34b74a8d6c3d029dac91a2025-02-02T20:47:54ZengDalat UniversityTạp chí Khoa học Đại học Đà Lạt0866-787X0866-787X2016-06-016210.37569/DalatUniversity.6.2.44(2016)27SYMBOLIC EXECUTION IN AUTOMATICALLY GENERATIONOF DATA OF SOFTWARE TESTINGTô Hữu Nguyên0Nguyễn Hồng Tân1Hà Thị Thanh2Đỗ Thanh Mai3Trường Đại học Công nghệ Thông tin và Truyền thông, Đại học Thái NguyênTrường Đại học Công nghệ Thông tin và Truyền thông, Đại học Thái NguyênTrường Đại học Công nghệ Thông tin và Truyền thông, Đại học Thái NguyênKhoa Ngoại ngữ, Đại học Thái NguyênIn software testing area, all test cases are often generated manually. It time-consumming and costly to complete such task. Symbolic execution is a well-known technique for automatically making the test cases that cover almost every testing criteria in order to deeply discover some errors in complex software systems. In this paper, we present some general points and several results in recent researches about symbolic execution technique. This paper also shows different challenges that need setting in this field such as the explosion of execution paths in a program, the ability of constraint solving, memory modelling or concurrent problems etc. The evaluation of published results is given in this paper as well.http://tckh.dlu.edu.vn/index.php/tckhdhdl/article/view/44dữ liệu kiểm thửgiải ràng buộcràng buộcsinh dữ liệu kiểm thửthực thi tượng trưngthực thi tượng trưng động.
spellingShingle Tô Hữu Nguyên
Nguyễn Hồng Tân
Hà Thị Thanh
Đỗ Thanh Mai
SYMBOLIC EXECUTION IN AUTOMATICALLY GENERATIONOF DATA OF SOFTWARE TESTING
Tạp chí Khoa học Đại học Đà Lạt
dữ liệu kiểm thử
giải ràng buộc
ràng buộc
sinh dữ liệu kiểm thử
thực thi tượng trưng
thực thi tượng trưng động.
title SYMBOLIC EXECUTION IN AUTOMATICALLY GENERATIONOF DATA OF SOFTWARE TESTING
title_full SYMBOLIC EXECUTION IN AUTOMATICALLY GENERATIONOF DATA OF SOFTWARE TESTING
title_fullStr SYMBOLIC EXECUTION IN AUTOMATICALLY GENERATIONOF DATA OF SOFTWARE TESTING
title_full_unstemmed SYMBOLIC EXECUTION IN AUTOMATICALLY GENERATIONOF DATA OF SOFTWARE TESTING
title_short SYMBOLIC EXECUTION IN AUTOMATICALLY GENERATIONOF DATA OF SOFTWARE TESTING
title_sort symbolic execution in automatically generationof data of software testing
topic dữ liệu kiểm thử
giải ràng buộc
ràng buộc
sinh dữ liệu kiểm thử
thực thi tượng trưng
thực thi tượng trưng động.
url http://tckh.dlu.edu.vn/index.php/tckhdhdl/article/view/44
work_keys_str_mv AT tohuunguyen symbolicexecutioninautomaticallygenerationofdataofsoftwaretesting
AT nguyenhongtan symbolicexecutioninautomaticallygenerationofdataofsoftwaretesting
AT hathithanh symbolicexecutioninautomaticallygenerationofdataofsoftwaretesting
AT đothanhmai symbolicexecutioninautomaticallygenerationofdataofsoftwaretesting