[01012230]航天嵌入式软件可信性度量方法与系统

规模庞大的航天工程具有大量的嵌入式软件，而嵌入式软件本身由于需要处理大量中断，并具有实时和并发特性而导致系统测试复杂困难。该项研究围绕中国航天软件评测中心的实际问题以及未来的技术需求在前期工作的基础上展开：研究C/C++缺陷模式匹配算法以及静态评估模型，从代码分析角度分析发现软件缺陷以及潜在错误以降低测试成本；研究数据流异常检测方法及中断处理程序检测方法，多角度挖掘代码中存在的缺陷，提高代码缺陷的挖掘能力；研究基于复杂网络的测试用例生成方法，在无法保证全覆盖的情况下发现函数调用形成的关键路径生成测试用例以提高测试效率；研究中断调度生成算法，测试系统动态性能并发现中断过载错误；研究中断类型，构建多层中断叠加模型，准确地检测系统最大堆栈深度，保证堆栈使用安全；采用排队论模型对嵌入式软件进行性能评估，通过设定不同中断到来时间间隔，分析系统的平均中断处理时间、最差中断处理时间、CPU安全占有率等关键性能指标，对嵌入式软件动态性能进行评价。基于高性能服务器平台，以SPARC仿真为基础，有效集成上述研究成果，建立全数字仿真验证平台，支持快速准确发现软件缺陷，提高评测效率。