产品介绍
StyleChecker —减少模型检查时间
缩短检查时间和改善软件质量并不冲突
产品优势
• 改善软件质量
• 节省时间80%以上
• 直观操作
• MAAB和TargetLink指南也可被检查(集成的指南)
• 企业指定的指南也可被集成
使用最新的StyleChecker,可以大幅减少Simulink, TargetLink和Stateflow模型的检查时间。手动模型检查即费时又容易出错,这些已经成为过去。
直观操作
面向用户的菜单导航,使用户可以快速熟悉产品并且生成结果。
• 开放的模型
• 运行StyleChecker
• 开始模型检查
• 查看/校核报告
自动报告生成
全自动生成设计检查报告,StyleChecker可以生成工程管理和质量管理必需的报告文件:
• HTML报告
• Metrics on the checks carried out
• 规则检查列表
• 面向工程的错误描述
集成规则定制
• 自由修改规则(采用对话框格式)
• 集成您自己的规则
• 与CMMI或者SPICE集成
• 管理员通过菜单也可以修改规则。针对每一个任务,完整的检查变更都会被记录。
• 一次创建,永远使用
修复功能
重复错误、复制和粘贴错误以及其他的错误都会被识别 ,并且都可以被立即纠正:
• 快速修复
HTML报告提供了一种可选功能:通过点击鼠标就可以快速定位到错误位置,这样就节省了查找错误的时间和资源。
• 自动修复
使用自动修复功能,错误可以被自动清除。用户可以自由指定那些错误可以被自动修复。