基于模型的方法在软件测试领域的应用与发展①.PDFVIP

计 算 机 系 统 应 用 2016 年 第 25 卷 第 6 期 基于模型的方法在软件测试领域的应用与发展① 马云云, 王金波, 张 弢, 王晓华 (中国科学院 空间应用工程与技术中心, 北京 100094) 摘 要: 伴随着软件在当今社会中扮演着日益重要的角色, 在各类软件或系统的开发过程中, 测试变得越来越重 要. 随着面向对象技术的广泛应用和软件测试自动化的要求, 基于模型的测试(MBT)技术逐渐得到了软件开发和 测试人员的认可和接受. 尽管有许多国内出版物讨论了基于模型的测试技术, 但还没有相关技术文章对 MBT 技 术及工具的当前发展进行回顾与总结. 文章对当前 MBT 技术的通用模型、测试用例生成方法、测试目标选择等 MBT 方法进行回顾, 并对基于模型的自动化测试工具、应用实践进行了概述. 最后,探讨了 MBT 技术的未来发展 与研究方向. 关键词: 基于模型软件测试; 测试模型; 测试用例; 测试目标; 测试工具 Survey on Model-Based Testing in Software Testing MA Yun-Yun, WANG Jin-Bo, ZHANG Tao, W