Metric proposal for system testing models verification for safety critical systems

The main goal of this article is the verification of the system testing models for safety critical systems. The proposal is focused on selection of appropriate metric for verification of these models. Proposed metric is based on standard metrics for software systems and is defined according to ISO 9126 standard. Our proposal captures the process of metric definition and demonstrates the usability of the proposed metric on performance testing model.