Traversal of arbitrary sequences of UCM symbolic transitions for test generation

• Veröffentlicht in: Проблеми програмування
• Datum: 2014
• 1. Verfasser: Guba, A.A.
• Format: Artikel
• Sprache: Englisch
• Veröffentlicht: Інститут програмних систем НАН України 2014
• Schlagworte: Методи та засоби програмної інженерії
• Online Zugang: https://nasplib.isofts.kiev.ua/handle/123456789/113221
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Zitieren: Traversal of arbitrary sequences of UCM symbolic transitions for test generation / A.A. Guba // Проблеми програмування. — 2014. — № 2-3. — С. 107-111. — Бібліогр.: 17 назв. — англ.

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...