CN109558312A - 机载软件的测试方法 - Google Patents

Abstract

本发明提出了一种机载软件的测试方法。该方法包括：对机载软件的功能进行分析和逻辑解算；根据逻辑图，在指定的用例生成工具中编写需求表达式；根据需求表达式编译自动生成机载软件的功能需求的条件穷举文件；建立软件功能测试序列模板，生成功能测试用例示例模板文件；建立软件功能需求和软件测试需求之间的映射关系；根据映射关系将条件穷举文件的内容与功能测试用例示例模板文件的内容一一对应，生成新的穷举文件；将测试驱动文件更改为测试用例集；利用软件测试工具，先导入测试用例集，再自动生成驱动模块；基于驱动模块，对机载软件进行自动测试。本发明减少了工作负担，增加了测试效率及正确率；通用性强，提高了软件的质量和可靠性。

Description

机载软件的测试方法

技术领域

本发明涉及机载软件测试的技术领域，尤其是涉及一种机载软件的测试方法。

背景技术

从日常生活中的交通灯到高科技领域，甚至其它各个领域都可能涉及到数据的逻辑解算。随着现代飞行器的发展，对飞机功能、性能和安全性等要求也越来越高，而起落架作为飞机的一个重要的组成部分，其可靠性直接影响到飞机的安全。

起落架收放控制系统软件通过对采集到的大量传感器信号进行分析、功能逻辑解算，来实现起落架及起落架舱门的收放控制、故障信息的告警等等。目前，机载系统多采用相似余度结构，故所需处理的传感器信号增加一倍之多，且软件功能的逻辑算法更为复杂和精确。

然而，起落架系统安全性增加的同时也增加了软件的缺陷率，由于处理信号的增加，逻辑解算的条件组合也随之增加，对于重要级别的软件，需要达到MC/DC的覆盖，测试用例的设计对于测试人员来说是一件不仅费时、费脑，而且容易出错的工作；如只根据源代码去测试，达到MC/DC的100％的覆盖，又失去了软件测试的意义，不能发现隐藏在软件中的缺陷，日后可能直接影响到飞机的安全。

发明内容

本发明的目的是：提供一种起落架收放控制系统软件的测试用例自动化生成方法，用来解决大量数据的复杂功能逻辑解算的测试用例设计；减少了测试人员的工作负担，增加了测试效率及正确率；验证软件功能与用户需求的一致性；提高了软件的质量和可靠性。

本发明提供了一种起落架收放控制系统软件的测试用例自动化生成方法，针对飞机起落架收放控制系统软件，使用测试用例生成工具并结合软件动态测试工具，对起落架状态、起落架舱门状态等传感器信号的逻辑解算涉及的所有可能的输入/输出数据进行全面地覆盖，确保飞机起落架收放过程中起落架、起落架舱门的控制指令和告警信息的正确性、可控性。

本发明的优点可以是：

1、可自动化穷举逻辑解算中所有状态的组合；

2、确保用户功能需求与软件测试用例的一一对应；

3、减少了测试人员的工作负担，增加了测试效率及正确率；

4、通用性强，可应用于其它领域的系统逻辑解算软件的测试方法；

5、提高了软件的质量和可靠性。

附图说明

为了更清楚地说明本发明实施例的技术方案，下面将对本发明实施例中所需要使用的附图作简单的介绍，显而易见，下面所描述的附图仅仅是本发明的一些实施例，对于本领域的技术人员来讲，在不付出创造性劳动的前提下，还可以根据这些附图获得其他的附图。

图1是本发明一实施例的逻辑解算解析示意图；

图2是本发明一实施例的测试用例自动化生成方法的示意图；

图3是本发明一实施例的数据预处理的对应关系示意图；

图4是本发明一实施例的软件需求集和测试用例集的对应关系示意图；

图5是本发明一实施例的动态测试结果分析示意图。

具体实施方式

为使本发明实施例的目的、技术方案和优点更加清楚，下面将结合本发明实施例中的附图，对本发明实施例中的技术方案进行清楚、完整地描述。显然，所描述的实施例是本发明一部分实施例，而不是全部实施例。基于本发明中的实施例，本领域的普通技术人员在没有做出创造性劳动的前提下，所获得的所有其他实施例，都属于本发明保护的范围。

下面将详细描述本发明的各个方面的特征和示意性实施例。在下面的详细描述中，提出了许多具体细节，以便提供对本发明的全面理解。但是，对于本领域的技术人员来说很明显的是，本发明可以在不需要这些具体细节中的一些细节的情况下实施。下面对实施例的描述仅仅是为了通过示出本发明的示例来提供对本发明的更好的理解。本发明决不限于下面所提出的任何具体设置和方法，而是在不脱离本发明的精神的前提下覆盖了结构、方法、器件的任何改进、替换和修改。在附图和下面的描述中，没有示出公知的结构和技术，以避免对本发明造成不必要的模糊。

需要说明的是，在不冲突的情况下，本发明实施例及实施例中的特征可以互相结合，各个实施例可以相互参考和引用。下面将参考附图并结合实施例来详细说明本发明。

图1是本发明一实施例的逻辑解算解析示意图，具体是某起落架左前主起舱门打开/关闭过程中的逻辑解算解析示例图。由图1可见：判断左前主起舱门是否处于打开/关闭过程中，存在16种可能；同理，功能解算条件越多，穷举覆盖越复杂。

根据软件功能需求项的功能解算，在T-Vec用例生成工具中编写需求表达式，通过转换模型进入T-Vec VGS模块中，编译自动生成软件功能需求的条件穷举文件.map；

