3. CI/CD Checks with Reactis

There are a variety of possible checks that Reactis can perform during CI/CD.

Quick consistency checks ensure that as a model or code evolves it remains configured for testing with Reactis:

• Check that each harness in a .rsi file is consistent with the corresponding model/code, and the model/code conforms to the Reactis subset, in effect, checking that Simulator and Tester can be run for each harness.

• Check that .rst files are consistent with the expected harness and, possibly

  • achieve the desired level of coverage, and

  • do not violate any assertions.

More extended checks are also possible when more time is allocated for testing:

• Run static analysis, reporting targets found to be unreachable.

• Run Simulator on regression test suites to flag any differences between prior and new versions of model/code.

• Run Tester to check for inputs that could cause run-time errors or violate assertions and create a test suite for use in subsequent regression or back-to-back testing of code against a model.

• Run back-to-back tests to compare model and code.

• Run Simulator to generate test reports.