金宝app仿真软件检查
测量设计质量,跟踪验证活动,并验证符合标准
金宝app模型检查™模型分析、需求和测试来评估设计质量和符合标准。它提供了业界公认的检查和指标,确定建模标准和准则违反设计。金宝app高度集成支持软件开发标准包括ISO 26262, - 178 c - 254, IEC 61508、ISO 25119、IEC 62304, MathWorks顾问委员会(MAB)风格指南。金宝app模型检查还支持安全编码标准如C金宝appERT C, CWE, ISO / IEC TS 17961。您可以创建自定义检查符合自己的标准或指导方针,在编辑器中可以确定合规问题。
金宝app模型检查提供了评估指标,如大小和复杂性的地位和质量您的设计。模型试验仪表板合并数据从您的基于需求的测试活动跟踪测试状态。自动模式重构可以取代建模克隆,降低设计的复杂性,并确定可重用的内容。模型切片机工具隔离有问题的行为模型和生成简化模型进行调试。
金宝app支持行业标准可以通过IEC认证工具包(ISO 26262和IEC 61508)和做资格工具包(- 178)。
测量模型的质量指标
收集模型度量评估模型的体系结构、复杂性和可读性符合ISO 26262, c - 178, - 331, - 254, IEC 61508、IEC 62304、50128,和其他标准。集成指标如模型大小、行代码,指导地位合规、重用和复杂性在单个视图。
产品资源:
“我们用我们的系统设计模型在仿真软件ARP4754建立稳定、客观需求。金宝app我们节省时间,使用模型作为我们的软件设计模式的基础- 178我们生成的飞行区号为软件重用验证测试验证。”
罗纳德•Blanrue空客直升机
