基于模型的软件测试

摘要：

基于模型的软件测试是软件编码阶段的主流测试方法之一.基于多年的测试实践,本文认为基于模型的软件测试技术具有测试效率高、对逻辑复杂故障测试效果好等特点,但是误报、漏报和故障机理是依然需要进一步研究的问题.本文对主要的测试模型进行了分析和分类,并对其故障密度等参数进行了初步的分析.最后,本文给出了一种基于模型的软件测试方法.

关键词：软件测试、静态分析、测试模型

所属期刊栏目：34

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

资助基金：国家高技术研究发展计划863计划2006AA01Z184

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

页数：共4页

页码：85-88