In testing a system, coverage of the testing is obtained by maintaining a
store of information that is populated as the testing progresses. The
store maintains information about the ranges of system variables that are
employed during the testing. At the conclusion of the testing, the
coverage of the testing is reported out, to permit the designer to assess
whether other queries ought to be formulated, or whether portions of the
system are superfluous. The testing can employ simulations, formal
verifications, or some other techniques.
Wenn man ein System prüft, wird Deckung der Prüfung erreicht, indem man einen Speicher der Informationen beibehält, die bevölkert wird, während die Prüfung weiterkommt. Der Speicher behält Informationen über die Strecken der System Variablen bei, die während der Prüfung eingesetzt werden. An der Zusammenfassung der Prüfung, wird die Deckung der Prüfung heraus berichtet, um den Entwerfer zu ermöglichen festzusetzen, ob andere Fragen formuliert werden sollen oder ob Teile des Systems überflüssig sind. Die Prüfung kann Simulationen, formale Überprüfungen oder einige andere Techniken einsetzen.
