A test data generation method based on the symbolic execution of the dangerous path
Authors
Yongdang Meng
Corresponding Author
Yongdang Meng
Available Online April 2016.
- DOI
- 10.2991/icmemtc-16.2016.104How to use a DOI?
- Keywords
- Dangerous path; symbolic execution; constraint solving; test
- Abstract
In this paper, the traditional high fuzzing blindness, code coverage is low, low efficiency and other shortcomings of the test case generation process a study by introducing symbolic execution techniques proposed test case generation method based on symbolic execution of the dangerous path, the method focuses on the dangerous path to the target program, the program generates the corresponding test cases dangerous path, effectively improve the efficiency and relevance of test case generation.
- Copyright
- © 2016, the Authors. Published by Atlantis Press.
- Open Access
- This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).
Cite this article
TY - CONF AU - Yongdang Meng PY - 2016/04 DA - 2016/04 TI - A test data generation method based on the symbolic execution of the dangerous path BT - Proceedings of the 2016 3rd International Conference on Materials Engineering, Manufacturing Technology and Control PB - Atlantis Press SP - 536 EP - 540 SN - 2352-5401 UR - https://doi.org/10.2991/icmemtc-16.2016.104 DO - 10.2991/icmemtc-16.2016.104 ID - Meng2016/04 ER -