主页>产品介绍>SCADE Display>模型级的V&V

模型级的V&V

SCADE Display人体工学检查器

SCADE Display人体工学检查器使得我们的需求在建模与设计阶段就能与方法学,命名规则,图形设计法则相一致。

通过SCADE Display人体工学检查器,能够自动检查一整套规则,并加以修正。所包含的规则有:

  • 方法学:需求说明表规则(检查现在的需求说明表的颜色,线宽,线的样式是否与参考规则一致),层率规则(检查目前的层率是否与默认维数值相一致)等等。
  • 命名:对象命名规则,对象命名唯一性原则等等。
  • 图形设计优化:对象重叠规则(检查无论输入量为何值,都没有对象被完全覆盖),线优化准则(必要的时候用断线而不是用几条线来代替),对象颜色规则(不存在两个对象拥有相同的外形与颜色)等等。
Expand Image SCADE Display Model Corrector

SCADE Display模型修正器

这一强大的模块能够给用户提出改进意见,优化图形设计,避免对图形库的无效调用,优化了所生成代码的性能。

用作参考的检查目录可以交互式地定义与保存。

Expand Image Model Checker Checklist

模型检查器检查列表

模型检查报告给出了所有发现的警告与错误,检查列表报告给出了未检查到的规则。

快速需求仿真

通过一个简单直观GUI,SCADE Display在无需编写复杂测试用例的情况下就可进行快速需求仿真。

Expand Image Rapid Simulation of a Multi-screen Display

多屏联合快速仿真

© 1999–2008 Esterel Technologies, Inc. All rights reserved.