基于LDRA Testbed的民用机载软件静态测试方法

静态测试作为软件测试的重要方法，是保证民用机载软件中安全关键软件质量的关键步骤。介绍静态测试的概念和方法，采用自动化分析方法，基于软件分析工具LDRA Testbed从主要静态分析、复杂度分析、静态数据流、交叉索引、信息流和数据对象分析六大部分完成软件的静态测试过程，探究其测试原理和关键标准文件的配置，生成相应的代码审查和测试度量报告，以有效提高民用机载软件质量。

Civil Airborne Software Static Testing Method Based On LDRA Testbed

Software testing is a key step to ensure the quality of safety critical software in civil airborne software. Static testing is an important part of software testing. Introduce the concept and classification of static testing. Using automated analysis method, Based on the test tool LDRA Testbed, the static testing process is completed from six major parts: static analysis, complexity analysis, static data flow, cross-index, information flow and data object analysis. Investigate its testing principles and configuration of key standard files. Generate corresponding code review and test measurement reports to improve the quality of civil airborne software effectively.