基于模型的软件测试方法研究

摘要：

随着面向对象软件开发技术的广泛应用和软件测试自动化的要求,基于模型的软件测试逐渐得到了软件开发人员和软件测试人员的认可和接受.基于模型的软件测试是软件编码阶段的主要测试方法之一,具有测试效率高、排除逻辑复杂故障测试效果好等特点.但是误报、漏报和故障机理有待进一步研究.对主要的测试模型进行了分析和分类,同时,对故障密度等参数进行了初步的分析;最后,提出了一种基于模型的软件测试流程.

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

所属期刊栏目：17

分类号：TP3;TP2

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

页数：共4页

页码：87-89,68