CN107992306A - 一种航电软件接口实现一致性自动检查方法 - Google Patents

Abstract

本发明涉及软件测试领域，特别涉及一种航电软件接口实现一致性自动检查方法，包括如下步骤：将接口文件导出XML形式的接口协议文件，对XML文件进行解析，并对于以Word文档形式的接口文件，采用C#调用COM接口对Word文档中的表格进行解析；将步骤一解析得到的信息转换为统一的中间数据形式；对接口定义头文件进行词法分析和语法分析；将步骤三解析得到的信息转换为统一的中间数据形式；根据步骤二和步骤四中转化得到的中间数据形式信息进行接口一致性检查。本发明的航电软件接口实现一致性自动检查方法，能够对源代码和规范的ICD进行自动解析，能够自动识别内存空间定义等接口实现不一致的缺陷，且不依赖于专用硬件，并提高接口测试工作效率。

Description

一种航电软件接口实现一致性自动检查方法

技术领域

本发明涉及软件测试领域，特别涉及一种航电软件接口实现一致性自动检查方法。

背景技术

航电***中各子***和设备通过总线进行协同，构成了复杂的机载计算机网络，其数目多达十几个、甚至几十个。这些***和设备都由独立的承研单位负责研制开发，不同的***和设备之间都要靠接口控制文件(ICD)来定义接口协议，接口的正确性和一致性对于航电***正常工作起着至为关键的作用。与之对应，接口测试在直升机机载软件测试工作占据着重要的位置。

接口测试是根据需求规格书和接口控制文件的规定，对软件配置项与外部设备、***接口的格式和内容进行测试，包括数据交换的格式与内容；软件通过接口接收和发送数据的能力；软件接口与***真实接口的正确性；软件对真实设备接口特性的适应性等。

现有研究表明，接口关系直接或间接导致的缺陷占软件生命周期缺陷总数的20％到30％左右，并且其中大多数缺陷的严重等级较高，甚至有些会直接导致***崩溃。为了保证软件***质量，必须进行充分而全面的接口测试，常用的接口测试方法可以分为静态测试和动态测试。

静态测试方法是指不运行被测程序本身，仅通过分析或检查源程序的语法、过程、结构、接口等来检查程序的正确性。主要是通过对软件***的源代码进行安全扫描，根据程序中数据流，控制流，语义等信息与预先定义的规则库进行匹对，从中找出代码中潜在的缺陷。目前静态测试方法和工具主要针对数据流和控制流分析，在接口测试中的应用较少。

在现行的机载软件开发过程中，因需求的持续变更和信息化设计手段覆盖不足，出现了接口控制文件和代码定义存在不一致的问题。这一问题可能导致***之间通信异常，影响***功能的正常运行，甚至会造成***或飞行员的误判，危及任务完成和飞行安全。动态测试方法必须要有相关硬件和测试工具的支持，所需的时间和人力较多。静态测试目前只能通过人工审查的方式，对源代码和接口控制文件进行逐项比对，来确认二者的一致性。随着技术的发展，航电***采用的机载总线不断升级，从RS422、ARINC429，到MIL-STD-1553B、AFDX总线等，通信容量和速度大幅提高，也导致接口协议更加复杂，采用人工审查进行接口协议验证的效率已经不能满足新一代直升机的研制需求。

对ICD和源代码的一致性检查，存在大量的机械重复性比对工作，这部分工作可以通过计算机编程的方式自动完成，从而提高接口测试效率。

发明内容

本发明的目的是提供了一种航电软件接口实现一致性自动检查方法，以解决现有接口协议验证存在的至少一个的问题。

本发明的技术方案是：

一种航电软件接口实现一致性自动检查方法，其特征在于，包括如下步骤：

步骤一、将接口文件导出XML形式的接口协议文件，对XML文件进行解析，并对于以Word文档形式的接口文件，采用C#调用COM接口对Word文档中的表格进行解析；

步骤二、将步骤一解析得到的信息转换为统一的中间数据形式；

步骤三、对接口定义头文件进行词法分析和语法分析；

步骤四、将步骤三解析得到的信息转换为统一的中间数据形式；

