CN105718366A - 基于Matlab的模型自动测试方法 - Google Patents

基于Matlab的模型自动测试方法 Download PDF

Info

Publication number
CN105718366A
CN105718366A CN201410737049.5A CN201410737049A CN105718366A CN 105718366 A CN105718366 A CN 105718366A CN 201410737049 A CN201410737049 A CN 201410737049A CN 105718366 A CN105718366 A CN 105718366A
Authority
CN
China
Prior art keywords
result
test
sil
simulation
model
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
Application number
CN201410737049.5A
Other languages
English (en)
Other versions
CN105718366B (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.)
AECC Aero Engine Control System Institute
Original Assignee
AVIATION POWER CONTROL SYSTEM RESEARCH INSTITUTE OF AVIATION INDUSTRY Corp OF CHINA
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 AVIATION POWER CONTROL SYSTEM RESEARCH INSTITUTE OF AVIATION INDUSTRY Corp OF CHINA filed Critical AVIATION POWER CONTROL SYSTEM RESEARCH INSTITUTE OF AVIATION INDUSTRY Corp OF CHINA
Priority to CN201410737049.5A priority Critical patent/CN105718366B/zh
Publication of CN105718366A publication Critical patent/CN105718366A/zh
Application granted granted Critical
Publication of CN105718366B publication Critical patent/CN105718366B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Landscapes

  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)
  • Debugging And Monitoring (AREA)
  • Tests Of Electronic Circuits (AREA)

Abstract

本发明属于航空发动机控制律模型全自动测试领域,提供一种基于Matlab的模型自动测试方法,包括:提取Sim-期望输出值、SIL-期望输出值、Simulaton仿真结果、SIL仿真结果、模型Condition、Decision、MCDC覆盖率报告、测试用例的通过与否统计信息,加入被测模型的概述、版本信息,自动生成自动测试WORD报告。采用本发明基于matlab的模型自动测试方法可以对于模型进行全自动自动测试,只需要按下开始按钮,一键就可以全自动测试,测试的自动化水平非常高。

Description

