News
Полное тестирование с открытым состоянием ограниченно недетерминированных систем.
Abstract
В статье представлен подход к формальному описанию тестирования в случае, когда тестовые семантики спецификации и реализации различаются. Для этого используется медиатор, осуществляющий преобразование спецификационных тестовых воздействий в реализационные и обратное преобразование реализационных наблюдений в спецификационные. Формально переопределяются условия тестирования и конформность. Также рассматривается тестирование с заданным преобразованием реализационных состояний в спецификационные. Определяются условия и способ построения теста, обнаруживающего все ошибки в реализации за конечное время.
Edition
Proceedings of the Institute for System Programming, vol. 17 (in Russian), 2009, Стр. 193-208.
ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).