In model-based software development processes, a great bandwidth of requirements can already be tested on the model level. Although MIL testing is capable of reducing the amount of faults in the system significantly, validation of the generated code is of course still necessary and required by ISO 26262 and other IEC 61508 derivates.
Therefore, Arttest allows you to perform automatic code generation with your generator of choice, e.g., Simulink Coder, Embedded Coder or Target Link, compiles the code along according to your model's configuration and automatically runs your test suite on the binaries. The best thing is that no additional test configuration is required. All input and output signals are automatically matched, output data is recorded and evaluated against reference signals and assertions.
Finally, a test result file is created for further inspection or report generation, as for MIL testing.
The representation of variables, signals or, in general, data is often depending on the particular programming language and code generator. Therefore, SIL testing is essential to make sure an embedded system passes all tests not only on the model but also on the code level. Finding differences between the results on both levels, e.g. due to improperly chosen data types, is particularly easy using our Back-to-back testing feature (see below).
Arttest allows you to conveniently specify both the input signals for stimulation and the reference curves that reflect the expected signals at the SUT's outputs.
150% models, also referred to as family models, cover the functionality of an entire product family instead of a particular product. The advantages are manifold and include optimal reusabilit, configuratbility and extendability of model elements, whereas redundant modeling is avoided.
SIL testing is a very good way to validate the functionalities of concrete products that are derived from such a family model by configuration. With Arttest, it is easy to automatically produce the code of all relevant product instances and test it. In that context, it is possible to define some test cases being relevant for all derived artifacts while others might only address single products, i.e., a 150% test suite.
Besides pure MIL or SIL testing, Arttest offers back-to-back testing functionality. A test suite is first executed in MIL, then in SIL mode. Arttest compares the results of the test runs for alle test cases with each other and generates a report, which shows any deviations between the model and the code test execution.