一句话：提出场景驱动的基于模型测试方法 SDMBT，并提供 Provengo 工具套件支持以用户故事增量构建测试模型。
本文介绍 Provengo——一套支持场景驱动基于模型测试（SDMBT）的工具套件。SDMBT 是一种新方法，利用场景来构建既涵盖用户视角与系统业务价值、又定义期望结果的模型。借助 Provengo，测试人员可以轻松编写自然的用户故事，并将其无缝集成到能够生成有效测试的模型中。论文通过演示说明 SDMBT 如何有效应对基于模型测试（MBT）中常见的“引导难题”（bootstrapping challenge）：它支持增量式开发，从简单模型起步，再用更多故事逐步扩充。该工作主要贡献在于工具实现与方法演示，而非理论层面的评估。
We present Provengo, a comprehensive suite of tools designed to facilitate the implementation of Scenario-Driven Model-Based Testing (SDMBT), an innovative approach that utilizes scenarios to construct a model encompassing the user's perspective and the system's business value while also defining the desired outcomes. With the assistance of Provengo, testers gain the ability to effortlessly create natural user stories and seamlessly integrate them into a model capable of generating effective tests. The demonstration illustrates how SDMBT effectively addresses the bootstrapping challenge commonly encountered in model-based testing (MBT) by enabling incremental development, starting from simple models and gradually augmenting them with additional stories.
DOI 原文 · arXiv · PDF（开放获取） · DBLP
@inproceedings{abs-2308-15938,
title = {Provengo: A Tool Suite for Scenario Driven Model-Based Testing},
author = {Michael Bar-Sinai and Achiya Elyasaf and Gera Weiss and Yeshayahu Weiss},
booktitle = {ASE},
year = {2023},
doi = {10.1109/ase56229.2023.00146}
}