Provengo Tool Documentation
Provengo is a tool for people and organizations that develop software systems. It makes system requirements/user stories/product intents active - they can be validated, visualized, and imposed on the developed system using auto-generated, optimized test suites. As a result, using provengo improves communication between business, developers, and QA teams, improves product quality, and reduces rework, test maintenance, and stale documentation.
In short, using provengo makes the software development process more productive, less tedious, and ultimately - more fun.
Where to Go and What to See
| This site |
Here you can find the full, official reference documentation for the Provengo tool. See the Contents Menu sidebar on the left (on large screens) or click the menu icon on the top left (on mobile). |
| Downloads Site |
Where you can get your paws on a fresh copy of the Provengo tool. |
| Tutorials Site |
Contains short tutorials and learning trails. A good place to start. |
| Online Course |
An on-line course for learning about the provengo tool and the modeling paradigm it’s based on. More of a deep-dive, but still a short course. Also - interesting stuff, event if we say so ourselves. |
| Provengo@YouTube |
Lots of video content about model-based testing in general and about using provengo in particular. |
| TechDemos Repo |
A GitHub repository with numerous annotated examples. |
| Provengo’s Discord Server |
Where you can ask questions and get answers. Or just hand out. |
| provengo.tech |
Official company website. |
| Official Twitter/X Account |
Contains tips, tricks, and announcements. May contain memes and cat pictures (being, after all, a social network account). |
| VSCode Extensions |
For those using Visual Studio Code (a.k.a VSCode or VSC), we have extensions that help work with models and specific DSL. While helpful, these are not mandatory in any way. You can use your favorite editor and still enjoy all that Provengo has to offer. |
| Feedback Page |
We constantly try to make Provengo better, so we’re grateful for feedback. If you have any idea for improvement or praise for existing features, we’d love to know! ''' |
|
The Provengo tool is a result of many years of research in software engineering and formal modeling. There’s a lot of computer-science-y innovation under the hood (mainly in the areas of Formal Methods, Graph Theory, and Programming Languages). These roots enable a lot of novel features that other systems are not able to offer. Try it out and see for yourself! |