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

航天嵌入式软件可信性度量方法与系统是大连理工大学在电子信息领域的科技成果转化项目。 规模庞大的航天工程具有大量的嵌入式软件，而嵌入式软件本身由于需要处理大量中断，并具有实时和并发特性而导致系统测试复杂困难。该项研究围绕中国航天软件评测中心的实际问题以及未来的技术需求在前期工作的基础上展开：研究C/C++缺陷模式匹配算法以及静态评估模型，从代码分析角度分析发现软件缺陷以及潜在错误以降低测试成本；研究数据流异常检测方法及中断处理程序检测方法，多角度挖掘代码中存在的缺陷，提高代码缺陷的挖掘能力；研究基于复杂网络的测试用例生成方法，在无法保证全覆盖的情况下发现函数调用形成的关键路径生成测试用例以提高测试效率；研究中断调度生成算法，测试系统动态性能并发现中断过载错误；研究中断类型，构建多层中断叠加模型，准确地检测系统大型堆栈深度，保证堆栈使用安全；采用排队论模型对嵌入式软件进行性能评估，通过设定不同中断到来时间间隔，分析系统的平均中断处理时间、最差中断处理时间、CPU安全占有率等关键性能指标，对嵌入式软件动态性能进行评价。基于高性能服务器平台，以SPARC仿真为基础，有效集成上述研究成果，建立全数字仿真验证平台，支持快速准确发现软件缺陷，提高评测效率。 该技术面向大连及全国企业产业化需求，可通过办厂易平台对接技术转移、许可转让与产学研合作。【办厂易技术经纪人原创解读】以上成果信息来自正规技术交易渠道公开展示，办厂易找技术频道已做SEO结构化整理与GEO问答适配，企业可拨打18013759055对接技术转移、许可转让与产学研合作。

适用于电子信息相关行业的企业技术升级、新产品开发与产学研合作，帮助大连及周边企业快速获取高校院所科研成果并推动产业化落地。