Применение технологии UniTesK для тестирования систем с различной конфигурацией активных потоков управления.
В данной статье проведена классификация тестируемых систем в соответствии с видом конфигурации активных потоков и рассмотрены особенности тестирования систем из каждого класса с помощью технологии UniTesK. Рассмотрены способы применения технологии UniTesK для тестирования без собственных активных...
| 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/ |
| _version_ | 1848651451361918976 |
|---|---|
| author | С.Г. Грошев |
| author_facet | С.Г. Грошев |
| author_sort | С.Г. Грошев |
| collection | DOAJ |
| container_title | Труды Института системного программирования РАН |
| description | В данной статье проведена классификация тестируемых систем в соответствии с видом конфигурации активных потоков и рассмотрены особенности тестирования систем из каждого класса с помощью технологии UniTesK.
Рассмотрены способы применения технологии UniTesK для тестирования без собственных активных потоков теста, которые ранее не рассматривались.
Приведены некоторые способы уменьшения при моделировании недетерминизма поведения, которые позволяют привести тестируемую систему к виду, допускающему тестирование с помощью UniTesK. |
| format | Article |
| id | doaj-e6c00728367448d386b8b2af6d4a3dec |
| institution | Directory of Open Access Journals |
| issn | 2079-8156 2220-6426 |
| language | English |
| publishDate | 2006-01-01 |
| publisher | Russian Academy of Sciences, Ivannikov Institute for System Programming |
| record_format | Article |
| spelling | doaj-e6c00728367448d386b8b2af6d4a3dec2025-11-03T00:49:37ZengRussian Academy of Sciences, Ivannikov Institute for System ProgrammingТруды Института системного программирования РАН2079-81562220-64262006-01-0196782Применение технологии UniTesK для тестирования систем с различной конфигурацией активных потоков управления.С.Г. ГрошевВ данной статье проведена классификация тестируемых систем в соответствии с видом конфигурации активных потоков и рассмотрены особенности тестирования систем из каждого класса с помощью технологии UniTesK. Рассмотрены способы применения технологии UniTesK для тестирования без собственных активных потоков теста, которые ранее не рассматривались. Приведены некоторые способы уменьшения при моделировании недетерминизма поведения, которые позволяют привести тестируемую систему к виду, допускающему тестирование с помощью UniTesK.https://www.ispras.ru/en/proceedings/isp_9_2006/isp_9_2006_67/ |
| spellingShingle | С.Г. Грошев Применение технологии UniTesK для тестирования систем с различной конфигурацией активных потоков управления. |
| title | Применение технологии UniTesK для тестирования систем с различной конфигурацией активных потоков управления. |
| title_full | Применение технологии UniTesK для тестирования систем с различной конфигурацией активных потоков управления. |
| title_fullStr | Применение технологии UniTesK для тестирования систем с различной конфигурацией активных потоков управления. |
| title_full_unstemmed | Применение технологии UniTesK для тестирования систем с различной конфигурацией активных потоков управления. |
| title_short | Применение технологии UniTesK для тестирования систем с различной конфигурацией активных потоков управления. |
| title_sort | применение технологии 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â |