Analysis of UCM-model coverage by test scenarios

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.