研究文章雷竞技app下载苹果版

基于模型的测试，考虑步骤、级别、工具和软件质量标准

摘要

本文概述了基于模型的测试这一主题。描述了基于模型的测试过程，并考虑了每个阶段可用的步骤。本文解释了支持该过程所需的不同类型的工具，并列出了示例工具及其支持的标准。标准在基于模型的测试中的地位被检查，并讨论测试人员所需的新技能。纵观过去5-10年对基于模型的测试的研究，已经验证了这种方法的可能性。它已经被证明是具有成本效益的，并且已经开发了各种测试生成策略和模型覆盖标准。一些商业工具已经开始出现，来自美国(T-Vec, Reactive Systems, I-logix)，也来自欧洲(Conformiq, Leirios Technologies, Telelogic)，以及各种各样的学术和研究工具[BFS05]。本文中的讨论仅限于功能测试，因为基于模型的测试在其他领域还不太成熟。最后，考虑了确定基于模型的测试项目的适当性的方法。本文分析了影响MBT的因素:基于模型的测试、步骤、水平、方法和工具。

Sanjeev Dhawan, Nirmal Kumar和Shiva Saini

阅读全文下载全文|访问全文