Model coverage analysis on user application definition files

A method comprising:

• generating a binary model file containing information for a design model, wherein the binary model file is produced by a non-qualified tool from the design model that is created from a software specification;
• performing a model coverage test of the design model;
• logging accessed data from the binary model file into a logged textual file;
• accessing the logged textual file and a canonical textual file, wherein the canonical textual file contains expected log data, manually generated data, and reviewed data;
• performing a comparison of the canonical textual file versus the logged textual file;
• and
• generating a coverage report based on the comparison of the canonical textual file to the logged textual file.

A system comprising:

• one or more memory devices;
• and
• one or more processors, wherein the one or more processors are configured to:
• execute a qualified tool, wherein the qualified tool is configured to generate a binary model file from a design model;
• perform a model coverage test of the design model;
• log accessed data from the binary model file into a logged binary file;
• access the binary model file and the logged binary file;
• perform a comparison of the binary model file to the logged binary file;
• and
• generate a coverage report based on the comparison of the binary model file to the logged binary file.