Proceedings of ISP RAS


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

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

Abstract

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

Edition

Proceedings of the Institute for System Programming, vol. 17 (in Russian), 2009, Стр. 193-208.

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

Full text of the paper in pdf (in Russian) Back to the contents of the volume