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

  Повний текст PDF - 382.295 Kb    Зміст випуску     Цитування публікації

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"