Arttest's automated model analysis inspects the software system under test and creates an interface description to test against. It comprises the detection of data such as
Test specifications are checked on-the-fly against the de-tected interface for instant user feedback in case the tester creates tests incompatible with the model under test.
Besides the interface of the system under test, for model in the loop tests, the Matlab workspace is mirrored to Arttest enbaling the user to use and refer to values and variables from Matlab inside the test.