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

摘要

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