LDRA Testbed 动态分析

来源:百度文库 编辑:神马文学网 时间:2024/04/20 00:52:32
LDRA Testbed 动态分析®
LDRA Tool Suite Technical Description v7.3.1
LDRA Product Brochure v6.1
什么是动态分析
动态分析使用测试数据集去执行软件,来观察软件的行为,生成测试覆盖报告。对源代码的这种评估分析能保证达到测试标准的要求,并且辅助捕捉/回放工具的使用。
LDRA Testbed动态分析为苛刻性代码分析提供达到质量标准的手段,能改进代码效率,最小化回归测试成本,并且侦测软件中的缺陷。
在软件开发和维护期,使用动态分析技术有助于提高程序的健壮性和可靠性。
优点是什么?
执行高质量测试 减少回归测试成本 鉴别软件异常和缺陷 产生全面的可度量的测试数据集合,包含测试输出 降低维护费用至最少 识别系统/程序不必要,可移除的部分 确保系统可靠,零缺陷
何时使用动态分析?
动态分析通过在测试中选择测试数据探究应用软件的语义。从应用软件静态分析中构建的控制流和数据流模型与运行时刻产生的实际控制流和数据流相比较,这就能检查出是静态分析出错还是动态分析出错。
动态分析对高可靠性的软件应用非常有效,是安全苛刻性的航空电子软件测试的首要方法,广泛地用于军方,安全和任务苛刻的软件。
除了上面提到的安全苛刻性工业领域,动态分析也适用于金融和通信领域。关键在于工具能带来有效的改进过程,它包括实际的成本节省,对客户投资的回报,从而导致巨大的竞争优势。
LDRA 工具包的动态覆盖分析
动态分析的结果可以根据设计需求达到的不同要求进行选择。最通常的要求是达到控制流覆盖水平。LDRA 工具包使用以下几种类型的覆盖:
可度量的覆盖有下列级别:
语句覆盖 分支/判定覆盖 LCSAJ 覆盖 MC/DC 覆盖 动态数据流覆盖