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...
Saved in:
Main Authors: | , , , |
---|---|
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 |