论文部分内容阅读
"高可信工业嵌入式软件单元测试工具"主要用于解决工业嵌入式系统产品研发过程中测试、验证阶段的核心问题。针对测试阶段,重点解决测试数据如何自动生成问题,填补国内工业软件测试用例自动生成工具技术空白;针对验证阶段,重点解决工业软件验证误报率高,缺乏深层次缺陷分析问题,填补动态运行时错误检查技术空白。