Requirement coverage criteria for test cases generated from applications’ behavioral models

A key problem for testing of a software product is how to certify that the semantics of its requirements is adequately realized in the given implementation, or alternatively to find a series of concrete counter-examples demonstrating the violation of particular requirements. This paper formulates approach to coverage criteria to determine the adequacy of a test suite. The suggested approach to testing was validated in a number of medium and large size industrial projects.