You are here: UCM Web>UCMVirtualLibrary>VirLibSPbSPU2013b (03 Apr 2014)


Описана методика тестирования, основанная на применении структуризации к формальной модели разрабатываемого программного комплекса. В рамках методики описаны подходы и критерии структуризации, а также приведен пример автоматической генерации тестов на основе структурированной модели. Предлагаемая методика позволяет существенно упростить процесс анализа формальной модели и обеспечивает возможность автоматической генерации тестов под контролем пользователя.

(English abstract) The paper describes a technique of software testing based on structurization of formal model. In the scope of the technique approaches and criterions of structurization are described. An example of automated tests generation is shown. Suggested technique allows to resolve problems of formal model understanding and gives an opportunity of automated tests generation with usage of branch coverage criterion.

-- Daniel Amyot - 03 Apr 2014


Form For Virtual Library edit

Title Методика проектирования тестов сложных программных комплексов на основе структурированных UCM моделей (Formal Models Structurization Based Technique of Complex Software Projects Testing, in Russian)
Authors P.D. Drobintsev, I.V. Nikiforov, and V.P. Kotliarov
Type Journal
Conference/Journal Title SPbSPU Journal. Computer Science. Telecommunication and Control Systems
Volume/Number 3(174)
Publisher St. Petersburg State Polytechnical University
Month -
Year 2013
Pages 99-104
Keywords UCM, structurization, coverage, testing, jUCMNav
Topic revision: r1 - 03 Apr 2014 - 14:02:29 - Daniel Amyot
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