摘要:随着嵌入式系统硬件可靠性水平的不断提高和嵌人式软件的日益复杂化,软件的可靠性在嵌入式系统整体可靠性中所占的比重也越来越大。在探讨了代码静态分析技术中关键步骤的基础上,制定了编码标准,并且选择了合适的静态分析工具;同时,介绍了自行开发的代码测试框架和测试用例设计方法,并将其运用到某智能仪表软件的测试中,得到了良好的测试效果。
关键词:嵌入式系统 软件可靠性 静态分析 代码测试 xml技术
单位:华东理工大学信息学院 上海200237 化工过程先进控制与优化技术教育部重点实验室。 上海200237
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社