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

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