A systematic review of state-based test tools

A systematic review of state-based test tools
复制标题

基于状态的测试工具的系统回顾

DOI:
--
复制
发表时间:
2013
期刊:
International Journal on Software Tools for Technology Transfer (STTT)
影响因子:
--
通讯作者:
Y. Labiche
Y. Labiche
中科院分区:
--
文献类型:
--
作者:
M. Shafique;Y. Labiche

文献摘要

被引文献

相似文献

基于模型的测试(MBT)是关于使用其行为模型来测试软件系统。为了充分利用MBT,需要自动化支持。本系统性综述的目标是确定突出的MBT工具支持的当前最新技术水平,我们专注于依赖于基于状态的模型的工具。我们会自动搜索不同的信息来源,包括数字图书馆和邮件列表。精确定义的标准用于比较选定的工具,包括支持测试充分性和覆盖率标准,各种测试活动的自动化水平和支持测试支架的构建。支持简单的充分性标准,但不支持高级标准;很少支持数据流标准;对创建测试脚手架的支持变化很大。这次审查的结果应该是利益相关者的广泛利益:软件公司有兴趣选择最合适的MBT工具,为他们的需求;组织愿意投资创建MBT工具支持;研究人员有兴趣设定研究方向。
Model-based testing (MBT) is about testing a software system using a model of its behaviour. To benefit fully from MBT, automation support is required. The goal of this systematic review is determining the current state of the art of prominent MBT tool support where we focus on tools that rely on state-based models. We automatically searched different source of information including digital libraries and mailing lists dedicated to the topic. Precisely defined criteria are used to compare selected tools and comprise support for test adequacy and coverage criteria, level of automation for various testing activities and support for the construction of test scaffolding. Simple adequacy criteria are supported but not advanced ones; data(-flow) criteria are seldom supported; support for creating test scaffolding varies a great deal. The results of this review should be of interest to a wide range of stakeholders: software companies interested in selecting the most appropriate MBT tool for their needs; organizations willing to invest into creating MBT tool support; researchers interested in setting research directions.