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

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

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

Full description

Bibliographic Details
Main Author: С.Г. Грошев
Format: Article
Language:English
Published: Ivannikov Institute for System Programming of the Russian Academy of Sciences 2006-01-01
Series:Труды Института системного программирования РАН
Online Access:https://www.ispras.ru/en/proceedings/isp_9_2006/isp_9_2006_67/
id doaj-e6c00728367448d386b8b2af6d4a3dec
record_format Article
spelling doaj-e6c00728367448d386b8b2af6d4a3dec2020-11-25T02:21:53Zeng Ivannikov Institute for System Programming of the Russian Academy of SciencesТруды Института системного программирования РАН2079-81562220-64262006-01-0196782Применение технологии UniTesK для тестирования систем с различной конфигурацией активных потоков управления.С.Г. ГрошевВ данной статье проведена классификация тестируемых систем в соответствии с видом конфигурации активных потоков и рассмотрены особенности тестирования систем из каждого класса с помощью технологии UniTesK. Рассмотрены способы применения технологии UniTesK для тестирования без собственных активных потоков теста, которые ранее не рассматривались. Приведены некоторые способы уменьшения при моделировании недетерминизма поведения, которые позволяют привести тестируемую систему к виду, допускающему тестирование с помощью UniTesK.https://www.ispras.ru/en/proceedings/isp_9_2006/isp_9_2006_67/
collection DOAJ
language English
format Article
sources DOAJ
author С.Г. Грошев
spellingShingle С.Г. Грошев
Применение технологии UniTesK для тестирования систем с различной конфигурацией активных потоков управления.
Труды Института системного программирования РАН
author_facet С.Г. Грошев
author_sort С.Г. Грошев
title Применение технологии UniTesK для тестирования систем с различной конфигурацией активных потоков управления.
title_short Применение технологии UniTesK для тестирования систем с различной конфигурацией активных потоков управления.
title_full Применение технологии UniTesK для тестирования систем с различной конфигурацией активных потоков управления.
title_fullStr Применение технологии UniTesK для тестирования систем с различной конфигурацией активных потоков управления.
title_full_unstemmed Применение технологии UniTesK для тестирования систем с различной конфигурацией активных потоков управления.
title_sort применение технологии unitesk для тестирования систем с различной конфигурацией активных потоков управления.
publisher Ivannikov Institute for System Programming of the Russian Academy of Sciences
series Труды Института системного программирования РАН
issn 2079-8156
2220-6426
publishDate 2006-01-01
description В данной статье проведена классификация тестируемых систем в соответствии с видом конфигурации активных потоков и рассмотрены особенности тестирования систем из каждого класса с помощью технологии UniTesK. Рассмотрены способы применения технологии UniTesK для тестирования без собственных активных потоков теста, которые ранее не рассматривались. Приведены некоторые способы уменьшения при моделировании недетерминизма поведения, которые позволяют привести тестируемую систему к виду, допускающему тестирование с помощью UniTesK.
url https://www.ispras.ru/en/proceedings/isp_9_2006/isp_9_2006_67/
work_keys_str_mv AT sggrošev primenenietehnologiiuniteskdlâtestirovaniâsistemsrazličnojkonfiguraciejaktivnyhpotokovupravleniâ
_version_ 1724864869437538304

Similar Items