一种航天嵌入式C语言软件运行时错误的静态分析方法技术

本发明专利技术公开了一种航天嵌入式C语言软件运行时错误的静态分析方法。包括：(1)将航天嵌入式C语言软件运行时错误按照错误的发生机制进行分类，根据每类错误构造属性状态机的步骤。(2)根据构造的待检测软件源代码的程序控制流图和属性状态机获得程序控制流图中各节点的属性状态和路径条件的步骤。(3)根据获得的属性状态和路径条件对运行时错误进行分析的步骤。采用本发明专利技术提高了对航天嵌入式C语言软件运行时错误进行检测的准确度和效率。

【技术实现步骤摘要】

本专利技术涉及一种航天嵌入式C语言软件运行时错误的静态分析方法，属于软件测试

技术介绍
目前在航天领域，C语言被普遍应用于编写嵌入式软件，C语言已经成为嵌入式系统高级编程语言的标准。C语言有很多优点但是对于开发高安全软件来说它缺少必要的安全措施，主要缺陷有c语言的非强制类型特性降低了它的可靠性；C语言的另一个特性是没有对指针操作进行严格的限定；此外，C语言不提供对数组和字符串的边界检查。正是由于C语言的这些缺陷，C程序中会存在一些漏洞和错误，其中一类为运行时错误。运行时错误(Rim-time Error)就是软件在动态运行时出现的错误。根据ANSIC定义，运行时错误是指那些能导致预定义之外的不正确结果或者处理器停机的错误。运行时错误是所有软件错误中最具风险的，同时也是最难发现的。对于航空航天、 汽车以及医疗设备等安全级别要求非常高的系统来说，一旦出现这样的运行时错误，损失就是不可估量的。对运行时错误进行检测的方法主要有动态测试和静态分析两种。动态测试是传统的方法，通过软件的实际执行来发现软件中的错误。其检测结果高度依赖于测试用例的选择，同时，由于只能对有限的测试用例进行检本文档来自技高网...

【技术保护点】

【技术特征摘要】

【专利技术属性】
技术研发人员：王崑声，詹海潭，经小川，张刚，李宁，
申请(专利权)人：中国航天科技集团公司第七一〇研究所，
类型：发明
国别省市：