Спецификация и тестирование систем с асинхронным интерфейсом
Book information
Description
М.: Институт системного программирования РАН, 2006. – 70 с.В работе рассматривается метод спецификации и тестирования систем с асинхронным интерфейсом при помощи технологии UniTesK. Определяются математические модели, лежащие в основе метода, и подходы к решению основных задач тестирования для систем с асинхронным интерфейсом. Предлагается унифицированная архитектура теста, определяющая архитектуру всех тестовых систем, построенных в соответствии с предложенным методом. Описывается реализация поддержки метода в наборе инструментов CTesK и опыт применения метода, полученный в шести проектах по тестированию различного программного обеспечения.
Similar books
Технология разработки программного обеспечения
Роман Савин, Тестирование dot Ком, или Пособие по жестокому обращению с багами в интернет-стартапах
DJVU
Конец холивара. Pascal vs C
DOC
Техника программирования
DJVU
Рабочая тетрадь №1 Основные алгоритмические конструкции ОД.06 Основы программирования
DOCX