Методы тестирования программ для формальных исполнителей помогают в оценке кода, позволяя обнаружить ошибки и проверить работу реализованных функций в соответствии с их спецификацией. 24

Некоторые способы тестирования и их особенности:

• Метод «чёрного ящика». 24 Используется для тестирования функций, реализованных в программе. 4 Проверяется несоответствие между реальным поведением функций и ожидаемым поведением с учётом спецификаций требований. 4
• Метод «белого ящика». 4 Позволяет исследовать внутреннюю структуру программы. 4 Обнаружение всех ошибок в программе происходит за счёт исчерпывающего тестирования маршрутов потоков (графа) передач управления. 4
• Статический анализ. 15 Исследование выполняется без фактического выполнения программы. 5 В основном исследуется определённая версия исходного кода. 5
• Динамический анализ. 5 Даёт анализировать все пути выполнения программы. 5 Используется в том случае, если исследование выполняется с помощью автоматизированных инструментов. 5

В процессе тестирования накапливается информация об ошибках, которая используется при оценке надёжности и качества программного обеспечения. 2