Курсовая работа: Применение двунаправленного исполнения для вывода индуктивных инвариантов в символьной виртуальной машине KLEE

Содержание

• Тестирование .............................. 26 3.1. Тестовая инфраструктура . . . . . . . . . . . . . . . . . . . . 26

3.2.Результаты............................ 26

3.3.Выводы.............................. 27

3.4.Дальнейшееразвитие...................... 28

Заключение.................................29

Списоклитературы ............................ 30














2

Введение

Тестирование — одна из обязательных частей разработки программно-го обеспечения. Целью тестирования являются нахождение ошибок и кри-тических уязвимостей в коде, минимизация усилий и времени, затраченных на проверку надёжности, производительности программы, её соответствия стандартам, правилам и требованиям.

Важным шагом в развитии тестирования программного обеспечения яв-ляется автоматизация генерации тестов, позволяющая освободить разработ-чиков от одной из тяжёлых и трудоёмких частей производства продукта [1]. Основная проблема автоматизации тестирования состоит в том, что количе-ство путей исполнения в программе может быть сколь угодно большим. Следо-вательно, автоматический генератор тестов должен создать столько входных аргументов для тестируемой функции, сколько необходимо для покрытия максимально возможного количества путей исполнения.

Современные подходы к решению этой проблемы являются комбина-цией поведенческого (black-box test generation) и структурного (white-box test generation) тестирования [2]. Традиционным примером поведенческого те-стирования является генерация случайных входных данных для программы (или же «фаззинг»), а структурного — символьное исполнение. Если сравнить поведенческое и структурное те