Testing and verifying models

Edit online

IBM® Engineering Systems Design Rhapsody® provides a number of ways to test and verify your model:

  • Use model-checking to check the model for correctness and completeness
  • Build and run the application
  • Run the application using animation
  • Run the application using tracing

You might also use one of testing add-on products, as described in Model Based Testing with TestConductor and Automatic Test Generation (ATG).