高可信工业嵌入式软件单元测试工具

Highly Trusted Industrial Embedded Software Unit Testing Tool

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

"Highly trusted industrial Embedded software Unit Testing Tool"mainly solves the core problems in testing and verification of the industrial embedded system product during the research and development process.For the testing phase,it focuses on how to automatically generate test data,in order to fill the technical gaps in automatically generating industrial software test cases tool.For the verification phase,it concentrates on solving the problem of high false verification rate of industrial software and lacking of in-depth defect analysis,as well as filling the lack of error checking technique when the programs run dynamically.