Развитие методов символического тестирования программ ЭВМ

Рассматривается применение символического тестирования для проверки правильности программ ЭВМ: автоматического генерирования входных данных (тестов), полных систем тестов, выделения всех реализуемых путей программы, генерирования описания функции, которую реализует программа. Приводятся различные описания функции, реализуемой программой, отличающиеся полнотой ее задания.