火力与指挥控制2017，Vol.42Issue(7)：157-160,4.DOI:10.3969/j.issn.1002-0640.2017.07.034
符号执行火控系统诸元解算程序测试用例生成技术
A Symbolic Execution Based Test Case Generation for Data- calculation Programs of Fire Control System
李春光 1周晓红 2董龙明3
作者信息
- 1. 白城师范学院,吉林 白城 137000
- 2. 长春职业技术学院,长春 130033
- 3. 陆军驻南京地区军事代表室,南京 210000
- 折叠
摘要
Abstract
The fire control system,as the center and the brain of various weapons,controls the operation of the weapon system. Its effectiveness is directly related to the success of the fire and even the comprehensive effectiveness of the weapon system. Data- calculation programs transform a variety of input conditions into the firing data after several iterations according to the trajectory model. Because of its complexity,current software testing technology can verify only on several key points,which is difficult to cover all branches and paths of the programs and is insufficient. To solve this problem,an automatic generation of testing use case based on symbolic execution is proposed. The constraints of the solution trajectory equations and the program control branches are used to obtain all possible execution paths within the framework of symbol execution. This method is sure of the adequate testing.关键词
火控系统/诸元解算程序/符号执行/测试用例生成技术Key words
fire control system/data-calculation programs/symbolic execution/test case generation分类
信息技术与安全科学引用本文复制引用
李春光,周晓红,董龙明..符号执行火控系统诸元解算程序测试用例生成技术[J].火力与指挥控制,2017,42(7):157-160,4.
