The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Jun. 11, 2019
Filed:
Feb. 26, 2015
The Mathworks, Inc., Natick, MA (US);
Yit Phang Khoo, Natick, MA (US);
John P. Dirner, Roslindale, MA (US);
S. M. Shahed Nejhum, Framingham, MA (US);
Gregg P. Smith, Medfield, MA (US);
Vijaya Raghavan, Brookline, MA (US);
Kalyan Bemalkhedkar, Needham, MA (US);
Krishna Balasubramanian, Wellesley, MA (US);
The MathWorks, Inc., Natick, MA (US);
Abstract
Systems and methods automatically construct a harness model having a selected component from source model. The systems and methods determine an execution context of the component in the source model, and construct and configure the harness model to provide the same or an equivalent execution context in the harness model. Model elements may be added to the harness model, and the model elements may be configured to replicate the execution context. The harness model may be executed, and the operation of the component evaluated. Changes to the component are synchronized between the source model and the harness model, as are changes to the component's execution context. Assessment operations may be included in the harness model, and these assessment operations may be evaluated when the harness model is executed. A verification report that includes the results of the assessments may be generated.