[发明专利]用于验证模型等价性的系统和方法

摘要

本发明涉及用于验证模型等价性的系统和方法。提供了一种用于验证模型等价性的系统和方法。在一个实现中，一种系统包括：存储装置，存储参考模型(RM)以及比较模型(CM)，其中该CM和RM由一个规则集约束；以及处理单元，从RM生成参考模型表示(RMR)并将RMR存储在该存储装置上；该处理单元进一步从该比较模型(CM)生成比较模型表示(CMR)并将CMR存储在该存储装置上，其中，该处理单元进一步用于：验证CMR兼容地实现RMR；验证从CMR派生的CM数据流程图兼容地实现从RMR派生的RM数据流程图；以及验证每个CM语义单元实现对应于RM语义单元的行为以及每个RM语义单元在CM中被说明。

主权项

一种用于验证模型等价性的系统，该系统包括：至少一个存储装置(209)，被配置为存储参考模型(104)和比较模型(102)，其中该比较模型(102)和该参考模型(104)由相同规则集约束；以及处理单元(201)，被配置为从该参考模型(104)生成参考模型表示(142)并将该参考模型表示在该至少一个存储装置上；该处理单元(201)被进一步配置为从该比较模型(CM)(102)生成比较模型表示(140)并将该比较模型表示(140)存储在该至少一个存储装置上，其中，该处理单元(201)被进一步配置为：根据该相同规则集验证该比较模型表示(140)和该参考模型表示(142)是兼容的；验证派生自该比较模型表示(140)的比较模型(102)数据流程图和派生自该参考模型表示(142)的参考模型数据流程图彼此是兼容的；验证全部比较模型(102)语义单元实现对应于参考模型语义单元的预期行为；以及验证全部参考模型(104)语义单元都在该比较模型(102)中被说明。