Спецификация и тестирование систем с асинхронным интерфейсом

       

Инструментальная поддержка тестирования систем с асинхронными интерфейсами


В настоящей главе мы рассмотрим инструментальную поддержку описываемого подхода к тестированию систем с асинхронным интерфейсом. Данная поддержка реализована в виде расширения набора инструментов CTesK, поддерживающих процесс тестирования по технологии UniTesK на платформе языка C.



Содержание раздела