基于模型的测试综述2016 年 1 月I 摘要面向对象软件开发应用越来越广泛，自动化测试也随之被程序员认可和接受，随之而来的就是基于UML 的软件开发技术的大范围普及和基于模型的软件测试技术的普遍应用。 基于模型的测试是软件编码阶段的主要测试方法之一，具有测试效率高、 排除逻辑复杂故障测试效果好等特点。本文描述了基于模型的测试的模型以及建模标准， 并介绍基于模型的测试的基本过程以及支持工具，同时通过七个维度对基于模型的测试方法进行描述。最后分析基于模型的测试的优缺点并列举了应用案例。关键词： 软件测试，基于模型的测试，软件模型，测试工具1 目录摘要 ................................................ I1 引言......................................................................................................... 22 基于模型的测试、模型以及建模标准................................................ 22.1 基于模型的测试 ............................................................................................... 2 2.2 基于模型的测试的模型 ................................................................................... 3 2.3 建模标准 ........................................................................................................... 4 3 基于模型的测试的基本过程及支持工具............................................ 53.1 基于模型的测试的基本过程........................................................................... 5 3.2 支持工具 ........................................................................................................... 6 4 分类......................................................................................................... 74.1 模型主体 .......................................................................................................... 7 4.2 模型冗余程度 .................................................................................................. 7 4.3 模型特征 .......................................................................................................... 7 4.4 模型表示法 .............
