THỰC THI TƯỢNG TRƯNG TRONG SINH TỰ ĐỘNG DỮ LIỆU KIỂM THỬ PHẦN MỀM
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...
Đã lưu trong:
| Những tác giả chính: | , , , |
|---|---|
| Định dạng: | Bài viết |
| Ngôn ngữ: | Vietnamese |
| Được phát hành: |
Trường Đại học Đà Lạt
2023
|
| Truy cập trực tuyến: | https://tckh.dlu.edu.vn/index.php/tckhdhdl/article/view/44 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/114212 |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
| id |
oai:scholar.dlu.edu.vn:DLU123456789-114212 |
|---|---|
| record_format |
dspace |
| spelling |
oai:scholar.dlu.edu.vn:DLU123456789-1142122023-10-27T14:43:28Z THỰC THI TƯỢNG TRƯNG TRONG SINH TỰ ĐỘNG DỮ LIỆU KIỂM THỬ PHẦN MỀM Tô, Hữu Nguyên Nguyễn, Hồng Tân Hà, Thị Thanh Đỗ, Thanh Mai 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. 2023-03-04T08:23:01Z 2023-03-04T08:23:01Z 2016 Article 0866-787X https://tckh.dlu.edu.vn/index.php/tckhdhdl/article/view/44 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/114212 10.37569/DalatUniversity.6.2.44(2016) vi Tạp chí Khoa học Đại học Đà Lạt, Tập 6, Số 2; tr. application/pdf Trường Đại học Đà Lạt |
| institution |
Thư viện Trường Đại học Đà Lạt |
| collection |
Thư viện số |
| language |
Vietnamese |
| 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 |
| author |
Tô, Hữu Nguyên Nguyễn, Hồng Tân Hà, Thị Thanh Đỗ, Thanh Mai |
| spellingShingle |
Tô, Hữu Nguyên Nguyễn, Hồng Tân Hà, Thị Thanh Đỗ, Thanh Mai THỰC THI TƯỢNG TRƯNG TRONG SINH TỰ ĐỘNG DỮ LIỆU KIỂM THỬ PHẦN MỀM |
| 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 |
| title |
THỰC THI TƯỢNG TRƯNG TRONG SINH TỰ ĐỘNG DỮ LIỆU KIỂM THỬ PHẦN MỀM |
| title_short |
THỰC THI TƯỢNG TRƯNG TRONG SINH TỰ ĐỘNG DỮ LIỆU KIỂM THỬ PHẦN MỀM |
| title_full |
THỰC THI TƯỢNG TRƯNG TRONG SINH TỰ ĐỘNG DỮ LIỆU KIỂM THỬ PHẦN MỀM |
| title_fullStr |
THỰC THI TƯỢNG TRƯNG TRONG SINH TỰ ĐỘNG DỮ LIỆU KIỂM THỬ PHẦN MỀM |
| title_full_unstemmed |
THỰC THI TƯỢNG TRƯNG TRONG SINH TỰ ĐỘNG DỮ LIỆU KIỂM THỬ PHẦN MỀM |
| title_sort |
thực thi tượng trưng trong sinh tự động dữ liệu kiểm thử phần mềm |
| publisher |
Trường Đại học Đà Lạt |
| publishDate |
2023 |
| url |
https://tckh.dlu.edu.vn/index.php/tckhdhdl/article/view/44 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/114212 |
| _version_ |
1781718917585043456 |