polyspace test 产品信息 -凯发k8网页登录

新产品

 

开发、管理和执行嵌入式系统中 c 和 c 代码的测试

开发和执行单元测试与集成测试

使用 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 bug finderpolyspace code prover 和 polyspace test 的结果。

使用静态分析来补充动态测试

申述由 polyspace code prover 证明的不可达的代码所造成的。通过分析测试来发现缺陷和运行时错误,从而确保其可靠性和一致性。

产品资源:

网站地图