基于模型的软件测试综述

摘要：

随着面向对象软件开发技术的广泛应用和软件测试自动化的要求,特别是基于UML的软件开发技术的逐渐普及,基于模型的软件测试逐渐得到了软件开发人员和软件测试人员的认可和接受.针对被测试软件的不同特征和不同测试目的,已经提出了多种测试模型.本文详细阐述了基于模型的软件测试研究现状和应用现状,并对测试中使用的不同模型进行了比较,着重介绍了状态机模型、UML模型和马尔可夫链模型.最后提出了未来的研究方向.

关键词：软件测试、基于模型的测试、有限状态机、UML、马尔可夫链

所属期刊栏目：31

分类号：TP3(计算技术、计算机技术)

资助基金：国家自然科学基金90104007,60233020;国家高技术研究发展计划863计划2001AA113202,2001AA113190

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

页数：共4页

页码：184-187