10.16526/j.cnki.11-4762/tp.2019.07.023
基于LDRA Testbed的民用机载软件静态测试方法
静态测试作为软件测试的重要方法,是保证民用机载软件中安全关键软件质量的关键步骤;介绍静态测试的概念和方法,采用自动化分析方法,基于软件分析工具LDRA Testbed从主要静态分析、复杂度分析、静态数据流、交叉索引、信息流和数据对象分析六大部分完成软件的静态测试过程,探究其测试原理和关键标准文件的配置,生成相应的代码审查和测试度量报告,以有效提高民用机载软件质量.
软件测试、LDRA Testbed、静态测试、民用机载
27
TP319;V240.2(计算技术、计算机技术)
2019-08-07(万方平台首次上网日期,不代表论文的发表时间)
共5页
107-110,149