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

08/30/2023
by   Michael Bar-Sinai, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/23/2021

Testing Pushdown Systems

Testing on reactive systems is a well-known laborious activity on softwa...
research
03/06/2022

Model Based Software Design: Tool Support for Scripting in Immersive Environments

We present a prototype tool developed for the transformation of scenario...
research
05/15/2018

A Formal Model to Facilitate Security Testing in Modern Automotive Systems

Ensuring a car's internal systems are free from security vulnerabilities...
research
11/01/2020

A Model-Based Testing Tool for Asynchronous Reactive Systems

Reactive systems are characterized by the interaction with the environme...
research
05/28/2020

eXtreme Modelling in Practice

Formal modelling is a powerful tool for developing complex systems. At M...
research
09/18/2023

Testaro: Efficient Ensemble Testing for Web Accessibility

As automated web accessibility testing tools become enriched with new an...
research
02/13/2020

Genetic Algorithms for Redundancy in Interaction Testing

It is imperative for testing to determine if the components within large...

Please sign up or login with your details

Forgot password? Click here to reset