Traversal of arbitrary sequences of UCM symbolic transitions for test generation
The paper proposes a method of traversal of high-level multi-threaded models formalized in UCM language. The pros and cons of this approach comparing to the existing ones are considered. The method that allows state space exploring of UCM models using symbolic solving and proving is presented. The g...
Збережено в:
| Опубліковано в: : | Проблеми програмування |
|---|---|
| Дата: | 2014 |
| Автор: | |
| Формат: | Стаття |
| Мова: | Англійська |
| Опубліковано: |
Інститут програмних систем НАН України
2014
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/113221 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Traversal of arbitrary sequences of UCM symbolic transitions for test generation / A.A. Guba // Проблеми програмування. — 2014. — № 2-3. — С. 107-111. — Бібліогр.: 17 назв. — англ. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862607044684546048 |
|---|---|
| author | Guba, A.A. |
| author_facet | Guba, A.A. |
| citation_txt | Traversal of arbitrary sequences of UCM symbolic transitions for test generation / A.A. Guba // Проблеми програмування. — 2014. — № 2-3. — С. 107-111. — Бібліогр.: 17 назв. — англ. |
| collection | DSpace DC |
| container_title | Проблеми програмування |
| description | The paper proposes a method of traversal of high-level multi-threaded models formalized in UCM language. The pros and cons of this approach comparing to the existing ones are considered. The method that allows state space exploring of UCM models using symbolic solving and proving is presented. The generation of symbolic traces used for software system testing is described.
Запропоновано метод обходу високорівневих багатопотокових моделей, які формалізовані мовою UCM. Розглядаються переваги та недоліки даного підходу у порівнянні з існуючими. Представлений метод дозволяє обходити простір станів моделей UCM, використовуючи символьне розв’язання та доведення. Описана генерація символьних трас, які використовуються для тестування програмних систем.
|
| first_indexed | 2025-11-28T13:30:03Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-113221 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | English |
| last_indexed | 2025-11-28T13:30:03Z |
| publishDate | 2014 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Guba, A.A. 2017-02-04T17:48:45Z 2017-02-04T17:48:45Z 2014 Traversal of arbitrary sequences of UCM symbolic transitions for test generation / A.A. Guba // Проблеми програмування. — 2014. — № 2-3. — С. 107-111. — Бібліогр.: 17 назв. — англ. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/113221 004.415.5 The paper proposes a method of traversal of high-level multi-threaded models formalized in UCM language. The pros and cons of this approach comparing to the existing ones are considered. The method that allows state space exploring of UCM models using symbolic solving and proving is presented. The generation of symbolic traces used for software system testing is described. Запропоновано метод обходу високорівневих багатопотокових моделей, які формалізовані мовою UCM. Розглядаються переваги та недоліки даного підходу у порівнянні з існуючими. Представлений метод дозволяє обходити простір станів моделей UCM, використовуючи символьне розв’язання та доведення. Описана генерація символьних трас, які використовуються для тестування програмних систем. en Інститут програмних систем НАН України Проблеми програмування Методи та засоби програмної інженерії Traversal of arbitrary sequences of UCM symbolic transitions for test generation Article published earlier |
| spellingShingle | Traversal of arbitrary sequences of UCM symbolic transitions for test generation Guba, A.A. Методи та засоби програмної інженерії |
| title | Traversal of arbitrary sequences of UCM symbolic transitions for test generation |
| title_full | Traversal of arbitrary sequences of UCM symbolic transitions for test generation |
| title_fullStr | Traversal of arbitrary sequences of UCM symbolic transitions for test generation |
| title_full_unstemmed | Traversal of arbitrary sequences of UCM symbolic transitions for test generation |
| title_short | Traversal of arbitrary sequences of UCM symbolic transitions for test generation |
| title_sort | traversal of arbitrary sequences of ucm symbolic transitions for test generation |
| topic | Методи та засоби програмної інженерії |
| topic_facet | Методи та засоби програмної інженерії |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/113221 |
| work_keys_str_mv | AT gubaaa traversalofarbitrarysequencesofucmsymbolictransitionsfortestgeneration |