万博1manbetx仿真软件检查
测量设计质量,跟踪验证活动,并验证符合标准
万博1manbetx模型检查™模型分析、需求和测试来评估设计质量和符合标准。它提供了业界公认的检查和指标,在开发过程中识别建模标准和准则违反。万博1manbetx高度集成支持软件开发标准包括ISO 26262, - 178 c - 254, IEC 61508、ISO 25119、IEC 62304, MathWorks顾问委员会(MAB)风格指南。万博1manbetx模型检查还支持安全编万博1manbetx码标准如CERT C, CWE, ISO / IEC TS 17961。您可以创建自定义检查符合自己的标准或指导方针。当你编辑编辑时间检查确定合规问题。
万博1manbetx模型检查提供了评估指标,如大小和复杂性的地位和质量您的设计。模型试验仪表板合并数据从您的基于需求的测试活动跟踪测试状态。自动模式重构可以取代建模克隆,降低设计的复杂性,并确定可重用的内容。 模型切片机工具隔离有问题的行为模型和生成简化模型进行调试。
万博1manbetx支持行业标准可以通过IEC认证工具包(ISO 26262和IEC 61508)和做资格工具包(- 178和- 254)做。
开始:
现成的检查高度集成开发软件
改善的质量和安全模型和生成的代码,模型检查提供预配置检查符合行业标准,如ISO 26262 - 178 C, - 331, - 25万博1manbetx4, IEC 61508、ISO 25119、和EN 50128以及MISRA - C: 2012年,MathWorks顾问委员会(MAB)指南,IEC 62304标准高度集成开发软件,和证书等安全编码标准C, CWE, ISO / IEC TS 17961。
交互式报告结果和建议的行为。
识别并修复错误编辑
就像拼写检查可以帮助你避免拼写错误在文档,编辑时间检查通知你侵犯的编辑模式。你可以纠正错误去减少返工和额外的测试在开发过程的后期。
检测并修复合规问题在设计与编辑时间检查。
检查配置、定制和自动模式
确保您的模型符合您的组织的标准或指南,您可以定制建模和配置使用模型检查顾问顾问配置编辑器api或模型。你可以在多台机器上运行检查并行加速合规验证。
创建自定义使用模型检查顾问配置编辑器。
检查是否符合安全标准
减少合规问题在生成的代码中CWE CERTC, ISO / IEC TS 17961,你可以检查你的模型来识别建模结构,可能会引入编码标准遵从性侵犯。编辑时间检查可以确定问题等进行更改的一块不建议用于安全的编码标准。
检测块可能会减少安全编码标准遵从性生成的代码。
基于需求的测试指标
模型试验仪表板概述了基于需求的测试和反映的质量和完整性准则在软件开发行业认可的标准,如ISO 26262 - 178。它形成一个数字螺纹工件之间等项目来自多个源的要求,模型,测试和测试结果,分析他们的一致性和完整性,并提供了详细的指标测量状态。
仪表盘总结每个指标快速评估当前的测试结果,包括遵守指导方针,完成测试需求,要求被测试覆盖的百分比。
审查和管理基于需求的测试工件
仪表盘模型试验分析了构件和可追溯性的链接在你的项目,显示了功能需求,测试用例,测试结果为每个组件面板在您的项目工件。帮助你识别差距实现或验证,工件没有可追溯性模型突出显示。
仪表板显示你哪些工件没有追踪到项目中的一个组件。
评估测试完整性依照ISO 26262
使用该模型测试仪表板来评估你的基于需求的测试活动的质量和完整性符合ISO 26262 - 6:2018。仪表板监控需求之间的可跟踪性、测试和测试结果。分析了实现和验证工件在您的项目,并提供完整性和质量标准的基于需求的测试用例和测试结果符合ISO 26262 - 6:2018。仪表板组织需求、测试用例和测试结果的模型,他们跟踪,为您提供洞察每个单元的测试完整性和结构覆盖。
单击仪表板小部件来查看详细的指标表中对ISO 26262的评论。
收集模型指标来衡量质量
万博1manbetx模型检查收集模型度量,您可以用它来评估模型的架构,复杂性,和可读性符合ISO 26262 - 178 c, - 331, - 254, IEC 61508、IEC 62304,在50128年,和其他标准。
收集和定制模型指标来评估质量。
使用仪表板视图综合指标
仪表盘指标集指标如模型大小、行代码,指导地位的依从性,重用,在单一视图和复杂性,为你提供洞察你的项目的质量。使用仪表板审查你的设计和质量符合标准模型审查过程中。
仪表盘指标的整合视图设计状态。
突出的依赖性
模型切片机使用静态依赖分析强调相互依赖关系的块,信号和模型组件和动态依赖关系分析基于活跃行为仿真,以帮助您更好地理解函数依赖在大型或复杂的模型。
调试设计错误或测试失败
当一个测试失败在仿真软件测试™或财产违反™万博1manbetx标识在仿真软件设计匹配器,启动调试与模型切片机隔离错误的原因和解决问题的速度更快。
创建独立的模型简化
模型切片机可以隔离部分模型的基于用户指定的起始点,记录信号或模拟时间窗口并将其保存为一个小模型,保存模拟行为来帮助调试和改进性能。
强调模型的一部分,可以切成一个简化的模型进行调试。
基于活动的时间与Stateflow切片
模型强调可以限制仿真时间间隔只有在Stateflow选中的状态和转换®同时活跃在模拟孤立感兴趣的行为。
确定活动逻辑状态时活动。
识别和重构建模克隆
识别建模克隆工具分析模型定位重复建模模式。这些复制克隆可以自动重构一个可重用的库来提高可维护性和降低设计的复杂性。
变换模型来提高组件的可重用性和模型的可读性
模型变压器工具识别建模模式,可以转化为变异源或变体子系统模块和重构模型的改进模型组件化和可重用性。它可以识别的数据存储块可以被消除,以提高可读性。
找到建模模式,可以使用变量替换。
