A test data generation method based on the symbolic execution of the dangerous path

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/).

Download article (PDF)

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  -