公开(公告)号：US09639332B2

公开(公告)日：2017-05-02

申请号：US14702230

申请日：2015-05-01

Applicant: The MathWorks, Inc.

Inventor： Peter S. Szpak

IPC: G06F9/44

CPC classification number: G06F8/34

Abstract: Graphical programming or modeling environments in which a coding standard can be applied to graphical programs or models are disclosed. The present invention provides mechanisms for applying the coding standard to graphical programs/models in the graphical programming/modeling environments. The mechanisms may detect violations of the coding standard in the graphical model and report such violations to the users. The mechanisms may automatically correct the graphical model to remove the violations from the graphical model. The mechanisms may also automatically avoid the violations in the simulation and/or code generation of the graphical model.

公开(公告)号：US20140122026A1

公开(公告)日：2014-05-01

申请号：US13662529

申请日：2012-10-28

Applicant: The Mathworks, Inc.

Inventor： Robert O. Aberg ,  Peter S. Szpak ,  Andrew C. Grace

IPC: G06F17/50

CPC classification number: G06F17/5009

Abstract: A system and method automatically ensures consistency among a design model and one or more test models that test the design model. The system may include a broker adapted to construct an interface specification. The interface specification identifies the interface of the design model, e.g., its external inputs, external outputs, and initialization states. It may also identify the outputs, inputs, and initialization setting objects of the test models. Proposed changes to the design model's interface may be captured by the broker, and applied to the design model and to the test models atomically. Proposed changes to a given test model that implicate the design model's interface also may be captured, and applied to the given test model, the other test models, and the design model atomically. Default behaviors may be defined for applying the proposed changes to the other test models and the design model.

Abstract translation: 系统和方法自动确保设计模型与测试设计模型的一个或多个测试模型之间的一致性。 系统可以包括适于构造接口规范的代理。 接口规范识别设计模型的接口，例如其外部输入，外部输出和初始化状态。 它还可以识别测试模型的输出，输入和初始化设置对象。 建议对设计模型界面的更改可能由经纪人捕获，并以原子方式应用于设计模型和测试模型。 可能会捕获到暗示设计模型界面的给定测试模型的建议更改，并以原子方式应用于给定测试模型，其他测试模型和设计模型。 可以定义默认行为，以将建议的更改应用于其他测试模型和设计模型。