论文部分内容阅读
随着嵌入式系统设计的应用领域越来越广，嵌入式软件产品的质量受到重视。由于系统实时性和稳定性的要求，软件测试成为嵌入式开发的一个重要部分。嵌入式系统有自身的特点，传统的软件测试理论不能直接用于嵌入式软件的测试，因此嵌入式软件的测试有重要意义。本文介绍了一种嵌入式软件的静态测试工具，该工具针对C代码的特点设计，帮助检查代码错误，定位错误位置；函数复杂度检测；生成函数间调用关系图；生成测试报告。MISRA C规则是行业协会帮助用户开发的安全、高可靠性的嵌入式软件规则集。这种静态测试工具支持MISRA C-2004标准。根据MISRA C制定出《C检查规则》，规则列出了C语言的19条代码规范。函数间调用关系的图由编译器结合Graphviz生成。由于嵌入式软件质量标准的要求，函数复杂度决定了代码出错的风险，因此静态测试软件有必要计算出程序中分支的个数，通过函数的复杂度衡量源代码的安全性。论文设计的静态测试软件统计了程序中if-else分支，for循环，switch分支，while循环以及do…while循环的数量，根据程序的复杂性考虑设计测试用例。嵌入式软件对可靠性的要求比普通软件高，及时发现缺陷能够保证软件质量对产品的影响最低，因此嵌入式软件的静态测试成为嵌入式软件开发的一个重要环节。在还没有运行程序的级别发现代码中的错误并根据规则规范代码，提高了软件的质量可靠性和规范性。