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

Civil Airborne Software Static Testing Method Based on LDRA Testbed

作　　者：周培 Zhou Pei(AVIC Leihua Rockwell Collins Avionics Company, Wuxi 214063, China)

机构地区：[1]中航雷华柯林斯(无锡)航空电子设备有限公司

出　　处：《计算机测量与控制》2019年第7期107-110,149,共5页Computer Measurement &Control

摘　　要：静态测试作为软件测试的重要方法,是保证民用机载软件中安全关键软件质量的关键步骤;介绍静态测试的概念和方法,采用自动化分析方法,基于软件分析工具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,crossindex,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.

关 键 词：软件测试 LDRA TESTBED 静态测试 民用机载 

分 类 号：TP319[自动化与计算机技术—计算机软件与理论] V240.2[自动化与计算机技术—计算机科学与技术]