Информативность испытаний и подтверждение приемлемых уровней вероятности скрытых дефектов при независимой верификации критического программного обеспечения обеспечивается с помощью адекватного профиля дефектов и калибровок методов, используемых при испытаниях. Рассматривается разработка модели профиля дефектов для калибровки методов измерения инвариантов при статическом анализе.
