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.

Discussion

  • Please feel free to discuss this article directly on this page. Constructive comments are welcomed! Please sign your TWiki name.

FormForVirtualLibrary edit

Title Traversal of arbitrary sequences of UCM symbolic transitions for test generation
Authors A. Guba
Type Journal
Conference/Journal Title Methods and tools for software engineering
Volume/Number Problems programming. 2014. № 2-3. Special Issue.
Editors
Publisher National Library of Ukraine Vernadsky
Month -
Year 2014
Pages 107-111
DOI
Keywords UCM
Topic revision: r1 - 11 Aug 2014, DanielAmyot
This site is powered by FoswikiCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Foswiki? Send feedback