Traversal of arbitrary sequences of UCM symbolic transitions for test generation

dc.contributor.author	Guba, A.A.
dc.date.accessioned	2017-02-04T17:48:45Z
dc.date.available	2017-02-04T17:48:45Z
dc.date.issued	2014
dc.identifier.citation	Traversal of arbitrary sequences of UCM symbolic transitions for test generation / A.A. Guba // Проблеми програмування. — 2014. — № 2-3. — С. 107-111. — Бібліогр.: 17 назв. — англ.	uk_UA
dc.identifier.issn	1727-4907
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/113221
dc.description.abstract	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.	uk_UA
dc.description.abstract	Запропоновано метод обходу високорівневих багатопотокових моделей, які формалізовані мовою UCM. Розглядаються переваги та недоліки даного підходу у порівнянні з існуючими. Представлений метод дозволяє обходити простір станів моделей UCM, використовуючи символьне розв’язання та доведення. Описана генерація символьних трас, які використовуються для тестування програмних систем.	uk_UA
dc.language.iso	en	uk_UA
dc.publisher	Інститут програмних систем НАН України	uk_UA
dc.relation.ispartof	Проблеми програмування
dc.subject	Методи та засоби програмної інженерії	uk_UA
dc.title	Traversal of arbitrary sequences of UCM symbolic transitions for test generation	uk_UA
dc.type	Article	uk_UA
dc.status	published earlier	uk_UA
dc.identifier.udc	004.415.5