基于Matlab的模型自动测试方法
技术领域:
本发明属于航空发动机控制律模型全自动测试领域。
背景技术:
目前,Matlab工具软件在航空发动机控制领域使用非常广泛,发控项目都是采用Matlab工具进行模型开发设计。控制律模型都是人工开发,随着项目的日益庞大复杂,人工开发的模型的错误日益增多,隐含的BUG也日益增多,如何保证人工开发模型的正确性,同时如何保证是做的正确的模型,测试与验证是非常重要的手段。因此,测试验证的重要性不言而喻。测试分为人工测试与基于matlab工具的自动测试,人工测试有着显而易见的弊端:效率低下、测试用例无法复用、测试本身有可能就是错误的等等。而采用matlab工具的自动测试,可以全自动测试,只需要设计好测试用例,那么工具就会全自动按照用例全部测试一遍,同时可以自动生成测试报告。具有省人工、省人力、效率高、正确性有保证、可重复、可复用等优点。采用人工测试一个规模为2000个测试用例的项目,一个熟练的测试人员需要耗时超过一个月的时间全部测完,而采用基于matlab工具的自动测试,全自动运行测试用例,不超过1天就可以测试完成。项目模型升级过程中采用增量式的开发与测试,人工手动测试由于操作繁杂、测试时间长、效率低下,大多只针对模型升级部分进行增量式的测试,因而无法保证整个项目测试的完整性。自动测试可以非常方便、快速的进行全部测试用例的自动测试。同时,基于matlab工具的自动测试是未来测试的发展方向,人工测试最终会被自动测试取代。
基于matlab工具的模型自动测试,matlab工具不提供现成的功能模块,只是提供了matlab这个工具开发环境和库函数,所有的自动测试脚本函数都是需要自己编写应用函数。
发明内容:
发明目的:本发明提供一种基于Matlab的模型自动测试方法。
技术方案:一种基于Matlab的模型自动测试方法,包括:
1)自动采集EXCEL测试用例数据,测试用例采用EXCEL编写,包含测试输入与输出数据;
2)自动加载被测Matlab模型;
3)自动解析读入的被测Matlab模型,将自动采集的EXCEL测试用例数据中的输入与输出数据与自动加载的被测Matlab模型一起封装为Harness模型;
4)自动对Harness模型进行Simulation仿真;
5)自动对Harness模型生成代码,并进行SIL仿真:
6)对模型自动进行全路径的Condition、Decision、MCDC覆盖率测试,并生成覆盖率报告;
7)期望输出值减去Simulation仿真结果,取绝对值,然后除以期望输出值,得到Sim-期望数值判定结果,判断Sim-期望数值判定结果是否小于判断阈值,如果小于则判定两值相同,该测试点比对结果赋值“pass”,反之则判定两值不同,该测试点比对结果赋值“fail”;将期望输出值、Simulation仿真结果、Sim-期望数值判定结果记录在比对数据表格中;
8)期望输出值减去SIL仿真结果,取绝对值,然后除以期望输出值,得到SIL-期望输出值判定结果,判断SIL-期望输出值判定结果是否小于判断阈值,如果小于则判定两值相同,该测试点比对结果赋值“pass”,反之则判定两值不同,该测试点比对结果赋值“fail”;将期望输出值、SIL仿真结果、SIL-期望输出值判定结果记录在比对数据表格中;
9)Simulation仿真结果减去SIL仿真结果,取绝对值,然后除以Simulation仿真结果,得到Sim-SIL判定结果,判断Sim-SIL判定结果是否小于判断阈值,如果小于则判定两值相同,该测试点比对结果赋值“pass”,反之则判定两值不同,该测试点比对结果赋值“fail”;将Simulation仿真结果、SIL仿真结果、Sim-SIL判定结果记录在比对数据表格中;
10)如果Sim-期望数值判定结果、SIL-期望输出值判定结果、Sim-SIL判定结果中所有测试数据点比对结果全部为“pass”,则判定该测试用例通过,如果有一个测试点比对结果为“fail”,则判定该测试用例不通过;
11)提取期望输出值、Simulaton仿真结果、SIL仿真结果、模型Condition、Decision、MCDC覆盖率报告、测试用例的通过与否统计信息,加入被测模型的概述、版本信息,自动生成自动测试WORD报告;
12)遍历测试所有层级模型,并汇总所有测试用例的覆盖率报告、通过与否统计信息,并生成测试报告。
有益效果:采用本发明基于matlab的模型自动测试方法可以对于模型进行全自动自动测试,只需要按下开始按钮,一键就可以全自动测试,测试的自动化水平非常高。
附图说明
图1为本发明方法流程图。
具体实施方式
一种基于Matlab的模型自动测试方法,如图1所示,包括:
1)自动采集EXCEL测试用例数据,测试用例采用EXCEL编写,包含测试输入与输出数据;
2)自动加载被测Matlab模型;
3)自动解析读入的被测Matlab模型(模型中输入输出端是否包含BUS结构体都可以),,将自动采集的EXCEL测试用例数据中的输入与输出数据与自动加载的被测Matlab模型一起封装为Harness模型;
4)自动对Harness模型进行Simulation仿真;
5)自动对Harness模型生成代码,并进行SIL仿真(SoftInLoop:软件在回路仿真):
6)对模型自动进行全路径的Condition、Decision、MCDC覆盖率测试,并生成覆盖率报告;
7)期望输出值减去Simulation仿真结果,取绝对值,然后除以期望输出值,得到Sim-期望数值判定结果,判断Sim-期望数值判定结果是否小于判断阈值,如果小于则判定两值相同,该测试点比对结果赋值“pass”,反之则判定两值不同,该测试点比对结果赋值“fail”;将期望输出值、Simulation仿真结果、Sim-期望数值判定结果记录在比对数据表格中;
8)期望输出值减去SIL仿真结果,取绝对值,然后除以期望输出值,得到SIL-期望输出值判定结果,判断SIL-期望输出值判定结果是否小于判断阈值,如果小于则判定两值相同,该测试点比对结果赋值“pass”,反之则判定两值不同,该测试点比对结果赋值“fail”;将期望输出值、SIL仿真结果、SIL-期望输出值判定结果记录在比对数据表格中;
9)Simulation仿真结果减去SIL仿真结果,取绝对值,然后除以Simulation仿真结果,得到Sim-SIL判定结果,判断Sim-SIL判定结果是否小于判断阈值,如果小于则判定两值相同,该测试点比对结果赋值“pass”,反之则判定两值不同,该测试点比对结果赋值“fail”;将Simulation仿真结果、SIL仿真结果、Sim-SIL判定结果记录在比对数据表格中;
10)如果Sim-期望数值判定结果、SIL-期望输出值判定结果、Sim-SIL判定结果中所有测试数据点比对结果全部为“pass”,则判定该测试用例通过,如果有一个测试点比对结果为“fail”,则判定该测试用例不通过;
11)提取期望输出值、Simulaton仿真结果、SIL仿真结果、模型Condition、Decision、MCDC覆盖率报告、测试用例的通过与否统计信息,加入被测模型的概述、版本信息,自动生成自动测试WORD报告;
12)遍历测试所有层级模型,并汇总所有测试用例的覆盖率报告、通过与否统计信息,并生成测试报告。
本方法部分代码如下:

