Сборники трудов ИСП РАН


Полное тестирование с открытым состоянием ограниченно недетерминированных систем.

И.Б. Бурдонов, А.С. Косачев.

Аннотация

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

Издание

Труды Института системного программирования РАН, том 17, 2009, стр. 193-208.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Полный текст статьи в формате pdf Вернуться к содержанию тома