| 嵌入式系统代码静态分析与测试方法探讨 |
| |
| 引用本文： | 何天添,凌志浩.嵌入式系统代码静态分析与测试方法探讨[J].自动化仪表,2011,32(2). |
| |
| 作者姓名： | 何天添 凌志浩 |
| |
| 作者单位： | 1. 华东理工大学信息学院,上海,200237
2. 华东理工大学信息学院,上海,200237;化工过程先进控制与优化技术教育部重点实验室,上海,200237 |
| |
| 基金项目： | 国家"863"基金，浙江省科技计划基金，上海市重点学科 |
| |
| 摘 要： | 随着嵌入式系统硬件可靠性水平的不断提高和嵌入式软件的日益复杂化,软件的可靠性在嵌入式系统整体可靠性中所占的比重也越来越大.在探讨了代码静态分析技术中关键步骤的基础上,制定了编码标准,并且选择了合适的静态分析工具;同时,介绍了自行开发的代码测试框架和测试用例设计方法,并将其运用到某智能仪表软件的测试中,得到了良好的测试效果.
|
| 关 键 词： | 嵌入式系统 软件可靠性 静态分析 代码测试 XML技术 |
Study on Code Static Analysis and Code Test Technology of Embedded System |
| |
| He Tiantian,Ling Zhihao.Study on Code Static Analysis and Code Test Technology of Embedded System[J].Process Automation Instrumentation,2011,32(2). |
| |
| Authors: | He Tiantian Ling Zhihao |
| |
| Affiliation: | He Tiantian Ling Zhihao |
| |
| Abstract: | Along with the situation that the reliability of the hardware of embedded system is continuously increasing and the embedded software is becoming more complicated,the reliability of software plays more important role in integrated reliability of the embedded system.The critical procedure of code static analysis technology is investigated and the encoding standard is drew up,and the static analysis tool is selected.In addition,the self-developed code test framework and design method of the test example are i... |
| |
| Keywords: | Embedded system Software reliability Static analysis Code test XML technology |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