Claims (1)

1.一种基于Matlab的模型自动测试方法,其特征在于,包括:
1)自动采集EXCEL测试用例数据,测试用例采用EXCEL编写,包含测试输入与输出数据;
2)自动加载被测Matlab模型;
3)自动解析读入的被测Matlab模型,将自动采集的EXCEL测试用例数据中的输入与输出数据与自动加载的被测Matlab模型一起封装为Harness模型;
4)自动对Harness模型进行Simulation仿真;
5)自动对Harness模型生成代码,并进行SIL仿真:
6)对模型自动进行全路径的Condition、Decision、MCDC覆盖率测试,并生成覆盖率报告;
7)期望输出值减去Simulation仿真结果,取绝对值,然后除以期望输出值,得到Sim‐期望数值判定结果,判断Sim‐期望数值判定结果是否小于判断阈值,如果小于则判定两值相同,该测试点比对结果赋值“pass”,反之则判定两值不同,该测试点比对结果赋值“fail”;将期望输出值、Simulation仿真结果、Sim‐期望数值判定结果记录在比对数据表格中;
8)期望输出值减去SIL仿真结果,取绝对值,然后除以期望输出值,得到SIL‐期望输出值判定结果,判断SIL‐期望输出值判定结果是否小于判断阈值,如果小于则判定两值相同,该测试点比对结果赋值“pass”,反之则判定两值不同,该测试点比对结果赋值“fail”;将期望输出值、SIL仿真结果、SIL‐期望输出值判定结果记录在比对数据表格中;
9)Simulation仿真结果减去SIL仿真结果,取绝对值,然后除以Simulation仿真结果,得到Sim‐SIL判定结果,判断Sim‐SIL判定结果是否小于判断阈值,如果小于则判定两值相同,该测试点比对结果赋值“pass”,反之则判定两值不同,该测试点比对结果赋值“fail”;将Simulation仿真结果、SIL仿真结果、Sim‐SIL判定结果记录在比对数据表格中;
10)如果Sim‐期望数值判定结果、SIL‐期望输出值判定结果、Sim‐SIL判定结果中所有测试数据点比对结果全部为“pass”,则判定该测试用例通过,如果有一个测试点比对结果为“fail”,则判定该测试用例不通过;
11)提取期望输出值、Simulaton仿真结果、SIL仿真结果、模型Condition、Decision、MCDC覆盖率报告、测试用例的通过与否统计信息,加入被测模型的概述、版本信息,自动生成自动测试WORD报告;
12)遍历测试所有层级模型,并汇总所有测试用例的覆盖率报告、通过与否统计信息,并生成测试报告。
CN201410737049.5A 2014-12-05 2014-12-05 基于Matlab的模型自动测试方法 Active CN105718366B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201410737049.5A CN105718366B (zh) 2014-12-05 2014-12-05 基于Matlab的模型自动测试方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201410737049.5A CN105718366B (zh) 2014-12-05 2014-12-05 基于Matlab的模型自动测试方法

Publications (2)

Publication Number Publication Date
CN105718366A true CN105718366A (zh) 2016-06-29
CN105718366B CN105718366B (zh) 2019-03-29

Family

ID=56144185

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201410737049.5A Active CN105718366B (zh) 2014-12-05 2014-12-05 基于Matlab的模型自动测试方法

Country Status (1)

Country Link
CN (1) CN105718366B (zh)

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN107451064A (zh) * 2017-08-16 2017-12-08 北京车和家信息技术有限责任公司 自动测试方法、装置、计算机设备和可读存储介质
CN112631931A (zh) * 2020-12-29 2021-04-09 北京天融信网络安全技术有限公司 一种版本测试方法、装置、存储介质和电子设备

Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN102183896A (zh) * 2010-12-07 2011-09-14 北京广利核系统工程有限公司 一种利用Matlab测试保护逻辑的系统
US8762784B1 (en) * 2005-12-22 2014-06-24 The Mathworks, Inc. Viewing multi-dimensional metric data from multiple test cases

