Coverage methods in IDEF-0 models verification

Today’s model driven development of complex software designs requires reliable verification methods. This paper presents metrics of simulation testing and they application in models verification context.