概述
T测试确认通过单元测试组件为测试用例执行提供不同级别的覆盖度量，包括函数/方法，模块/类和组件/系统级别。测试确认提供测试计划文档和着色的代码图辅助您达到期望的覆盖率，覆盖级别从程序/函数调用覆盖到安全苛刻的修正条件/判定覆盖。
测试确认也支持由客户提供测试用例运行的系统级验证（单元测试组件之外）。这些系统测试通过LDRA Testbed在模拟器或某些主机环境或目标机平台中执行。
对LDRA的零缺陷软件开发方法学感兴趣的用户，测试确认也为其提供可行性覆盖度量或测试用例执行的可行路径百分比。
特点
覆盖率度量
LDRA Testbed提供下列工业标准的覆盖率度量：
LDRA也提供可行性度量支持它的可行性测试方法学。
TBsafe添加：
- 分支判定条件
- 分支条件组合
- 修正条件/判定覆盖 (适合DO-178B A级的MC/DC)
- 动态数据流
测试计划
测试确认生成两个测试用例计划文档：
- 可行性测试用例计划 - 给出和未覆盖的可行路径（也称为LCSAJ路径）分支点相关的源代码以及执行这些分支所必需的逻辑条件。
- MC/DC测试用例计划 - 为了达到DO-178B A级标准的修正条件/判定覆盖的详细步骤.
LDRA工具包使您的系统可视化:
- 调用图提供显示程序/函数的能力，图形化显示程序/函数的调用信息，并且动态调用图使测试覆盖可视化。
- 流程图提供显示判定条件的注解，也图形化显示语句和分支覆盖。
报告
自动生成的报告可配置为通过/失败的覆盖率级别，以函数级别或文件级别显示。可使用的详细信息有：
- 带注解的源代码列表
- 系统总体报告
- 覆盖率度量提供：
- 函数
- 文件
- 系统
数据集/Profile分析
数据集分析用于两个方面。首先它可以获得哪个数据集执行了源代码的某行或某些行的信息，这对于回归测试很有价值。
第二个用途是发现代码的哪些行是由特殊的测试数据集执行的。这能用于文档生成，或者获得如何执行代码特定行的灵感。
Profile分析
Profile分析能获得产生最大覆盖率的最小测试数据集合。 这个最小的集合能使回归测试更有效，并且减少测试时间和测试费用。
优点
- 有效的管理，度量代码验证过程并且预估剩余工作量
- 增加对代码可靠性和健壮性的信心
- 快速查明被测软件的问题
- 减少回归测试费用
- 提高代码效率
- 使测试达到更高标准
- 结论: 节省资源，提高产品质量，缩短产品上市时间
可交付使用
交付使用的测试确认可度量测试的有效性，包括度量软件中的语句，分支和测试路径覆盖。
|
