polyspace test 为嵌入式系统的 c 和 c 代码提供了开发、管理和执行单元测试与集成测试的工具。您可以使用 polyspace xunit api 或图形化测试编写编辑器创建测试,并使用桩件或仿件隔离和验证在测代码。polyspace test 支持您在主机或嵌入式目标上执行测试、自动化测试执行,以及将测试与需求链接起来以实现可追溯性。
您可以执行代码覆盖率分析,用如决策、条件和修正条件/决策覆盖率 (mc/dc) 等度量来测量测试的完整性,还可以使用自动测试生成来实现需要的代码覆盖率、测试边界值,并扩展基于需求的测试用例。
polyspace test 包括通用用户界面,让您能够配置、运行和查看各种 polyspace 静态分析工具生成的结果。您可以使用这些结果来申述缺失代码覆盖率并验证测试的稳健性。
通过 iec certification kit (for iso 26262 and iec 61508) 和 do qualification kit (for do-178),可提供对行业标准的支持。
开发和执行单元测试与集成测试
使用 polyspace test xunit api 或以交互方式使用图形测试编写编辑器开发和运行 c 和 c 代码测试。创建桩件和仿件来隔离在测组件,并与第三方模拟库(如 gmock)集成。
测量代码覆盖率以及分析执行
生成并审核行业标准度量的代码覆盖率,包括决策、条件和 mc/dc。使用代码执行分析运行测试,以确定需要改进内存和运行时性能的代码节。
将测试与软件需求链接起来
将用户界面中的 c 和 c 测试链接到在外部编辑器或工具(例如 ibm® doors®、ibm doors next、microsoft® word 或 microsoft excel®)中编写的测试需求。
在主机和目标硬件上运行测试
在主机和目标硬件上执行测试,收集代码覆盖率度量并分析内存和执行情况。
生成测试以满足覆盖率和边界值目标
自动生成测试,以增强手动创建的测试用例,并解决不完整的代码覆盖率和边界值测试。
认证支持
创建完成行业标准认证过程所需的交付物。polyspace test 已经过 tüv 南德认证,符合 iec 61508 和 iso 26262 标准。使用为 do-178c 流程准备的报告和交付物。
自动化并集成到开发运营一体化中
通过将 polyspace test 插入现有开发运营一体化工作流和自动化流程支持现代软件开发实践。polyspace test 支持常见的持续集成工具,包括 jenkins 和 bamboo®。
使用静态分析来补充动态测试
申述由 polyspace code prover 证明的不可达的代码所造成的。通过分析测试来发现缺陷和运行时错误,从而确保其可靠性和一致性。