Skip to content

Writing Automated Tests

An important approach to ensuring system quality is systematic testing. Testing is the act of detecting failures in a product. A failure is a divergence between the expected and actual behavior of software. MontiArc includes support for writing automated tests using the simulator. These can be run whenever changes are made to ensure that the systems behaves as specified.

There are multiple testing frameworks available:

  • MaUnit: Write tests in the MontiArc modeling language
  • Sequence Diagrams: Write tests using sequence diagrams
  • JUnit: Write tests as plain Java tests