Patent Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US8762784B1 (en) * 2005-12-22 2014-06-24 The Mathworks, Inc. Viewing multi-dimensional metric data from multiple test cases
CN102183896A (zh) * 2010-12-07 2011-09-14 北京广利核系统工程有限公司 一种利用Matlab测试保护逻辑的系统

Non-Patent Citations (2)

* Cited by examiner, † Cited by third party
Title
ECKARD BRINGMANN ETC.: "Model-based Testing of Automotive Systems", 《SOFTWARE TESTING, VERIFICATION, AND VALIDATION》 *
叶海明 等: "自动化测试设备模型化研究", 《电子测量技术》 *

Cited By (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN107451064A (zh) * 2017-08-16 2017-12-08 北京车和家信息技术有限责任公司 自动测试方法、装置、计算机设备和可读存储介质
CN107451064B (zh) * 2017-08-16 2020-08-18 北京车和家信息技术有限责任公司 自动测试方法、装置、计算机设备和可读存储介质
CN112631931A (zh) * 2020-12-29 2021-04-09 北京天融信网络安全技术有限公司 一种版本测试方法、装置、存储介质和电子设备
CN112631931B (zh) * 2020-12-29 2023-08-29 北京天融信网络安全技术有限公司 一种版本测试方法、装置、存储介质和电子设备

Also Published As

Publication number Publication date
CN105718366B (zh) 2019-03-29

Similar Documents

Publication Publication Date Title
CN104407980B (zh) 移动应用自动化测试装置和方法
CN105701008B (zh) 用于测试用例生成的系统和方法
CN106909510A (zh) 一种获取测试用例的方法以及服务器
CN104268310B (zh) 使用专用图形界面调用uvm验证环境的方法
CN106446412B (zh) 一种航空电子系统基于模型的测试方法
CN105589837A (zh) 一种电子文档的自动查错方法
CN115656791B (zh) 芯片可测性设计的测试方法及测试平台
US20200074040A1 (en) Hierarchical expression coverage clustering for design verification
CN104765671A (zh) 一种用可重用性层次化验证平台进行uart模块验证的方法
CN104050069B (zh) 一种基于Mars评判Verilog实现MIPS处理器正确性的自动化测试方法
CN106933572B (zh) 一种基于llvm中间表示程序切片的度量模型
CN105718366A (zh) 基于Matlab的模型自动测试方法
US10169217B2 (en) System and method for test generation from software specification models that contain nonlinear arithmetic constraints over real number ranges
Islam et al. Measuring energy footprint of software features
CN103885341A (zh) 基于汽车性能模拟器的性能分析系统和方法
CN103455672A (zh) 一种fpga仿真测试用例自动化回归方法
Shin et al. HITECS: A UML profile and analysis framework for hardware-in-the-loop testing of cyber physical systems
CN109471637A (zh) 电路图的审查脚本调试方法
CN115684894A (zh) 芯片可测性设计的测试方法及测试平台
CN105045698A (zh) 使用python的matplotlib分析芯片验证进度的方法
Buffoni et al. Traceability and impact analysis in requirement verification
CN109656804A (zh) 自动化测试方法、设备、存储介质及装置
CN105718617B (zh) 用于Matlab自动测试的Bus结构体反向自动建模方法
CN107872358B (zh) 一种针对hdlc协议的自动化仿真测试方法
CN108363567B (zh) 一种基于数据库的验证平台激励器自动化生成方法

Legal Events

Date Code Title Description
C06 Publication
PB01 Publication
C10 Entry into substantive examination
SE01 Entry into force of request for substantive examination
GR01 Patent grant
GR01 Patent grant
CP03 Change of name, title or address

Address after: No. 104, Liangxi Road, Binhu District, Wuxi City, Jiangsu Province

Patentee after: AECC AERO ENGINE CONTROL SYSTEM INSTITUTE

Address before: 214063 Jiangsu city of Wuxi province Liangxi Road No. 792

Patentee before: AVIC AVIATION MOTOR CONTROL SYSTEM INSTITUTE

CP03 Change of name, title or address