CN109558312A - 机载软件的测试方法 - Google Patents
机载软件的测试方法 Download PDFInfo
- Publication number
- CN109558312A CN109558312A CN201811318726.4A CN201811318726A CN109558312A CN 109558312 A CN109558312 A CN 109558312A CN 201811318726 A CN201811318726 A CN 201811318726A CN 109558312 A CN109558312 A CN 109558312A
- Authority
- CN
- China
- Prior art keywords
- software
- test
- file
- airborne
- requirement
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3668—Software testing
- G06F11/3672—Test management
- G06F11/3684—Test management for test design, e.g. generating new test cases
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Computer Hardware Design (AREA)
- Quality & Reliability (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Debugging And Monitoring (AREA)
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中任意一项所述的方法,其特征在于,其中:
软件测试需求包括以下需求中的一种或者多种:
软件测试用例、软件测试说明。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201811318726.4A CN109558312B (zh) | 2018-11-07 | 2018-11-07 | 机载软件的测试方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201811318726.4A CN109558312B (zh) | 2018-11-07 | 2018-11-07 | 机载软件的测试方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN109558312A true CN109558312A (zh) | 2019-04-02 |
CN109558312B CN109558312B (zh) | 2022-03-15 |
Family
ID=65865750
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201811318726.4A Active CN109558312B (zh) | 2018-11-07 | 2018-11-07 | 机载软件的测试方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN109558312B (zh) |
Cited By (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN111176995A (zh) * | 2019-12-25 | 2020-05-19 | 中国航空工业集团公司西安飞机设计研究所 | 一种基于大数据测试用例的测试方法和测试*** |
CN111190406A (zh) * | 2019-12-25 | 2020-05-22 | 中国航空工业集团公司西安飞机设计研究所 | 一种起落架控制***软件的测试方法 |
CN112699029A (zh) * | 2020-12-29 | 2021-04-23 | 中国航空工业集团公司西安飞机设计研究所 | 一种舱门分区软件的自动化测试方法 |
CN112711532A (zh) * | 2020-12-29 | 2021-04-27 | 中国航空工业集团公司西安飞机设计研究所 | 一种起落架分区软件的自动化测试方法 |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101521899A (zh) * | 2009-03-31 | 2009-09-02 | 大连海事大学 | 用于移动应用程序的机上测试***和方法 |
US20170168809A1 (en) * | 2015-12-10 | 2017-06-15 | Intel Corporation | Technologies for customized crowd-sourced features, automated safety and quality assurance with a technical computing environment |
CN107562635A (zh) * | 2017-09-15 | 2018-01-09 | 西南电子技术研究所(中国电子科技集团公司第十研究所) | 嵌入式软件测试辅助*** |
-
2018
- 2018-11-07 CN CN201811318726.4A patent/CN109558312B/zh active Active
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101521899A (zh) * | 2009-03-31 | 2009-09-02 | 大连海事大学 | 用于移动应用程序的机上测试***和方法 |
US20170168809A1 (en) * | 2015-12-10 | 2017-06-15 | Intel Corporation | Technologies for customized crowd-sourced features, automated safety and quality assurance with a technical computing environment |
CN107562635A (zh) * | 2017-09-15 | 2018-01-09 | 西南电子技术研究所(中国电子科技集团公司第十研究所) | 嵌入式软件测试辅助*** |
Non-Patent Citations (2)
Title |
---|
董天天: ""航空电子***的测试的设计与实现"", 《中国优秀硕士学位论文全文数据库 工程科技II辑》 * |
鲍冰: ""模型驱动嵌入式开发的一种自动测试平台的设计"", 《中国优秀硕士学位论文全文数据库 信息科技辑》 * |
Cited By (7)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN111176995A (zh) * | 2019-12-25 | 2020-05-19 | 中国航空工业集团公司西安飞机设计研究所 | 一种基于大数据测试用例的测试方法和测试*** |
CN111190406A (zh) * | 2019-12-25 | 2020-05-22 | 中国航空工业集团公司西安飞机设计研究所 | 一种起落架控制***软件的测试方法 |
CN111190406B (zh) * | 2019-12-25 | 2022-11-18 | 中国航空工业集团公司西安飞机设计研究所 | 一种起落架控制***软件的测试方法 |
CN112699029A (zh) * | 2020-12-29 | 2021-04-23 | 中国航空工业集团公司西安飞机设计研究所 | 一种舱门分区软件的自动化测试方法 |
CN112711532A (zh) * | 2020-12-29 | 2021-04-27 | 中国航空工业集团公司西安飞机设计研究所 | 一种起落架分区软件的自动化测试方法 |
CN112699029B (zh) * | 2020-12-29 | 2023-04-14 | 中国航空工业集团公司西安飞机设计研究所 | 一种舱门分区软件的自动化测试方法 |
CN112711532B (zh) * | 2020-12-29 | 2023-10-20 | 中国航空工业集团公司西安飞机设计研究所 | 一种起落架分区软件的自动化测试方法 |
Also Published As
Publication number | Publication date |
---|---|
CN109558312B (zh) | 2022-03-15 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN109558312A (zh) | 机载软件的测试方法 | |
EP3032425B1 (en) | Integrated automated test case generation for safety-critical software | |
CN107491061B (zh) | 一种商用车obd诊断设备的网络自动化测试***及其方法 | |
CN104077140B (zh) | 用于持续集成的自动化编译方法和编译装置 | |
CN103631720B (zh) | 测试用例的生成方法和装置 | |
CN101266570B (zh) | 软件***的测试方法及装置 | |
US20210263841A1 (en) | Machine code analysis for identifying software defects | |
JP2009087354A (ja) | ウェブアプリケーションの自動テスト生成システム及び方法 | |
US9342441B2 (en) | Methodology and tool support for test organization and migration for embedded software | |
CN114444420A (zh) | 一种基于芯片验证的验证ip集成方法及*** | |
CN109933521A (zh) | 基于bdd的自动化测试方法、装置、计算机设备及存储介质 | |
CN111176984A (zh) | 一种面向信号的自动测试实现方法 | |
CN109783063B (zh) | 面向信号的自动测试***自检程序开发方法及装置 | |
CN111679977B (zh) | 一种基于Jest的React项目单元测试方法、设备及存储介质 | |
CN115437336A (zh) | 测试用例的测试方法及装置、电子设备和存储介质 | |
US7739671B1 (en) | Systems, methods and apparatus for implementation of formal specifications derived from informal requirements | |
CN113225232B (zh) | 硬件测试方法、装置、计算机设备及存储介质 | |
CN116090376B (zh) | 芯片集成验证组件开发方法、装置及计算机设备 | |
CN111176995A (zh) | 一种基于大数据测试用例的测试方法和测试*** | |
Rodriguez-Navas et al. | Offline analysis of independent guarded assertions in automotive integration testing | |
US20160224456A1 (en) | Method for verifying generated software, and verifying device for carrying out such a method | |
US8949167B2 (en) | Method and device for the quality analysis of system models | |
CN117597669A (zh) | 一种测试方法、***及装置 | |
CN110659215A (zh) | 一种开放式工业app快速开发及测试验证方法 | |
CN111752823A (zh) | 一种车载电源应用软件的测试方法、装置及设备 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant |