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


Тестирование конформности на основе соответствия состояний.

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

Аннотация

Статья посвящена тестированию соответствия (конформности) реализации требованиям спецификации. Идея безопасного тестирования, предложенная авторами для конформности, основанной на трассах наблюдений, распространяется на случай (слабой) симуляции – конформности, основанной на соответствии состояний реализации и спецификации. Строится теория безопасной симуляции и ее тестирования. Предлагаются общий алгоритм полного тестирования и его модификация для практического применения, опирающаяся на некоторые ограничения на реализацию и спецификацию.

Ключевые слова

тестирование конформности, слабая симуляция, безопасное тестирование, отказы.

Издание

Труды Института системного программирования РАН, том 18, 2010, стр. 183-220.

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

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