Калибровка методов измерения инвариантов критического программного обеспечения: профиль инъектируемых тестовых дефектов

Abstract

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

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