Task04 (Задание 4)

PDF-файл Task04 (Задание 4), который располагается в категории "лабораторные работы" в предмете "надёжность программного обеспечения" изседьмого семестра. Task04 (Задание 4) - СтудИзба 2019-09-18 СтудИзба

Описание файла

Файл "Task04" внутри архива находится в папке "Задание 4". PDF-файл из архива "Задание 4", который расположен в категории "лабораторные работы". Всё это находится в предмете "надёжность программного обеспечения" из седьмого семестра, которые можно найти в файловом архиве МГУ им. Ломоносова. Не смотря на прямую связь этого архива с МГУ им. Ломоносова, его также можно найти и в других разделах. .

Просмотр PDF-файла онлайн

Текст из PDF

Задание 4.Статический анализ кода (10 баллов).Формулировка заданияДано:Дан текст 2 программ на языке С. Необходимо провести статический анализ данных программ спомощью средств статического анализа кода.Требуется:1. (1 балл) Ознакомится с возможностями средства Microsoft Visual Studio 2008: создать проект консольного приложения с данным файлом; запуск анализа выполняется из меню Analyze->Run Code Analysis.2. (3 балла) Выполнить анализ первого примера, проверить сообщения о найденных дефектах,определить какие из дефектов являются ложными: для одного двух ложных дефектов сделать предположения о причине их обнаружения; подсчитать число ложных дефектов, определить точность анализа.3.

(3 балла) Выполнить анализ второго примера, проанализировать исходный код примеравручную и найти дефекты, необнаруженные средством: сделать предположение о причине необнаружения этих дефектов; оценить полноту полученных результатов.4. (1 балл) Сделать вывод о возможностях изученного средства.балла)ВыполнитьанализвторогопримераспомощьюсредстваAegis(http://aegis-demo.digiteklabs.ru/s2a.webserver/). Сравнить полученные результаты, срезультатами Microsoft Visual Studio 2008.5.

(2На выполнение задания отводится месяц. Последний срок сдачи задания – 27 ноября.Требования к файлам решения:Решение задачи должно включать в себя 5 файлов:1. Файлыисходныхкодованализируемыхgroup_surname_false_positives_sample.c group_surname_undetect_defect_sample.cпрограмм2. Текстовый файл group_surname_false_positives.txt c описанием найденных дефектовпервого примера, предположений о причине обнаружения ложных дефектов и оценкойточности анализа.3. Текстовый файл group_surname_undetect_defect.txt c описанием дефектов второгопримера необнаруженных средством, предположений о причине необнаружения дефектов иоценкой полноты анализа.4. Текстовый файл group_surname_zcomparision.txt с описанием выводов о возможностяхсредства Microsoft Visual Studio 2008 и сравнением полученных результатов анализа второгопримера со средством Aegis..

Свежие статьи
Популярно сейчас