Автоматизация тестирования с использованием символических трасс

Конференция «Технологии Microsoft в теории и практике программирования»
Авторы:
Дробинцев Павел Дмитриевич Ким Руслан Игоревич Котляров Всеволод Павлович
Аннотация:

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