工欲善其事必先利其器，这次我们介绍一个工具，方便大家有更深的了解。拥有20年历
史的BTCEmbeddedPlatform是世界著名的自动化测试工具，她为单元测试提供了与ASPIC
E和ISO26262相一致的解决方案，下面我们详细介绍测试需求与软件功能的匹配情况。 等效性检验；代码生成器根据模型开发的需要，自动生成代码。功能安全性强烈建议对代码
进行等效性测试，以验证模型到代码转换的一致性，评估浮点小数点与定点小数点的差异等
。在代码MCDC级别，BTC可以自动生成100%覆盖的测试用例，同时对MIL和SIL进行比较
，对MIL和PIL进行全自动的等效测试，大大提高代码的可靠性。出典：ISO26262等效原理
。最后给出了BTC等效性试验分析结果。软件的详细设计说明。 SWE.3的主要产品是软件的详细设计，它规定了软件单元的功能和非功能需求，为后续的软
件单元测试说明提供了良好的输入。单元测试规范(UnitTestSpecification)软件单元测试规范
是根据测试理论对软件详细设计进行分析，指导编写清晰完整的测试用例的依据。它的内容
显示如下所示：这种情况下，软件测试规范除了给出明确的测试操作指示之外，还在文档级
别上满足了软件需求的各种情况(正常、异常、边界值、等价类、状态变换等)，从而实现了
测试的全面覆盖。还可以将此文件理解为文本测试用例。D1：安全性要求形式确认。根据
从技术安全需求(TSR)分解为软件单元的安全需求，利用BTC形式验证工具，实现了自动穷
举验证，以确保响应的安全需求在任何情况下都得到满足。 BTC规范要求。BTC形式验证实例。E：编写一个测试案例。写测试用例的主要工作是将上
面的单元测试说明(输入、参数、期望等等)转换成工具可执行的测试数据。BTC提供了一种
清晰易用的测试用例编辑器，可以快速完成对测试用例的编辑，并模拟各种模型/代码模式
(MIL,SIL,PIL)。F：要求范围。要求覆盖范围则评估测试用例覆盖要求的范围，通常是通过
检查来实现的。BTC还可以给出报告，以确定需求是否被至少1个测试用例所覆盖。编码覆
盖范围。 功能性安全性要求代码在MCDC中达到100%的覆盖率，并在判断和接受死代码时给出理由
。在查找死代码的同时，BTC工具可以自动生成达到MCDC100%的测试用例。下面显示的
是代码覆盖率统计报告。BTC代码分析详细报告(绿色表示覆盖，黄色表示需要确认的未完
成部分)检验报告及摘要。为满足ASPICE和ISO26262的相关要求，需要编写代码覆盖率分
析报告、等效测试报告和基于需求的功能测试报告等等，所有这些都可以通过BTC工具自
动生成。 易于执行单元测试，能够及早发现错误，为软件产品的可靠集成奠定了质量基础。使用bt
c等专业工具进行有效测试，同时确保需求和代码覆盖，满足aspice和iso26262行业规范
的要求，为第三方认证提供方便和有力的支持。
还没有评论，来说两句吧...