Provengo Tool Tutorials

The Provengo tool helps organizations that develop software systems. It improves communication between business, development, and QA teams, and improved product quality. This is done by making system requirements active - they can be validated, visualized, and imposed on the developed system using auto-generated, optimized test suites.

The tutorials in this site will teach you how to use the Provengo tool to its full extent, helping you in your day-to-day specification and QA work.

This is a tutorials site for Provengo’s commandline tool. For the reference documentation site, please visit provengo.tech.

Tutorial	Description	Keywords
Basics: We recommend going through these in order.
① First Steps	Working with the Provengo tool and creating your first model	BP, bp-base
② Automations and Libraries	Automating the Morning Routine Simulator using the model from the previous tutorial.	BP, bp-base, automation, selenium, libraries
③ Test suite composition and optimization	Creating test suites, demonstrated on the Morning Routine Simulator.	Sample, ensemble, goals, ranking function, profiles, config
④ Creating Manual Tests Books	Creating manual test books, demonstrated on the Morning Routine Simulator.	Gen-book, libraries
⑤ Exporting Test Scripts	(coming soon)
⑥ Checking Your Models - Verification and Validation	Verification and validation help you ensure that the model you’re working on does what it should be doing, and help you communicate your spec/test plan with the rest of the team.	Verification, validation, assertions, rainy day checks.
Sample Sites: Sites used as testing examples.
Morning Routine Introduction	Introduction with the Morning Routine Simulator app. We use this app as a sample SUT in some tutorials.	Intro
Dummy Bank Introduction	Introduction with the dummy-bank app, a simple banking app used as a SUT in some tutorials.	Intro
Deep Dives: Case studies, specific topics, other curiosities
Dummy Bank Combi	Advanced	DSL Combinations, Sealed Fate Pattern, StateMachines, Combi
Online Store	Advanced	Real World Example, Selenium

Tutorial

Description

Keywords

Basics: We recommend going through these in order.

① First Steps

Working with the Provengo tool and creating your first model

BP, bp-base

② Automations and Libraries

Automating the Morning Routine Simulator using the model from the previous tutorial.

BP, bp-base, automation, selenium, libraries

③ Test suite composition and optimization

Creating test suites, demonstrated on the Morning Routine Simulator.

Sample, ensemble, goals, ranking function, profiles, config

④ Creating Manual Tests Books

Creating manual test books, demonstrated on the Morning Routine Simulator.

Gen-book, libraries

⑤ Exporting Test Scripts

(coming soon)

⑥ Checking Your Models - Verification and Validation

Verification and validation help you ensure that the model you’re working on does what it should be doing, and help you communicate your spec/test plan with the rest of the team.

Verification, validation, assertions, rainy day checks.

Sample Sites: Sites used as testing examples.

Morning Routine Introduction

Introduction with the Morning Routine Simulator app. We use this app as a sample SUT in some tutorials.

Intro

Dummy Bank Introduction

Introduction with the dummy-bank app, a simple banking app used as a SUT in some tutorials.

Intro

Deep Dives: Case studies, specific topics, other curiosities

Dummy Bank Combi

Advanced

DSL Combinations, Sealed Fate Pattern, StateMachines, Combi