主要内容

ISO 26262的评估基于需求的测试

您可以使用仪表板模型试验来评估你的基于需求的测试活动的质量和完整性符合ISO 26262 - 6:2018。仪表板促进这个活动通过监控需求之间的可跟踪性,测试,测试结果和通过提供测试和结构完整性的一个总结。仪表板分析实现和验证项目中的工件和提供:

  • 完整性和质量标准的基于需求的测试依照ISO 26262 - 6:2018 9.4.3条款

  • 基于需求的测试结果的完整性和质量指标根据ISO 26262 - 6:2018 9.4.4条款

  • 一个工件在项目列表,由单位组织的

评估你的基于需求的测试活动的完整性,按照这些自动化和手动审查步骤使用模型检测仪表板。

打开模型测试仪表板和收集度量结果

分析测试工件使用模型测试指示板:

  1. 打开一个项目,其中包含您的模型和测试工件。仪表板或加载一个例子项目,在MATLAB中®命令窗口中,输入:

    dashboardCCProjectStart (“不完整”)

  2. 打开仪表板。打开模型测试指示板,使用这些方法之一:

    • 项目选项卡上,单击模型试验仪表板

    • 在MATLAB命令行,输入:

      modelTestingDashboard

  3. 工件面板,仪表板组织构件(如需求、测试,测试结果在单位,他们跟踪。查看单位的度量结果cc_DriverSwRequest在示例项目中项目面板中,单击cc_DriverSwRequest。仪表板收集度量结果和填充的小部件为单位度量数据。

    请注意

    如果你不指定的模型被认为是单位,那么模型试验仪表板认为模型是一个单位如果没有引用其他模型。你可以控制哪些模型单元和组件的标签出现在您的项目和配置模型测试仪表板识别标签。有关更多信息,请参见指定模型组件和单位

模型试验单位cc_DriverSwRequest仪表板显示结果

仪表板小部件的可追溯性和完整性度量总结为每个单元测试工件。度量结果显示红色不一致的覆盖图标显示问题,你可能需要解决完成基于需求的测试。结果是兼容的,如果他们展示完整的可追溯性,测试完成,或模型的报道。看到合规指标阈值,指向覆盖图标。探索详细数据,点击单个度量小部件。选择的指标,一个表显示每个工件的工件和度量值。表提供了超链接打开工件,这样你可以得到详细的度量结果和修复问题的工件。关于使用模型测试仪表板的更多信息,见探索的状态和质量测试活动使用模型检测仪表板

测试评估

验证单元满足其需求,创建测试单位根据需求。ISO 26262 - 6,条款9.4.3要求测试单位源于需求。当你创建一个测试要求,添加一个可追溯性测试和需求之间的联系,描述链接要求测试(需求工具箱)而在建立需求跟踪测试(万博1manbetx仿真软件测试)。可追溯性允许您跟踪哪些需求被测试验证和识别模型不满足要求。9.4.3条款需要需求之间的可跟踪性和测试,对测试的正确性和完整性。评估的正确性和完整性测试单元,使用的指标测试分析模型的部分测试仪表板。

下面是一个示例清单提供给帮助审查测试的正确性和完整性对ISO 26262 - 6。对于每个问题,使用相应的仪表板执行评审活动指标和应用相应的修复。这个清单是一个例子,应该检查和修改,以满足应用程序的需求。

清单项目 评审活动 仪表盘指标 修复
1 -每个测试跟踪需求吗?

为单位检查,100%的测试与需求通过查看小部件中测试与需求部分。

测试与需求

计小部件显示比例的测试需求和小部件显示一个链接测试

度量ID -TestCaseWithRequirementDistribution

有关更多信息,请参见测试用例与需求分布

为每个链接测试,添加一个链接要求测试验证,所述解决基于需求的测试问题

2 -每个测试跟踪正确的需求吗?

对于每个测试,手动验证需求链接是正确的。单击测试需求小部件来查看表的测试。看到测试跟踪的要求,工件列,单击箭头左边的测试名称。

测试与需求

表的测试和相关要求

度量ID -TestCaseWithRequirement

有关更多信息,请参见测试用例与需求

为每一个链接到一个不正确的要求,删除链接。如果测试没有链接到正确的要求,添加正确的链接。

3 -做测试覆盖所有需求?

检查,100%的单元测试与测试的需求通过查看小部件中需求与测试部分。

需求与测试

计小部件显示比例的需求与测试和计算小部件显示链接的要求

度量ID -RequirementWithTestCaseDistribution

有关更多信息,请参见需求与测试用例分配

为每个链接要求,添加链接测试验证,所述解决基于需求的测试问题

4 -做测试用例定义预期的结果包括通过/失败标准? 手动检查每种类型的测试用例。点击小部件中测试的类型部分查看表为每种类型的测试用例:模拟,等价,基线。打开每个测试用例的测试经理使用的超链接工件列。基线测试用例必须定义的基线标准。模拟测试用例,检查每个测试用例定义了通过使用评估,通过/失败标准中描述评估仿真和比较输出数据(万博1manbetx仿真软件测试)

测试的类型

表,列出了每个测试用例及其类型

度量ID -TestCaseType

有关更多信息,请参见测试用例类型

为每个测试用例没有定义预期结果,点击的超链接工件列打开测试用例在测试经理,然后添加预期测试定义和通过/失败标准。
5 -每个测试正确测试要求它的痕迹?

手动审查要求为每个测试链接和内容。单击测试需求小部件来查看表的测试。看到测试跟踪的要求,工件列,单击箭头左边的测试名称。使用超链接打开测试和要求和评审,测试正常测试的要求。

测试与需求

表的测试和相关要求

度量ID -TestCaseWithRequirement

有关更多信息,请参见测试用例与需求

为每个测试不正确的测试要求它的痕迹,点击的超链接工件列打开测试在测试经理,然后更新测试。另外,添加测试,进一步测试的要求。

测试结果评估

在单位上运行测试之后,您必须检查结果,检查测试执行,过去了,足够测试单位。9.4.4条款在ISO 26262 - 6:2018要求您为每个单元分析需求的覆盖率。检查每个测试的测试计划模型和通过。此外,测量单位的报道通过收集模型覆盖率的测试结果。评估单元测试覆盖率的要求,使用的指标模拟测试结果分析模型的部分测试仪表板。

以下清单便于测试结果分析和评估使用仪表板。对于每个问题,使用相应的仪表板执行评审活动指标和应用相应的修复。这个清单是一个例子,应该检查和修改,以满足应用程序的需求。

清单项目 评审活动 仪表盘指标 修复
1 -每个测试结果跟踪测试吗? 只使用测试结果出现在仪表板。测试结果不跟踪测试没有出现在仪表板。点击一个小部件模型试验状态部分,查看表的测试和结果跟踪。

模型试验状态

失败的测试表

度量ID -slcomp.mt.TestStatusDistribution

有关更多信息,请参见模型试验状态分布

打开指标细节和点击的超链接工件列打开测试在测试经理。重新运行测试,结果应该跟踪和出口的新结果。
2 -每个测试跟踪测试结果吗? 检查测试是测试和0测试是禁用的。

模型试验状态

小部件显示计数的未经考验和禁用的测试

度量ID -slcomp.mt.TestStatusDistribution

有关更多信息,请参见模型试验状态分布

对于每一个残疾或未经测试的测试,在测试经理,启用并运行测试。
3 -所有的测试被执行吗? 检查测试是测试和0测试是禁用的。

模型试验状态

小部件显示计数的未经考验和禁用的测试

度量ID -slcomp.mt.TestStatusDistribution

有关更多信息,请参见模型试验状态分布

对于每一个残疾或未经测试的测试,在测试经理,启用,并运行测试。
4 -所有测试通过吗?

为单位检查,100%的测试通过。

模型试验状态

计小部件显示比例的测试通过

度量ID -slcomp.mt.TestStatusDistribution

有关更多信息,请参见模型试验状态分布

对于每一个测试失败,测试经理审核失败,解决相应的测试或模型中的设计元素。
5 -完成所有测试结果包括覆盖率结果吗? 手动检查每个测试结果的测试经理检查它包括报道的结果。 不适用 为每个测试结果,不包括保险,打开测试在测试经理,然后启用覆盖率收集。再次运行测试。
6——所需的每个单元结构覆盖目标实现? 检查测试达到100%模型覆盖您的单元测试需要覆盖类型。确定所需的覆盖类型,考虑您的软件单元的安全水平和用表9 9.4.4 ISO 26262 - 6:2018的条款。

模型覆盖

模型覆盖率结果图

度量ID -slcomp.mt.CoverageBreakdown

有关更多信息,请参见模型覆盖崩溃

对于每一个设计元素不覆盖,分析确定的原因错过了报道。分析可以揭示缺陷在测试中,需求,或实现。如果合适,添加测试覆盖的元素。另外,添加一个理由过滤器,证明了错过了覆盖,所述创建、编辑和查看覆盖率过滤规则(万博1manbetx仿真软件覆盖)
7 -所有的总体实现覆盖来自基于需求的测试? 检查,100%的总体实现覆盖来自基于需求的测试。

视图的度量结果实现覆盖率分段的仪表板。点击下的小部件基于需求的测试信息来源的总体实现覆盖每个覆盖类型。

基于需求的测试图

相关的度量id,看到基于需求的测试

对于任何整体实现并非来自基于需求的测试覆盖率,将链接添加到测试验证的需求。

8 -整体实现覆盖来自正常测试,测试单位? 手动为每个测试评审内容。检查的比例总体取得了来自unit-boundary测试的覆盖率。

视图的度量结果实现覆盖率分段的仪表板。点击下的小部件Unit-Boundary测试信息来源的总体实现覆盖每个覆盖类型。

Unit-boundary测试图

相关的度量id,看到Unit-Boundary测试

对于任何整体实现覆盖,并非来自unit-boundary测试,添加一个测试,测试整个单元或考虑单元模型定义。
9 -缺点都可以接受合理吗?

手动审查范围的理由。点击一个酒吧模型覆盖部分为相应的查看结果的表覆盖类型。打开一个测试结果的测试经理进行进一步审查,点击的超链接工件列。

模型覆盖

表决定报道的结果

度量ID -slcomp.mt.CoverageBreakdown

有关更多信息,请参见模型覆盖崩溃

为每个覆盖缺口不可以接受合理的,更新的理由失踪的报道。另外,添加测试,以填补缺口。

单位按照ISO 26262验证

模型试验仪表板提供信息的质量和完整性单元基于需求的测试活动。符合ISO 26262 - 6:2018,您也必须测试软件在其他建筑水平。ISO 26262 - 6:2018描述合规要求这些测试级别:

  • 软件单元测试在表7中,方法1 j

  • 软件集成测试表,方法1

  • 嵌入式软件测试在表14中,方法1

通用在ISO 26262 - 8:2018验证过程详细条款9包含额外的信息如何系统地实现测试这些水平通过规划、规范,执行,评估,测试和文档。此表显示了模型测试指示板适用于需求在ISO 26262 - 8:2018条款9单元测试的水平,和互补的活动需要执行遵从性。

要求 合规的论点 互补的活动
9.4.1——验证活动的范围 模型测试指示板适用于所有安全和non-safety-related软件单元。 不适用
老的验证方法 模型测试指示板提供了一个总结的完成基于需求的测试(表7,方法1 j)包括对测试结果。

在适用情况下,应用一个或多个其他验证方法:

  • 手动审查和分析检查表

  • 使用其他工具,比如静态代码分析、控制流分析、数据流分析

  • 等发展中额外的测试,界面测试,故障注入测试,背靠背的比较

9.4.3——产生测试用例的方法 仪表板提供了几种方法来遍历模型测试软件单元测试要求和相关的测试,这有助于你获得测试的要求。 你也可以得到测试通过使用其他工具,比如万博1manbetx®设计验证器™
9.4.4——要求和结构覆盖

模型测试仪表板艾滋病在展示:

  • 要求覆盖的完整性

  • 分支/语句和MCDC模型覆盖通过测试

  • 充足的理由实现覆盖

仪表板提供了结构覆盖率仅在模式级别。您可以使用其他工具来跟踪结构覆盖在代码级别。
9.4.5——测试环境 模型试验仪表板艾滋病在基于需求的测试模型级别。 应用连续对比测试来验证模型的行为相当于生成的代码。

引用:

  • ISO 26262 - 4:2018 (en)公路车辆- -第4部分:功能安全产品开发在系统层面上,国际标准化组织

  • ISO 26262 - 6:2018 (en)公路车辆-功能安全—第6部分:产品开发在软件层面,国际标准化组织

  • ISO 26262 - 8:2018 (en)公路车辆-功能安全-第8部分:支持流程,国际标准化组织万博1manbetx

另请参阅

相关的话题