Systems and Means of Informatics

2015, Volume 25, Issue 1, pp 74-88

ANALYSIS OF UCM-MODEL COVERAGE BY TEST SCENARIOS

N. Voinov
P. Drobintsev
I. Nikiforov
V. Kotlyarov

Abstract

The article observes approaches to analysis of UCM-models coverage by test scenarios generated based on integral coverage criteria. Existing criteria for automatic generation of test scenarios from high-level UCM-specifications are reviewed. Two approaches to analysis of UCM-model coverage are proposed: the automatic one which provides information about covered and uncovered elements, branches, and paths in one view, and the visual one which allows the user to explicitly make sure that a UCM-model is covered by test scenarios. The described approaches are implemented in the analysis tool which significantly reduces the time needed to create a test set which covers an UCM-model. Future plans on coverage analysis improvement are also mentioned.

[+] References (16)

User requirements notation (URN). ITU-T Recommendation Z.151, 10/2012. Available at: http://www.itu.int/rec/T-REC-Z.151-201210-I/en (accessed April 2, 2015).
Veselov, A.O., A. S. Ivanov, B.V. Tyutin, and V.P. Kotlyarov. 2009. Avtomatizatsiya testirovaniya telekommunikatsionnykh prilozheniy [Test automation of telecommunication applications]. Nauchno-Tehnicheskie Vedomosti SPbSPU [St. Petersburg State Polytechnical University J.]. 80(3):208-212.
Amyot, D. 2001. Specification and validation of telecommunication system with Use Case Maps and LOTOS. Ottawa, Canada: University of Ottawa. PhD Thesis. 128 p.
Bordeleau, F. 1999. A systematic and traceable progression from scenario models to communicating hierarchical state machines. Ottawa, Canada: Carleton University. PhD Thesis. 389 p.
Sales, I. 2001. A bridging methodology for Internet protocols standards development. Ottawa, Canada: School of Information Technology and Engineering. PhD Thesis. 119 p.
Visovitin, N.V., and V.A. Nepomnyashchiy. 2012. Algoritmy translyatsii UCM- spetsifikatsiy v raskrashennye seti Petri [Algorithms ofUCM-specifications translation into marked Petri nets]. Novosibirsk: A. P. Ershov Institute of Informatics Systems. 56 p.
Letichevskiy, A.A. Verifikatsiya i testirovanie interaktivnykh system, spetsifitsirovannykh bazovymi protokolami [Verification and testing of interactive systems specified with basic protocols]. Kiev. DSc Thesis. 138 p.
Message Sequence Chart (MSC). ITU Recommendation Z.120, 11/99. Available at: http://www.itu.int/ITU-T/studygroups/com10/languages/Z.120 1199.pdf (accessed April 1, 2015).
Letichevsky, A., J. Kapitonova, A. Letichevsky, Jr., V. Volkov, S. Baranov, and T. Weigert. 2005. Basic protocols, message sequence charts, and the verification of requirements specifications. Comput. Netw. 49(5):661-675.
Beizer, B. 1990. Software testing techniques. 2nd ed. New York, NY, USA: Van Nostrand Reinhold Co. 550 p.
Drobintsev, P.D., I.V. Nikiforov, and V.P. Kotlyarov. 2013. Metodika proektirovaniya testov slozhnykh programmnykh kompleksov na osnove strukturirovannykh UCM-modeley [Methods of creating tests for complex software based on structured UCM-models].Nauchno-Tehnicheskie Vedomosti SPbSPU [St. Petersburg State Poly- technical University J.] 174(3):99-105.
Kolchin, A.V. 2008. Metod napravleniya poiska i generatsii testovykh stsenariev pri verifikatsii formal'nykh modeley asinkhronnykh sistem [Method of guided search and test scenarios generation for verification of formal models of asynchronous systems]. Problemy Programmirovaniya [Issues of Programming] 4:5-12.
Baranov, S. N., and V. P. Kotlyarov. 2011. Formalnaya model' trebovaniy, is- pol'zuemaya v protsesse generatsii koda prilozheniya i koda testov [Formal model of requirements used during application and tests code generation]. Modelirovanie i Analiz Informatsionnykh System [Modeling and Analysis of Informational Systems] 18(4):118-130.
Drobintchev, P., V. Kotlyarov, and I. Nikiforov. 2013. Technology aspects of state explosion problem resolving for industrial software design. 7th Spring/Summer Young Researchers' Colloquium on Software Engineering Proceedings. Kazan. 46-51.
Drobintsev, P.D., I.V. Nikiforov, and V. P. Kotlyarov. 2013. Semantics adjustment of UCM real time constructions for implementation in translator of UCM to basic protocols. Humanities Science University J. 5:207-215.
Nikiforov, I.V. 2013. Metody avtomatizatsii postroeniya povedencheskoy modeli programmnogo produkta na osnove UCM-spetsifikatsiy [Automation methods of software product behavioral model creation based on UCM-specifications]. St. Petersburg: SPbSPU. DSc Thesis. 205 p.

[+] About this article