Verification harness for automatically generating a text-based representation of a graphical model

摘要

A system and method automatically generates an object-oriented, textual program from a graphical model, and verifies the performance of the textual program as compared to the graphical model. The graphical model may have a plurality of interconnected blocks, and each block may have a plurality of parameters. One or more of the blocks are mapped to a system object, and the block's parameters are mapped to properties of the system object. An object-oriented, executable textual string is generated automatically for the block. The generated string includes at least one command to: instantiate a system object having functionality that matches the block; set one or more properties of the system object based on the block's parameters; and run the instantiated object.

主权项

1. A method comprising:
storing, in a memory:
a graphical model having:
a plurality of interconnected, executable graphical blocks, where:
each graphical block of the graphical model has one or more graphical block parameters, and at least one of the executable graphical blocks is a target graphical block, anda data structure storing block parameters and object properties; receiving an identification of the target graphical block; identifying occurrences of the target graphical block in the graphical model; retrieving, for each occurrence of the target graphical block in the graphical model, the one or more graphical block parameters; mapping the one or more graphical block parameters retrieved for the respective occurence of the target graphical block to respective object properties using the data structure; generating, for each occurrence of the target graphical block in the graphical model, an object-oriented, executable textual string that includes at least one command to:
instantiate an object having functionality that matches the target graphical block,set one or more properties of the instantiated object based on the one or more graphical block parameters retrieved for the respective occurrence of the target graphical block, andrun the instantiated object, the generating performed automatically by a processor coupled to the memory; executing each generated textual string to produce at least one object output; executing the graphical model to produce at least one model output; comparing the at least one object output with the at least model output; and verifying the textual string generated for each occurrence of the target graphical block based on the comparing.