English

Provengo: A Tool Suite for Scenario Driven Model-Based Testing

Software Engineering 2023-08-31 v1

Abstract

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.

Keywords

Cite

@article{arxiv.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},
  journal= {arXiv preprint arXiv:2308.15938},
  year   = {2023}
}

Comments

4 pages, 3 figures, 2 listing

R2 v1 2026-06-28T12:08:17.044Z