Построение системы автоматизации статической и динамической проверки требований к программному продукту

Конференция «Технологии Microsoft в теории и практике программирования»
Авторы:
Тютин Борис Викторович Никифоров Игорь Валерьевич Котляров Всеволод Павлович
Аннотация:

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