CN107977312B - 一种基于复杂接口时序的软件系统测试验证方法 - Google Patents

一种基于复杂接口时序的软件系统测试验证方法 Download PDF

Info

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
Application number
CN201711168665.3A
Other languages
English (en)
Other versions
CN107977312A (zh
Inventor
毛强
窦小明
吴晓蕊
杨飞
薛凯
金娜
陈超
底亚峰
顾天祺
赵媛心
尹琼
高鹏
魏柯
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
China Academy of Launch Vehicle Technology CALT
Beijing Institute of Near Space Vehicles System Engineering
Original Assignee
China Academy of Launch Vehicle Technology CALT
Beijing Institute of Near Space Vehicles System Engineering
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by China Academy of Launch Vehicle Technology CALT, Beijing Institute of Near Space Vehicles System Engineering filed Critical China Academy of Launch Vehicle Technology CALT
Priority to CN201711168665.3A priority Critical patent/CN107977312B/zh
Publication of CN107977312A publication Critical patent/CN107977312A/zh
Application granted granted Critical
Publication of CN107977312B publication Critical patent/CN107977312B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

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开关量接口属性参数矩阵示例
Figure BDA0001476786060000041
如表2所示为异步串行接口属性参数矩阵表示例
表2异步串行接口属性参数矩阵表示例
Figure BDA0001476786060000042
Figure BDA0001476786060000051
如图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所述的一种基于复杂接口时序的软件系统测试验证方法，其特征在于：所述的对软件系统测试验证用例进行反馈迭代优化的约束为：
判断软件系统测试验证用例是否存在引发软件系统失效、软件系统安全隐患。
CN201711168665.3A 2017-11-21 2017-11-21 一种基于复杂接口时序的软件系统测试验证方法 Active CN107977312B (zh)

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)

* Cited by examiner, † Cited by third party
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)

* Cited by examiner, † Cited by third party
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)

* Cited by examiner, † Cited by third party
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

Patent Citations (3)

* Cited by examiner, † Cited by third party
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)

* Cited by examiner, † Cited by third party
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) セーフティクリティカルソフトウェア自動要求ベーステストケース生成のためのシステムおよび方法
CN107977312B (zh) 一种基于复杂接口时序的软件系统测试验证方法
US10025696B2 (en) System and method for equivalence class analysis-based automated requirements-based test case generation
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
US9965252B2 (en) Method and system for generating stateflow models from software requirements
CN106612204B (zh) 业务校验方法及装置
CN105868114A (zh) Fpga软件系统及其各模块测试系统和方法
CN105591779A (zh) 网元巡检方法及装置
CN105786695A (zh) 数据测试方法及系统
CN109491922A (zh) 一种基于模型驱动的测试方法和装置
Tapia-Flores et al. Discovering petri net models of discrete-event processes by computing T-invariants
CN104750610A (zh) 基于占优度的消息传递并行程序变异体约简方法
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分析软件和办公软件集成化控制方法及平台
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