Abstract

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

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

-- DanielAmyot - 03 Apr 2014

Discussion

FormForVirtualLibrary 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)
Editors
Publisher St. Petersburg State Polytechnical University
Month -
Year 2013
Pages 99-104
DOI
Keywords UCM, structurization, coverage, testing, jUCMNav
Topic revision: r1 - 03 Apr 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