Журнал СФУ. Техника и технологии / Оценка эффективности статического анализа для поиска дефектов естественной семантики программных объектов

Полный текст (.pdf)
Номер
Журнал СФУ. Техника и технологии. 2019 12 (1)
Авторы
Викторов, Д.С.; Жидков, Р.Е.
Контактная информация
Викторов, Д.С.: Военная академия воздушно-космической обороны им. Маршала Советского Союза Г.К. Жукова Россия, 170022, Тверь, ул. Жигарева, 50; Жидков, Р.Е.: Военная академия воздушно-космической обороны им. Маршала Советского Союза Г.К. Жукова Россия, 170022, Тверь, ул. Жигарева, 50
Ключевые слова
функциональные дефекты; статический анализ; верификация; естественная семантика; анализатор; моделирование; functional defects; static analysis; verification; natural semantic; analyzer; modeling
Аннотация

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

Страницы
6-17
Статья в архиве электронных ресурсов СФУ
https://elib.sfu-kras.ru/handle/2311/109177

Лицензия Creative Commons Эта работа лицензируется по лицензии Creative Commons Attribution-NonCommercial 4.0 International License (CC BY-NC 4.0).