CN107977312B - 一种基于复杂接口时序的软件***测试验证方法 - Google Patents
一种基于复杂接口时序的软件***测试验证方法 Download PDFInfo
- Publication number
- CN107977312B CN107977312B CN201711168665.3A CN201711168665A CN107977312B CN 107977312 B CN107977312 B CN 107977312B CN 201711168665 A CN201711168665 A CN 201711168665A CN 107977312 B CN107977312 B CN 107977312B
- Authority
- CN
- China
- Prior art keywords
- interface
- software system
- time sequence
- attribute
- test verification
- 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.)
- Active
Links
Images
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
-
- 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/3604—Software analysis for verifying properties of programs
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)
- Software Systems (AREA)
- Debugging And Monitoring (AREA)
- Test And Diagnosis Of Digital Computers (AREA)
Abstract
一种基于复杂接口时序的软件***测试验证方法,首先对软件***进行接口属性分析,根据接口属性分析结果生成软件***测试验证用例,然后对软件***测试验证用例进行反馈迭代优化,最后使用得到的软件***测试验证用例进行接口时序测试验证。本发明结合航天器***研制工程实际,构建基于复杂接口时序的软件***测试验证方法,与现有技术相比可有效缩短复杂接口时序测试周期,降低测试成本,提高复杂接口时序测试的覆盖性、鲁棒性,具有重要工程实际意义。
Description
技术领域
本发明涉及航空航天、软件***测试领域,特别是一种基于复杂接口时序的软件***测试验证方法。
背景技术
随着计算机软硬件技术的不断更迭升级,航天器***对体积、重量和功耗等方面的约束越来越严格,集成度、小型化、智能化程度越来越高,其接口时序趋于复杂化,对软件***测试验证提出了重大的挑战。针对复杂的接口时序测试,传统的做法多为***功能测试,即按照既定的操作规程,人为操作设备的输入输出,判断是否与预期的结果是否一致,通常会导致***细节逻辑无法覆盖,如不可重现异常现象、数据错乱,甚至被外界干扰等现象,该做法仅仅满足了常规基本的***功能需求,易导致***鲁棒性不足。因此,针对接口时序复杂的软件***,亟需探索一种***接口时序测试验证方法,以提高软件***的安全性、可靠性、鲁棒性。
发明内容
本发明解决的技术问题是:克服现有技术的不足,提供了一种基于复杂接口时序的软件***测试验证方法,通过采用事物属性分析、清单矩阵组合分析方法,从多维视角分析、测试、验证含有复杂接口时序的软件***,提高航天器软件***运行效率及其可靠性、安全性、鲁棒性,为实现航天器的稳定可靠运行奠定基础。
本发明的技术解决方案是:一种基于复杂接口时序的软件***测试验证方法,包括如下步骤:
(1)对软件***进行接口属性分析;所述的接口属性分析包括接口时序属性分析、接口属性参数矩阵化、时序参数组合分析;
(2)根据接口属性分析结果生成软件***测试验证用例;
(3)对软件***测试验证用例进行反馈迭代优化;
(4)使用步骤(3)得到的软件***测试验证用例进行接口时序测试验证。
所述的接口属性参数矩阵化包括如下步骤:
(1)判定软件***接口类型;所述的接口类型包括AD接口、开关量接口、UART或USART接口、1553B接口、SPI接口、I2C接口;
(2)根据软件***接口类型进行接口时序属性分析;所述的接口时序属性分析包括异步串行接口通信数据、通信数据吞吐量、通信协议;
(3)将软件***接口进行属性分解,得到软件***接口默认态、开状态、关状态、持续时间;
(4)将软件***接口的类型、属性参数进行矩阵化,得到软件***接口属性参数矩阵。
所述的软件***接口时序参数组合分析包括如下步骤:
(1)以时间为主线,时间线上方为持续性操作,时间线下方为操作时间点,得到软件***运行流程;
(2)根据软件***运行流程分析***接口时序操作类型、构成、时序节点、持续时间;
(3)根据***接口时序操作类型、构成、时序节点、持续时间得到***接口时序的交互关系。
所述的生成软件***测试验证用例的方法包括如下步骤:
(1)根据软件***功能需求进行***接口初始化参数设定;
(2)根据软件***接口属性参数矩阵、***接口时序的交互关系、***接口初始化参数设定得到***接口各个时序逻辑对应的验证用例输入及其对应的预期输出。
所述的对软件***测试验证用例进行反馈迭代优化的约束为:
判断软件***测试验证用例是否存在引发软件***失效、软件***安全隐患。
本发明与现有技术相比的优点在于:
(1)本发明通过清单矩阵组合分析法,将思路清晰化,降低了测试覆盖性不足遗漏风险,同时通过思路梳理,使软件***关联关系显性化,有助于降低***耦合性、提高内聚性,促进软件***设计优化;
(2)本发明与现有技术相比,能够梳理出测试条件无法满足、故障无法注入的环节并反馈,有助于针对性的找寻补充措施进行测试验证覆盖;
(3)本发明与现有技术相比,能够有效快捷的进行***危险性分析,定位***中的危险操作环节,反馈至软件***设计人员进行优化设计,优化***设计;
(4)本发明针对软件研制过程中变更环节,能够快捷有效地分析影响范围,增减测试用例,使得接口测试覆盖情况清晰化;
(5)本发明结合航天器***研制工程实际,构建基于复杂接口时序的软件***测试验证方法,可有效缩短复杂接口时序测试周期,降低测试成本,提高复杂接口时序测试的覆盖性、鲁棒性,具有重要工程实际意义。
附图说明
图1为基于复杂接口时序的软件***测试验证过程框图;
图2为基于复杂接口时序的软件***测试验证工作流程图;
图3为***接口时序参数组合分析工作示例框图;
图4为***接口生成用例矩阵过程框图;
图5为接口时序测试验证过程工作流程框图;
………………………………….
具体实施方式
本发明克服现有技术的不足,提供了一种基于复杂接口时序的软件***测试验证方法,通过采用事物属性分析、清单矩阵组合分析方法,从多维视角分析、测试、验证含有复杂接口时序的软件***,提高航天器软件***运行效率及其可靠性、安全性、鲁棒性,为实现航天器的稳定可靠运行奠定基础。
如图1所示为基于复杂接口时序的软件***测试验证过程框图,该测试验证过程由接口时序属性分析、用例生成、迭代优化、接口时序测试验证共4个部分构成。其中接口属性分析部分由***接口时序属性分析、接口属性参数矩阵化、时序参数组合分析三部分构成;反馈设计,迭代优化过程中需要得到多方认可。
如图2所示为基于复杂接口时序的软件***测试验证工作流程图,***接口时序属性分析、接口属性参数矩阵化的工作流程为:
1、判定接口类型,如:A/D接口、开关量接口、UART/USART、1553B接口、SPI接口、I2C接口等;
2、根据接口类型进行接口时序属性分析,如异步串行接口通信数据有无、通信数据吞吐量、通信协议等;
3、接口属性分解,例:开关量接口属性分解为默认态、开状态、关状态、持续时间等;
4、接口属性参数矩阵化,梳理出的接口属性参数并矩阵化。
如表1所示为开关量接口属性参数矩阵示例
表1开关量接口属性参数矩阵示例
如表2所示为异步串行接口属性参数矩阵表示例
表2异步串行接口属性参数矩阵表示例
如图3所示为***接口时序参数组合分析工作示例框图,***接口时序参数组合分析的工作流程为:
1、根据软件***功能需求,以时间为主线,分析***软件运行流程,时间线上方为持续性操作,时间线下方为操作时间点;
2、结合软件***工作流分析,分析***接口时序操作类型、构成、时序节点、持续时间;
3、***接口组合时序分析,在步骤2基础上,分析多个接口时序之间交互关系、持续关系。
如图4所示为***接口生成用例矩阵过程框图,生成用例矩阵的工作流程为:
1、根据***功能需求进行接口初始化基本参数设定;
2、根据***接口状态属性集合和多接口时序参数组合分析,形成在各种对应输入组合、对应时序逻辑下的一组用例输入、处理;
3、根据接口时序逻辑分析对应用例输入、处理的预期输出。
反馈设计、迭代优化、多方认可、软件***定型的工作流程为:
1、判断用例矩阵是否存在可能引发严重失效、有严重安全隐患的预期结果的用例,若经过软件***、设计等多方认可,软件***定型,则进行接口时序测试验证。
2、若步骤1中未经过软件***、设计等多方认可,软件未定型,则从中筛选出可能引发严重失效、有严重安全隐患的用例,记录该时序逻辑流程;
3、将步骤2中记录的时序逻辑流程反馈给软件设计人员,进行代码逻辑优化,增加可靠性、安全性设计;
4、将步骤3中进行代码逻辑优化,增加可靠性、安全性设计后的软件重新进行接口属性分析、矩阵化、参数组合分析、生成用例矩阵,直到软件接口时序逻辑经过***、设计等多方认可,从而完成软件***定型。
如图5所示为接口时序测试验证过程工作流程框图,接口时序测试验证过程工作流程为:
1、执行通过各方认可、软件***定型的接口时序测试用例;
2、记录步骤1中的测试执行结果;
3、若所有用例执行通过,则完成对应软件***接口时序测试验证;
4、对于未通过的测试用例,反馈***、设计,进行设计优化或沟通协调更改需求,重新进行接口属性分析、用例设计、执行测试,直至完成接口时序测试。
本发明说明书中未作详细描述的内容属本领域技术人员的公知技术。
Claims (3)
1.一种基于复杂接口时序的软件***测试验证方法,其特征在于包括如下步骤:
(1)对软件***进行接口属性分析;所述的接口属性分析包括接口时序属性分析、接口属性参数矩阵化、时序参数组合分析;
(2)根据接口属性分析结果生成软件***测试验证用例;
(3)对软件***测试验证用例进行反馈迭代优化;
(4)使用步骤(3)得到的软件***测试验证用例进行接口时序测试验证;
所述的接口属性参数矩阵化包括如下步骤:
(1)判定软件***接口类型;所述的接口类型包括AD接口、开关量接口、UART或USART接口、1553B接口、SPI接口、I2C接口;
(2)根据软件***接口类型进行接口时序属性分析;所述的接口时序属性分析包括异步串行接口通信数据、通信数据吞吐量、通信协议;
(3)将软件***接口进行属性分解,得到软件***接口默认态、开状态、关状态、持续时间;
(4)将软件***接口的类型、属性参数进行矩阵化,得到软件***接口属性参数矩阵;
所述的软件***接口时序参数组合分析包括如下步骤:
(1)以时间为主线,时间线上方为持续性操作,时间线下方为操作时间点,得到软件***运行流程;
(2)根据软件***运行流程分析***接口时序操作类型、构成、时序节点、持续时间;
(3)根据***接口时序操作类型、构成、时序节点、持续时间得到***接口时序的交互关系。
2.根据权利要求1所述的一种基于复杂接口时序的软件***测试验证方法,其特征在于:所述的生成软件***测试验证用例的方法包括如下步骤:
(1)根据软件***功能需求进行***接口初始化参数设定;
(2)根据软件***接口属性参数矩阵、***接口时序的交互关系、***接口初始化参数设定得到***接口各个时序逻辑对应的验证用例输入及其对应的预期输出。
3.根据权利要求1所述的一种基于复杂接口时序的软件***测试验证方法,其特征在于:所述的对软件***测试验证用例进行反馈迭代优化的约束为:
判断软件***测试验证用例是否存在引发软件***失效、软件***安全隐患。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201711168665.3A CN107977312B (zh) | 2017-11-21 | 2017-11-21 | 一种基于复杂接口时序的软件***测试验证方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201711168665.3A CN107977312B (zh) | 2017-11-21 | 2017-11-21 | 一种基于复杂接口时序的软件***测试验证方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN107977312A CN107977312A (zh) | 2018-05-01 |
CN107977312B true CN107977312B (zh) | 2020-07-14 |
Family
ID=62010878
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201711168665.3A Active CN107977312B (zh) | 2017-11-21 | 2017-11-21 | 一种基于复杂接口时序的软件***测试验证方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN107977312B (zh) |
Families Citing this family (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN109117368A (zh) * | 2018-07-27 | 2019-01-01 | 平安科技(深圳)有限公司 | 一种接口测试方法、电子设备及存储介质 |
CN114860638A (zh) * | 2021-02-04 | 2022-08-05 | 北京广利核***工程有限公司 | 软件接口的识别方法、装置和计算机设备 |
CN113986600B (zh) * | 2021-11-04 | 2023-02-03 | 北京智芯微电子科技有限公司 | 一种用于芯片串行接口的测试方法、装置和芯片 |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN104331546A (zh) * | 2014-10-22 | 2015-02-04 | 中国空间技术研究院 | 一种航天器用数字定制集成电路后端版图设计评估方法 |
CN104346278A (zh) * | 2014-09-28 | 2015-02-11 | 上海新炬网络技术有限公司 | 一种基于矩阵模型的软件测试方法 |
CN105868114A (zh) * | 2016-03-31 | 2016-08-17 | 复旦大学 | Fpga软件***及其各模块测试***和方法 |
Family Cites Families (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20160259716A1 (en) * | 2015-03-02 | 2016-09-08 | Ca, Inc. | Rebuilding an execution flow from an execution grid |
-
2017
- 2017-11-21 CN CN201711168665.3A patent/CN107977312B/zh active Active
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN104346278A (zh) * | 2014-09-28 | 2015-02-11 | 上海新炬网络技术有限公司 | 一种基于矩阵模型的软件测试方法 |
CN104331546A (zh) * | 2014-10-22 | 2015-02-04 | 中国空间技术研究院 | 一种航天器用数字定制集成电路后端版图设计评估方法 |
CN105868114A (zh) * | 2016-03-31 | 2016-08-17 | 复旦大学 | Fpga软件***及其各模块测试***和方法 |
Non-Patent Citations (2)
Title |
---|
一种基于时序路径的FPGA 接口时序测试方法;朱伟杰等;《航天控制》;20170815;第35卷(第4期);全文 * |
新一代运载火箭时序仿真***信号完整性分析;马雪松等;《计算机测量与控制》;20150125;第23卷(第1期);全文 * |
Also Published As
Publication number | Publication date |
---|---|
CN107977312A (zh) | 2018-05-01 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP6307140B2 (ja) | セーフティクリティカルソフトウェア自動要求ベーステストケース生成のためのシステムおよび方法 | |
US10025696B2 (en) | System and method for equivalence class analysis-based automated requirements-based test case generation | |
CN107977312B (zh) | 一种基于复杂接口时序的软件***测试验证方法 | |
CN110909039A (zh) | 一种基于拖拽式流程的大数据挖掘工具及方法 | |
US20100192128A1 (en) | System and methods of using test points and signal overrides in requirements-based test generation | |
CN107220539B (zh) | 基于需求的ima安全验证分析方法 | |
CN105022691A (zh) | 一种基于uml图的高度自动化软件测试方法 | |
EP3379436B1 (en) | Method and apparatus for testing design of satellite wiring harness and signal processing units | |
CN103761185B (zh) | 一种自动化测试***及方法 | |
CN105868114A (zh) | Fpga软件***及其各模块测试***和方法 | |
CN105591779A (zh) | 网元巡检方法及装置 | |
CN105786695A (zh) | 数据测试方法及*** | |
CN109491922A (zh) | 一种基于模型驱动的测试方法和装置 | |
CN104317719B (zh) | 一种控制软件测试质量的方法 | |
Tapia-Flores et al. | Discovering petri net models of discrete-event processes by computing T-invariants | |
CN111176995B (zh) | 一种基于大数据测试用例的测试方法和测试*** | |
WO2021100156A1 (ja) | テストデータ生成装置、テストデータ生成方法、及びプログラム | |
Shao et al. | A case for white-box testing using declarative specifications poster abstract | |
CN109635480B (zh) | 一种基于制图软件的控制逻辑验证和调试方法 | |
CN112015633B (zh) | 测试激励多平台复用方法、装置、设备及存储介质 | |
CN103226512A (zh) | 基于构件测试用例集组合的构件组装测试方法 | |
CN113392436A (zh) | 一种cae分析软件和办公软件集成化控制方法及平台 | |
CN113176995A (zh) | 基于测试场景的接口测试方法、装置、设备及介质 | |
US10268786B2 (en) | System and method for capturing transaction specific stage-wise log data | |
CN112214201A (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 |