Sanity check

In software technology, a sanity check is a plausibility check . Sanity checks include, for example, plausibility checks of values, simple model-based checks, but also consistency checks of requirements.

The validation of a software system often begins with sanity checks. For the complete verification of a more complex system, additional model tests must be carried out in a second step .

Example value tests

In the input dialog, the plausibility of the input value in terms of data type and permissible value range is checked as a sanity check. However, this may not be sufficient for the final decision on the admissibility of a value (verification). A model checking against the current model status may be necessary for this.

Example of use cases

A robustness analysis can be carried out to carry out a sanity check of the use cases .