Какие существуют способы автоматизации процесса верификации программного кода?

Некоторые способы автоматизации процесса верификации программного кода:

• Средства XUnit. www.osp.ru Применяются для проверки правильности работы каждого разработанного модуля. www.osp.ru Позволяют на специальных языках описывать тестовые ситуации и автоматически их выполнять. www.osp.ru
• Средства комбинаторного тестирования. www.osp.ru Генерируют тестовые данные, что даёт возможность проверять корректность функционирования различных интегрированных модулей. www.osp.ru
• Инструменты фиксации и замены. www.osp.ru Используются для проверки корректности и полноты функционирования системы, в том числе при проведении приёмочных тестов. www.osp.ru Регистрируют взаимодействия тестировщиков с приложением, генерируя тестовые сценарии, которые затем можно выполнять автоматически. www.osp.ru
• Инструменты контроля сопровождаемости. www.osp.ru Позволяют анализировать исходный код и проверять его на соответствие правилам модульности, читаемости и др.. www.osp.ru
• Инструменты контроля удобства использования. www.osp.ru Применяются для оценки программного продукта в процессе работы с ним реальных пользователей. www.osp.ru Позволяют проводить валидацию пользовательского интерфейса без участия самих пользователей. www.osp.ru
• Проверка моделей. is.ifmo.ru Это автоматизированный метод, который для заданной модели поведения системы с конечным числом состояний и логического свойства, проверяет справедливость этого свойства в данной модели. is.ifmo.ru
• Симуляция. is.ifmo.ru Базируется на модели, которая описывает возможное поведение системы. is.ifmo.ru Программный инструмент (симулятор) может определить поведение системы по отношению к некоторым сценариям. is.ifmo.ru