您的位置:软件测试 >> 测试技术 >> 测试精品文章
基于模型的测试的测试设计
作者:TeemuKanstrén(泽众软件原创翻译) 发布时间:[ 2014/4/22 14:18:27 ] 推荐标签:软件测试 测试技术 自动化测试设计

  TeemuKanstrén是一名科学家,目前在芬兰VTT技术研究中心工作,他还是多伦多大学的一名客座博士后。他的工作涉及:以改进行业现状,和生产实际有用的解决方案并帮助行业伙伴接受采纳它们为目的的自动化测试领域的研究和开发。他软件行业工作了好几年,已帮助众多合作伙伴开发和采用以基于模型的测试技术为基础的测试自动化解决方案。他是开源的基于模型的测试工具OSMO Tester的主要创造者。2010年他获得了芬兰大学测试自动化和基于模型的测试的博士学位。

 

 

  介绍
  测试设计是测试过程中重要的部分之一。一个好的测试用例不仅要为被测系统( SUT )提供一些输入,还要验证系统是否如预期进行。也是说,它有助于确认利益相关者要求得以实现。但测试设计可以做的远不止这些。理想情况下,测试设计有助于沟通两方对这些需求的理解,验证他们能被正确实施,并引发对利益相关者可能增加的更大价值的讨论。
  基于模型的测试(MBT)(下文都简称为:基模测试)是一种技术,有时被标榜为“自动化测试设计”。虽然一定程度上这并没有错,但它或许会给人以错误的印象。基模测试工具从一个由用户指定的测试模型生成测试用例。没有测试模型,该工具无法生成任何测试用例。没有好的测试模型,该工具无法生成好的测试用例。因此,基模测试里,任务从测试设计变成了测试模型设计。不是设计单个测试集,我们设计了一个用于生成任何数量的测试用例的测试模型。

  例子
  为了给这个概念提供一个具体的理解,首先我们举一个简单的例子。这里所说的例子使用OSMO Tester MBT生成器的符号,它基于Java编程语言。这种情况下,测试模型是使用标准的Java编程语言结构编写的,但却被设计成被另一个称作测试生成器的程序以不同的方式执行,以生成测试用例。有时候,这种模型被称为模型程序。
  图1举了一个简化电信系统(其中多个移动终端被连接(注册)到潜在多个服务器之一上,彼此相互调用)的这种符号的例子。
其他类似工具用于各种其他平台,比如Python (PyModel)和.NET (Spec Explorer, NModel)。其他基于Java的工具和符号,包括ModelJUnit和Conformiq Designer。许多工具也定义了自己的建模语言,并提供一种方法将模型以不同的方式进行可视化。
  根据用户的喜好,可以选择不同的工具提供一个熟悉的工作环境以及不同的算法和不同的特征等。
  [BINDER]中可找到一个MBT工具列表。

 

图1.模型程序示例

上一页123下一页
软件测试工具 | 联系我们 | 投诉建议 | 诚聘英才 | 申请使用列表 | 网站地图
沪ICP备07036474 2003-2017 版权所有 上海泽众软件科技有限公司 Shanghai ZeZhong Software Co.,Ltd