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