步骤五、根据步骤二和步骤四中转化得到的中间数据形式信息进行接口一致性检查。

可选的，在所述步骤二和步骤四中的中间数据格式为二维数据表格，记录有类别、名称、类型、位数和注释。

可选的，在所述步骤五中，是采用正则表达式提取语句中的特征，根据已有的验证方法编写预定的规则进行检查。

可选的，在所述步骤五中，进行接口一致性检查包括：

步骤5.1、变量名称定义检查；

步骤5.1、内存位置与大小检查；

步骤5.1、注释检查。

发明效果：

本发明的航电软件接口实现一致性自动检查方法效果如下：

1)、能够对源代码和规范的ICD进行自动解析；

2)、能够自动识别内存空间定义等接口实现不一致的缺陷；

3)、不依赖于专用硬件，并提高接口测试工作效率。

附图说明

图1是航电软件接口实现一致性自动检查方法原理框图；

图2是接口实现一致性自动检查流程图。

具体实施方式

为使本发明实施的目的、技术方案和优点更加清楚，下面将结合本发明实施例中的附图，对本发明实施例中的技术方案进行更加详细的描述。在附图中，自始至终相同或类似的标号表示相同或类似的元件或具有相同或类似功能的元件。所描述的实施例是本发明一部分实施例，而不是全部的实施例。下面通过参考附图描述的实施例是示例性的，旨在用于解释本发明，而不能理解为对本发明的限制。基于本发明中的实施例，本领域普通技术人员在没有作出创造性劳动前提下所获得的所有其他实施例，都属于本发明保护的范围。下面结合附图对本发明的实施例进行详细说明。

在本发明的描述中，需要理解的是，术语“中心”、“纵向”、“横向”、“前”、“后”、“左”、“右”、“竖直”、“水平”、“顶”、“底”、“内”、“外”等指示的方位或位置关系为基于附图所示的方位或位置关系，仅是为了便于描述本发明和简化描述，而不是指示或暗示所指的装置或元件必须具有特定的方位、以特定的方位构造和操作，因此不能理解为对本发明保护范围的限制。

下面结合附图1至图2对本发明航电软件接口实现一致性自动检查方法做进一步详细说明。

本发明提供的航电软件接口实现一致性自动检查方法，如图1所示，将接口控制文件(ICD)和接口实现的源代码文件都转换为结构化的中间数据形式，再根据预定的规则进行一致性检查。

a)接口定义及解析

在现行的机载软件开发中，ICD通常采用ICD Workbench等专用工具开发，可由相关工具导出XML形式的接口协议文件。对于XML形式的文件，可以通过DOM(Document ObjectModel)接口获取，DOM接口可以快捷解析XML文件，并以树的形式保存在内存中，通过树的节点进行数据访问。

对于以Word文档形式的ICD，接口协议记录在特定模板的表格中，所需数据可以通过访问特定表格中的内容获取，因而对ICD文档解析的重点是对Word表格的解析。一般采用C#调用COM接口对Word文档中的表格进行解析，可得到特定需求的文本信息。

b)接口代码实现及解析

绝大多数机载软件的开发语言都为C语言，接口协议的实现基本都采用结构体形式。以综合任务处理机IDP和组合导航***HNS之间通过ARINC 429协议的一个数据字定义为例。

typedef struct{

uint POD:1；//校验位(奇)

uint SSM:2；//SSM

uint spare:19；//保留位

uint atmospheric_invalid:1；//大气机数据无效

uint align_fail:1；//对准故障

uint biaohao:8；//标号

}A429_HNS_IDP_failWord；

结构体名称为A429_HNS_IDP_failWord，表明是组合导航***和综显处理机之间的429接口通信块，块的名称为“failWord”，即故障字。数据位一共为32位，前8位为标号，30和31位为SSM状态，第32位为奇偶校验位，其余为具体数据定义。所有数据位的定义都后缀着其注释，用于对数据位定义、取值范围、具体意义等进行说明。ARINC429协议的数据字定义与上述结构是相同的，数据位定义因其通信需求不同而异。

型号软件研制都有编码规范对编程风格进行约束，上述结构体定义即可作为解析模板，对接口定义头文件进行词法分析和语法分析，并转换为统一的中间数据形式，以便与ICD协议定义进行比较。

