本文已被：浏览 5912次 下载 42095次
中文摘要: 随着面向对象软件开发技术的广泛应用和软件测试自动化的要求，基于模型的软件测试逐渐得到了软件开发人员和软件测试人员的认可和接受。基于模型的软件测试是软件编码阶段的主要测试方法之一，具有测试效率高、排除逻辑复杂故障测试效果好等特点。但是误报、漏报和故障机理有待进一步研究。对主要的测试模型进行了分析和分类，同时，对故障密度等参数进行了初步的分析；最后，提出了一种基于模型的软件测试流程。
中文关键词: 软件测试 软件模型 基于模型的测试 静态分析
Abstract:
keywords:
文章编号： 中图分类号： 文献标志码：
基金项目:
| Author Name | Affiliation |
| 吴艳 | 浙江工业大学 之江学院 浙江 杭州 310024 |
| 张惠 | 浙江工业大学 之江学院 浙江 杭州 310024 |
| Author Name | Affiliation |
| 吴艳 | 浙江工业大学 之江学院 浙江 杭州 310024 |
| 张惠 | 浙江工业大学 之江学院 浙江 杭州 310024 |
引用文本：
吴艳,张惠.基于模型的软件测试方法研究.计算机系统应用,2008,17(8):87-89
.Research on The Software Testing Based on Testing Model.COMPUTER SYSTEMS APPLICATIONS,2008,17(8):87-89
吴艳,张惠.基于模型的软件测试方法研究.计算机系统应用,2008,17(8):87-89
.Research on The Software Testing Based on Testing Model.COMPUTER SYSTEMS APPLICATIONS,2008,17(8):87-89
