Проверка c/c++ программ с помощью CBMC |
Купить Гарантия | |
Код работы: | 29683 | |
Дисциплина: | Безопасность банковской деятельности | |
Тип: | Курсовая | |
Вуз: | нет вуза - посмотреть другие работы и дисциплины по этому вузу | |
Цена: | 290 руб. | |
Просмотров: | 4966 | |
Уникальность: | В пределах нормы. При необходимости можно повысить оригинальность текста |
|
Содержание: |
Содержание 1 Описание и возможности CBMC 3 2 Порядок работы с CBMC 6 3 Примеры работы с CBMC 7 4 Задания для самостоятельного выполнения 12 Список использованных источников 24 |
|
Отрывок: |
1 Описание и возможности CBMC CBMC (Context Bounded Model Checking) представляет собой инструмент, предназначенный для статической верификации программ. Сам термин «верификация» означает проверку соответствия объекта некоторому свойству. Применительно к программному обеспечению, под термином «верификация» понимается проверка соответствия программного обеспечения технической документации. В процессе верификации программного обеспечения, в том числе, выполняется поиск ошибок. Все методы верификации программного обеспечения можно разделить на две большие группы: статической и динамической верификации. На практике могут быть использованы и иные методы (такие как экспертиза, формальные методы анализа и синтетические методы), однако наибольшее распространение получили именно методы статической и динамической верификации. 2 Порядок работы с CBMC Для использования CBMC необходимо скачать версию утилиту для используемой в работе операционной системы. Все версии программы доступны по ссылке: http://www.cs.cmu.edu/~modelcheck/cbmc/. В нашем случае программа будет использоваться в операционной системе Windows. Скачаем компоненты программы, разархивируем их на жесткий диск и добавим данный каталог к переменной PATH. 3 Примеры работы с CBMC Начнем рассмотрение возможностей CBMC с демонстрации использования механизма проверки указателей. Для этих целей используется ключ --pointer-check. | |
Купить эту работу Гарантия возврата денег |
Тема: | Формирование лояльности клиентов в отношении информационной безопасности при дистанционном банковском обслуживании | Подробнее |
Тип: | Курсовая | |
Вуз: | РАНХ и ГС при Президенте РФ | |
Просмотры: | 5330 | |
Тема: | Хищение денежных средств с использованием векселей | Подробнее |
Тип: | Реферат | |
Вуз: | Неизвестен | |
Просмотры: | 7262 | |