Patent ID: 8234105

Claim:
A computing device-implemented method, comprising: receiving a model that graphically represents a design, where receiving the model is performed by the computing device; receiving code segments that represent primitive elements of the model, where receiving the code segments is performed by the computing device; generating, based on the model and the code segments, code corresponding to the model, the generated code including statements relating to coverage for the code and coverage for the model, where generating the code is performed by the computing device; generating mapping information that defines a correspondence between the coverage for the code and the coverage for the model, where generating the mapping information is performed by the computing device; running the model with one or more tests, where running the model is performed by the computing device; generating coverage data based on the running, where: the coverage data includes coverage data for the model, the coverage data includes coverage data for the code, and the generating is performed by the computing device; and providing the coverage data to a user, the coverage data including indications of correspondence between the coverage data for the model and the coverage data for the code, where: providing the coverage data is performed by the computing device, and the indications include a bipartite graph or a control flow graph.