In contrary to blackbox tests, whitebox testing refers to testing activity which is based on knowledge about the tested system. An example for whitebox tests are tests which are based on coverage criteria, e.g. to achieve that every statement was executed at least once or for model-based software, that every block was executed once during testing.
Besides the support for measurements of coverage metrices during test executions, Arttest extends the possible tests with knowledge about system interna on model level. It enables the tester to select arbitrary signals from the model and use them in the test either to be evaluated, to be observed and used as trigger or condition for specified events or to be overridden by specified signal data. Thus, it is possible to test internal system behaviours for correct behaviour, e.g. after an error was fixed. Moreover, the mentioned features enable you to profit from many additional benefits, depending on your application, such as