使用TestBed软件测试工具，建立软件功能测试序列Sequence模板，并运行测试用例，生成该功能测试用例示例模板文件.tcf；

建立软件功能需求和软件测试需求之间的映射关系，数据预处理的对应关系图见图3所示。

图2是本发明一实施例的测试用例自动化生成方法的示意图。

起落架收放控制系统软件的测试用例自动化生成方法的原理图见图2所示，具体实施方式如下：

起落架收放控制系统中，通过采集大量的起落架传感器信号并对其进行分析、功能逻辑解算，来实现起落架及起落架舱门的收放控制、故障信息的告警等等。

图3是本发明一实施例的数据预处理的对应关系示意图。

参见图3，将.map文件中的输入/输出与.tcf文件中的输入/输出一一对应，生成新的.map文件。

将.map文件在T-Vec中自动生成测试驱动文件.drv，并将其后缀名更改为.tcf测试用文件；

通过步骤2)至5)可将软件功能需求集自动转换并生成软件测试用例集，如图4所示。

图4是本发明一实施例的软件需求集和测试用例集的对应关系示意图。

通过使用软件测试工具TestBed，导入测试用例集，工具自动生成驱动模块，对被测模块进行自动化测试，软件测试员通过分析测试结果的差异性来识别软件的缺陷；动态测试结果分析图见图5所示。图5是本发明一实施例的动态测试结果分析示意图。

通过测试用例中穷举数据从而对软件功能的输入/输出进行了全面地覆盖，既减少了人力资源，提高了效率，还确保飞机起落架收放过程中起落架、起落架舱门的控制指令和告警信息的正确性、可控性。

需要说明的是，上述流程操作可以进行不同程度的组合应用，为了简明，不再赘述各种组合的实现方式，本领域的技术人员可以按实际需要将上述的操作步骤的顺序进行灵活调整，或者将上述步骤进行灵活组合等操作。

在一些实施例中，一种机载软件的测试方法可以包括：对机载软件的功能进行分析和逻辑解算，得到机载软件的功能的逻辑图；根据逻辑图，在指定的用例生成工具中编写需求表达式；根据需求表达式编译自动生成机载软件的功能需求的条件穷举文件；利用指定软件测试工具，建立软件功能测试序列模板，并运行测试用例，生成功能测试用例示例模板文件；建立软件功能需求和软件测试需求之间的映射关系；根据映射关系将条件穷举文件的内容与功能测试用例示例模板文件的内容一一对应，生成新的穷举文件；将新的穷举文件在指定的用例生成工具中自动生成测试驱动文件，并将测试驱动文件更改为测试用例集；利用软件测试工具，先导入测试用例集，再自动生成驱动模块；基于驱动模块，对机载软件进行自动测试。

在一些实施例中，指定的用例生成工具可以为测试用例自动生成工具T-Vec。

在一些实施例中，指定软件测试工具为软件测试工具TestBed。

在一些实施例中，软件功能需求包括以下需求中的一种或者多种：软件需求规格说明、软件概要设计说明、软件详细设计说明。

在一些实施例中，软件测试需求包括以下需求中的一种或者多种：软件测试用例、软件测试说明。

需要说明的是，上述实施例中所示的功能组件的实现方式可以为硬件、软件、固件或者它们的组合。当以硬件方式实现时，其可以例如是电子电路、专用集成电路(ASIC)、适当的固件、插件、功能卡等等。当以软件方式实现时，本发明的元素是被用于执行所需任务的程序或者代码段。程序或者代码段可以存储在机器可读介质中，或者通过载波中携带的数据信号在传输介质或者通信链路上传送。“机器可读介质”可以包括能够存储或传输信息的任何介质。机器可读介质的例子包括电子电路、半导体存储器设备、ROM、闪存、可擦除ROM(EROM)、软盘、CD-ROM、光盘、硬盘、光纤介质、射频(RF)链路，等等。代码段可以经由诸如因特网、内联网等的计算机网络被下载。

最后应该说明的是：以上实施例仅用以说明本发明的技术方案，但本发明的保护范围并不局限于此，任何熟悉本领域的技术人员在本发明揭露的技术范围内，可以轻易想到各种等效的修改或者替换，这些修改或者替换都应该涵盖在本发明的保护范围之内。

Claims (5)

1.一种机载软件的测试方法，其特征在于，包括：

对机载软件的功能进行分析和逻辑解算，得到机载软件的功能的逻辑图；

根据逻辑图，在指定的用例生成工具中编写需求表达式；

根据需求表达式编译自动生成机载软件的功能需求的条件穷举文件；

利用指定软件测试工具，建立软件功能测试序列模板，并运行测试用例，生成功能测试用例示例模板文件；

建立软件功能需求和软件测试需求之间的映射关系；

根据映射关系将条件穷举文件的内容与功能测试用例示例模板文件的内容一一对应，生成新的穷举文件；

将新的穷举文件在指定的用例生成工具中自动生成测试驱动文件，并将测试驱动文件更改为测试用例集；

利用软件测试工具，先导入测试用例集，再自动生成驱动模块；

基于驱动模块，对机载软件进行自动测试。

2.根据权利要求1所述的方法，其特征在于，其中：

指定的用例生成工具为测试用例自动生成工具T-Vec。

3.根据权利要求1所述的方法，其特征在于，其中：

指定软件测试工具为软件测试工具TestBed。

4.根据权利要求1所述的方法，其特征在于，其中：

软件功能需求包括以下需求中的一种或者多种：

软件需求规格说明、软件概要设计说明、软件详细设计说明。

5.根据权利要求1-4中任意一项所述的方法，其特征在于，其中：

软件测试需求包括以下需求中的一种或者多种：

软件测试用例、软件测试说明。