嵌入式软件系统测试模型的研究与实现

摘要：

指出嵌入式软件系统测试目前还存在测试需求没有规范化、测试用例执行效率低、测试平台不统一等问题.针对这些不足,通过对嵌入式软件测试技术的研究,以形式化的需求描述、基于数据域的测试用例生成等方法为基础,以系统测试环境为平台,建立了适合嵌入式软件系统测试的模型框架.然后针对模型的各个部分,提出了具体的实现方案.最终将该方案应用于某型号嵌入式软件的系统测试中,保证了测试用例设计的完整性、测试覆盖的全面性、测试度量的准确性,并且大大提高了测试的效率.帮助用户达到软件测试效率提高、成本降低、风险小、所开发的软件产品质量高的目的.

关键词：嵌入式软件测试、软件系统测试、形式化的需求描述、实时性

所属期刊栏目：9

分类号：TP311.52(计算技术、计算机技术)

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

页数：共6页

页码：7515-7520