Analysis of UCM-model coverage by test scenarios

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

Saint-Petersburg State Polytechnical University, 9 Polytechnicheskaya Str., St. Petersburg 195251, Russian Federation

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.

Keywords: test generation criteria; test scenarios; UCM; specifications; analysis.

Received: 30.01.2015

DOI: 10.14357/08696527150105

Bibliographic databases:

•