代码解析主要分词法分析和语法分析两部分，将头文件代码中的接口结构体定义转换为中间数据形式。可采用已有编译器前端处理，如LLVM的Clang等，将代码解析为抽象语法树AST，再对AST进行转换为特定中间数据形式。考虑到机载软件代码风格比较规范，需要提取的信息量不大，也可以自行编写简单的词法和语法处理程序。

c)中间数据格式定义

本发明采用的中间数据格式为二维数据表格，如表1所示，主要记录类别、名称、类型、位数和注释。类别主要是块block和变量var，块对应的位数是变量数目，变量对应的位数是比特位数目。表1中1-3行为代码解析后的数据，4-6行为ICD解析后的数据，可以对块及每个变量的不同属性进行一致性检查。

表1中间数据格式

类别	名称	类型	位数	注释
					block	blk01	-	2	块01
var	state	int	16	状态
					var	no	int	16	标号
block	01块	-	2	块01
					var	状态		16
var	标号		16

d)接口一致性检查

接口一致性检查的首要目标是验证ICD中的协议与源代码实现的一致性，验证主要考虑名称、内存定义、注释等的一致性。采用正则表达式提取语句中的特征，根据已有的验证方法编写相应的规则进行检查。本发明提供三种规则以供参考，可以根据实际需要进行扩展。接口实现一致性自动检查的流程如图2所示。

4.1)变量名称定义检查

变量命名一般由词汇和数字组成，对于数字部分的识别和检查较为简单。对于词汇部分，ICD中的定义基本都是汉语，而代码名称都为英文，所以需要将ICD中的汉语信息转换为英文，并和代码中的定义进行比较。在软件开发过程中，已经积累了专业词汇的英汉对应表(即字典)，可以据此进行比较，当两者的名称差距较大时，需要进行人工确认。

4.2)内存位置与大小检查

提取ICD和代码中的数据后，可以获取其数据项/变量的起始位置和数据位大小，其中不一致的地方即为错误。

4.3)注释检查

ICD中会定义数据的范围、比例因子等重要信息，而在实际编码过程中，这些都会记录到变量的注释中。因而也需要对注释部分的信息进行提取，和ICD中的定义进行比较，以便确认二者的一致性。

本发明的航电软件接口实现一致性自动检查方法效果如下：

1)、能够对源代码和规范的ICD进行自动解析；

2)、能够自动识别内存空间定义等接口实现不一致的缺陷；

3)、不依赖于专用硬件，并提高接口测试工作效率。

以上所述，仅为本发明的具体实施方式，但本发明的保护范围并不局限于此，任何熟悉本技术领域的技术人员在本发明揭露的技术范围内，可轻易想到的变化或替换，都应涵盖在本发明的保护范围之内。因此，本发明的保护范围应以所述权利要求的保护范围为准。

Claims (4)

1.一种航电软件接口实现一致性自动检查方法，其特征在于，包括如下步骤：

步骤一、将接口文件导出XML形式的接口协议文件，对XML文件进行解析，并对于以Word文档形式的接口文件，采用C#调用COM接口对Word文档中的表格进行解析；

步骤二、将步骤一解析得到的信息转换为统一的中间数据形式；

步骤三、对接口定义头文件进行词法分析和语法分析；

步骤四、将步骤三解析得到的信息转换为统一的中间数据形式；

步骤五、根据步骤二和步骤四中转化得到的中间数据形式信息进行接口一致性检查。

2.根据权利要求1所述的航电软件接口实现一致性自动检查方法，其特征在于，在所述步骤二和步骤四中的中间数据格式为二维数据表格，记录有类别、名称、类型、位数和注释。

3.根据权利要求1所述的航电软件接口实现一致性自动检查方法，其特征在于，在所述步骤五中，是采用正则表达式提取语句中的特征，根据已有的验证方法编写预定的规则进行检查。

4.根据权利要求3所述的航电软件接口实现一致性自动检查方法，其特征在于，在所述步骤五中，进行接口一致性检查包括：

步骤5.1、变量名称定义检查；

步骤5.1、内存位置与大小检查；

步骤5.1、注释检查。