Proceedings of ISP RAS


Применение технологии UniTesK для тестирования систем с различной конфигурацией активных потоков управления.

С.Г. Грошев.

Abstract

В данной статье проведена классификация тестируемых систем в соответствии с видом конфигурации активных потоков и рассмотрены особенности тестирования систем из каждого класса с помощью технологии UniTesK.

Рассмотрены способы применения технологии UniTesK для тестирования без собственных активных потоков теста, которые ранее не рассматривались.

Приведены некоторые способы уменьшения при моделировании недетерминизма поведения, которые позволяют привести тестируемую систему к виду, допускающему тестирование с помощью UniTesK.

Edition

Proceedings of the Institute for System Programming, vol. 9 (in Russian), 2006, Стр. 67-82.

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

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