Статья описывает дальнейшее развитие работ в рамках общего направления разработки целевой технологии независимой верификации и прогнозирования скрытых дефектов программного обеспечения, важного для безопасности. Особое внимание уделено чрезвычайно важному вопросу калибровки чувствительности методов тестирования программного обеспечения (ПО) и полноты охвата исходного кода проверками. Предлагается концепция по нахождению адекватного профиля дефектов для конкретного проекта ПО при процедуре калибровки. Обосновывается уровень структуры ПО, на котором производится внесение тестовых дефектов для калибровки. Предлагаются принцип калибровки, модели и элементы практической теории, обеспечивающие практическое решение поставленных задач. Ключевые слова: программное обеспечение, тестирование, верификация, инвариант, калибровка, профиль дефектов
