基于符号执行的C程序单元测试的实现  

作　　者：董鑫[1] 张一[1] 

机构地区：[1]陕西凌云电器集团有限公司,陕西省宝鸡市721000

出　　处：《电子技术与软件工程》2017年第13期247-247,共1页ELECTRONIC TECHNOLOGY & SOFTWARE ENGINEERING

摘　　要：我国的经济社会不断发展,科学水平不断提升。网路信息技术是现代技术的代表,在网络信息技术中,软件承担着重要的工作职能,为了提升网络信息技术的应用效果,软件检测技术应运而生,并朝着自动化和智能化的方向发展。本文将具体探讨基于符号执行的C程序单元测试研究与实现,希望能为相关人士提供一些参考。

关 键 词：符号执行 C程序单元 软件测试技术 

分 类 号：TP311.53[自动化与计算机技术—计算机软件与理论] TP312.1[自动化与计算机技术—计算机科学与技术]