Международный женский день
Пасха
День Победы
Выберите Ваш город X

Проверка c/c++ программ с помощью CBMC

Купить Гарантия
Код работы: 29683
Дисциплина: Безопасность банковской деятельности
Тип: Курсовая
Вуз:нет вуза - посмотреть другие работы и дисциплины по этому вузу
   
Цена: 290 руб.
Просмотров: 4678
Уникальность: В пределах нормы. При необходимости можно повысить оригинальность текста
   
Содержание: Содержание

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.

Купить эту работу
Гарантия возврата денег

 
Не подходит готовая работа? Вы можете заказать курсовую, контрольную, дипломную или другую студенческую работу профессиональным авторам!
 
Вернуться к рубрикатору дисциплин »
 

Другие готовые работы для скачивания, которые могут Вам подойти

Тема: Формирование лояльности клиентов в отношении информационной безопасности при дистанционном банковском обслуживании Подробнее
Тип: Курсовая
Вуз: РАНХ и ГС при Президенте РФ
Просмотры: 5068
Тема: Хищение денежных средств с использованием векселей Подробнее
Тип: Реферат
Вуз: Неизвестен
Просмотры: 6966

Поиск других готовых работ, выполненных в «ИнПро»


Не нашли готовую работу? Отправьте заявку - закажите работу по нужной теме нашим авторам!
 
Вы также можете: Вернуться к рубрикатору дисциплин »