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. |
||
Working with the Provengo tool and creating your first model |
BP, bp-base |
|
Automating the Morning Routine Simulator using the model from the previous tutorial. |
BP, bp-base, automation, selenium, libraries |
|
Creating test suites, demonstrated on the Morning Routine Simulator. |
Sample, ensemble, goals, ranking function, profiles, config |
|
Creating manual test books, demonstrated on the Morning Routine Simulator. |
Gen-book, libraries |
|
⑤ Exporting Test Scripts |
(coming soon) |
|
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. |
||
Introduction with the Morning Routine Simulator app. We use this app as a sample SUT in some tutorials. |
Intro |
|
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 |
||
Advanced |
DSL Combinations, Sealed Fate Pattern, StateMachines, Combi |
|
Advanced |
Real World Example, Selenium |
This site is a work in progress. Watch for more tutorials soon! |