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

Research on The Software Testing Based on Testing Model

作　　者：吴艳[1] 张惠[1] 

机构地区：[1]浙江工业大学之江学院,浙江杭州310024

出　　处：《计算机系统应用》2008年第8期87-89,68,共4页Computer Systems & Applications

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

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

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]