Форма пошуку Назад
укр рус eng
 Cписок

Сергиенко В.В., Конорев Б.М., Новы Л., Чертков Г.Н.
Калибровка методов измерения инвариантов критического программного обеспечения: профиль инъектируемых тестовых дефектов

Вид документа: Складова частина документа
Автор: Сергиенко В.В., Конорев Б.М., Новы Л., Чертков Г.Н. Вид автора: персона
Мова: Російська Обсяг: С. 161-167
УДК: 004.052.42

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


Переглянути електронну копію

Є складовою частиною документа: Радіоелектронні і комп'ютерні системи

Відомості щодо назви
 Відомості про відповідальність:Национальный аэрокосмический университет им. Н.Е. Жуковского "ХАИ"

Відомості щодо головного
 Вид автора головного документа:Персона
 Назва головного документа:Радіоелектронні і комп'ютерні системи
 Дата видання головного документа:2008
 Номер частини головного документа:5

Загальна інформація
 Бібліографія:13 назв.

Теми документа: