主页>产品介绍>SCADE Suite>模型比较器
SCADE 模型比较器
SCADE模型能帮助用户分析和显示两个SCADE模型之间的不同语义:这个工具可用于比较两个不同的模型或同一模型的不同版本,例如,突出显示模型被修改的部分(对转包商或另一个团队而言,这是有用的信息)。对于确定的SCADE模型,可以容易地定位模型之间的语义差异并生成模型差异报告。
SCADE GUI 中的模型比较器
SCADE Suite能够分析出两个模型之间的差异。分析是基于语义的,同时忽略绘图的差异(如,由于移动和调整操作或标记修改)。不过注释仍需分析。SCADE可以将差异分为四类,分别为添加,删除,改变,移动。模型比较的结果可经过输出窗口和Diff窗口显示出来。
Diff标签页
不同的对象呈现在输出窗口的Diff标签页中。通过Diff标签页,能很容易地在SCADE模型中进行定位。
Diff窗口
Diff窗口将显示在Diff标签页中差异的具体内容,对象的显示保留了层次信息,并带有所有语义属性,以便用于比较分析。如果出现不同之处,将以不同颜色表示。当定位改变的或移动的对象时,SCADE将在Diff窗口内显示需要用户进行比较的两个对象。当定位添加的或删除的对象时,Diff窗口内只有左栏或右栏有具体的内容。
定位:
双击显示在Diff标签页或Diff窗口内的信息,就可在SCADE模型总进行定位。
生成报告
通过分析两个SCADE模型之间语义的差异,差异报告可以清晰地生成完整的报告,并以容易理解的方式和正式地描绘所有的差异。
这一文档包含了模型比较的语义差异的列表。差异报告分段落描述SCADE工程中的各个对象,例如常量块、类型块、操作符、库文件等。每一个差异都准确地描述,表明了具体差异之处。我们提供超链接,以便在模型中快速定位相应的差异位置。




