提高嵌入式软件质量

摘要：

@@ 操作应用于安全苛刻的航空和军事领域的嵌入式软件时必须高度关注安全问题.为达到可靠性目标,软件开发团队精益求精,力争使这些软件应用符合严格的验证流程并实现零缺陷目标.Edsger Dijkstra有句名言:测试只能发现错误,但不能证明错误不存在.如果测试无法证明不存在严重的运行错误,那么嵌入式软件开发团队如何才能确定其软件没有这些错误呢?基于数学证明的代码验证是值得一试的解决方案.

机标关键词：嵌入式软件、软件质量、Software、Quality、软件开发团队、数学证明、验证流程、软件应用、目标、军事领域、解决方案、代码验证、测试、操作应用、安全问题、Dijkstra、零缺陷、可靠性、运行、航空

分类号：TP3;TN9

在线出版日期：2011-03-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共2页

页码：46-47