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

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

Full description

Bibliographic Details
Published in:Труды Института системного программирования РАН
Main Author: С.Г. Грошев
Format: Article
Language:English
Published: Russian Academy of Sciences, Ivannikov Institute for System Programming 2006-01-01
Online Access:https://www.ispras.ru/en/proceedings/isp_9_2006/isp_9_2006_67/