Provengo Tool: December 2023 Edition

Dear everyone,

A new release of the Provengo tool is out. The updates, improvements, and features are listed below, but the main thing, the "big picture", the "30K feet view" is:

Better user experience, based on user feedback and our grand plan of making Model-Based test and design accessible and useful for everyone.

OK. So here's what's new:

• Visualizations

  • New visualization style looks tidy event on larger graphs (see title image)

  • Node order can be alphabetical or visual (that is, optimized for best visual order. But it's a long sentence so we though we'll put in in parentheses).

  • Improved visualizations for State Machines.

  
  

• Streamlining - making the tool easier to use

  • sample: Change --delete-previous to --overwrite, just like in the gen-book and gen-script commands.

  • gen-book:

    • When no title is set to a scenario, a title is auto generated, and a warning is issued.

    • Automatically invoke sample and ensemble as needed.

    
    

  • run:

    • Improved handling of pre/post/error scripts

    • Friendlier error messages for Selenium automation fails

    
    

  • create: Improved AI guidance files in new projects.

  • gen-script:

    • Automatically invoke sample and ensemble as needed.

    
    

  • report:

    • Command-line actuation logs are stored and presented in the reports.

    
    

  • No log is generated when using invalid project directories.

  
  

• DSLs

  • New command in bp-base: halt(errorMessage) marks a model state as violating a requirement. We'd try this ourselves but our models are never invalid 😇 (OK, ok, we wish)

  • Wait for, block, and generally work with events generated by maybe() using the maybeEvent(msg) object.

  
  

• New global flag --dev-mode makes is easier to develop UI automations.

• Also, fixed various bugs.

Grab your copy at our downloads page. Happy modeling/testing/spec-ing (these are all aspects of the same thing...... right?)