CN106547274A - 一种基于场景矩阵的状态机测试方法 - Google Patents
一种基于场景矩阵的状态机测试方法 Download PDFInfo
- Publication number
- CN106547274A CN106547274A CN201510589517.3A CN201510589517A CN106547274A CN 106547274 A CN106547274 A CN 106547274A CN 201510589517 A CN201510589517 A CN 201510589517A CN 106547274 A CN106547274 A CN 106547274A
- Authority
- CN
- China
- Prior art keywords
- state
- unit
- scene
- test
- state machine
- 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
Landscapes
- Stored Programmes (AREA)
- Debugging And Monitoring (AREA)
Abstract
本发明提供了一种基于场景矩阵的状态机测试方法,采用的测试***包括需求单元、关键输入捕捉单元、预期输出生成单元、状态分析单元、执行规则生成单元、场景生成器单元和测试执行单元,测试方法包括用户需求输入、获取迁移条件、产生输出变量、产生场景矩阵、产生模型通过准则、完成场景矩阵的搭建和自动执行测试。本发明能够将复杂的状态机架构映射为清晰的二维场景矩阵,为复杂状态机的测试工作提供一种便捷、灵活、清晰以及高效率的自动化测试方法。能够显著提高复杂状态机验证与测试工作效率。
Description
技术领域
本发明属于飞行控制***领域,具体涉及一种基于场景矩阵的状态机测试方法。
背景技术
现如今的飞行控制***领域,大量复杂状态的***开发已涉及到使用有限状态机开发方法,它的使用可以解决复杂的逻辑问题。在状态机给飞行控制***开发工作带来巨大益处的同时,用什么方法进行针对状态机的验证与测试却是个难以解决的问题。由于状态机的开发具有其特殊性,若使用手工代码的代码审查方式进行人工模拟的动态检查过程。则弊端显而易见,不利于问题查找,特别是难以找出复杂的状态机迁移,更加不易筛选出状态机***的错误和不合格项。
发明内容
本发明针对飞行控制状态机开发***的验证与测试工作,提供一种可以清晰描述、无死角遍历以及自动执行测试工作的方法。
本发明的一种基于场景矩阵的状态机测试方法,首先提取状态机的输入、输出、迁移条件以及状态,然后确定以状态(State)、输出、通过法则(Pass/FailCriteria)及影响状态迁移的关键条件为主的重要元素,并用场景生成器生成场景矩阵(Scenarios),最后自动执行并获取脚本测试结果(Pass/Fail)。
考虑到现有技术的上述问题,根据本发明公开的一个方面,本发明采用以下技术方案:
一种基于场景矩阵的状态机测试方法,采用的测试***包括需求单元、关键输入捕捉单元、预期输出生成单元、状态分析单元、执行规则生成单元、场景生成器单元和测试执行单元,
其特征在于,测试方法步骤如下:
1)将用户需求输入需求单元(Requirement);
2)使用关键输入捕捉单元获取每一个状态(State)对应的输入变量,进行二次分析得到影响状态场景切换的关键迁移条件;
3)使用预期输出生成单元产生每一个状态(State)对应的输出变量;
4)使用状态分析单元产生多个状态(State),并将所述多个状态(State)分别设定为场景矩阵(Scenarios)的X轴和Y轴;
5)使用执行规则生成单元产生模型通过准则(Pass/Fail Criteria);
6)最后使用场景生成器单元完成场景矩阵的搭建,所述场景矩阵的第一列为通过准则及输出变量,第二列为输入变量,由多个状态(State)组成的场景矩阵的状态迁移焦点(Focus)位置填入影响状态场景切换的关键迁移条件;
7)使用测试执行单元执行测试,并自动获取测试结果(Pass/Fail)。
本发明能够将复杂的状态机架构映射为清晰的二维场景矩阵,为复杂状态机的测试工作提供一种便捷、灵活、清晰以及高效率的自动化测试方法。能够显著提高复杂状态机验证与测试工作效率,并且可保存的场景矩阵现场与自动执行的结果在状态机测试上的应用给相关领域提供了一个新的思路。
附图说明
图1是对状态机实现的***运用场景矩阵测试***示意图。
图2是对状态机实现的***运用场景矩阵测试的步骤流程图。
图3是一个以状态机实现的飞行控制***的机内自检测(Build In Test)测试指令接收功能的需求实例。
图4是按照需求实例实现的场景矩阵状态图。
具体实施方式
下面结合实施例对本发明作进一步地详细说明,但本发明的实施方式不限于此。
下面用一个以状态机实现的飞行控制***的机内自检测(Build In Test)测试指令接收功能为实例,这个飞行控制***的机内自检测(Build In Test)测试指令接收功能的用户需求是:
a)飞行控制***进行BIT模式后,在初始的“BIT测试等待状态”等待接收飞控计算机测试指令,若接收到测试指令的指令号且测试指令合法则***进入“BIT测试确认状态”;
b)在“BIT测试确认状态”中判断这个测试指令是否被禁止执行,若指令被禁止执行,那么***进入“BIT测试禁止状态”,否则***进入“BIT测试执行状态”;
c)当“BIT测试禁止状态”或“BIT测试执行状态”功能执行完成后***退回至“BIT测试等待状态”等待接收下一个测试指令。
待实现的需求单元详情见图3,下面则对方法的具体实施步骤进行详细说明:
1)分析用户需求,生成需求单元;
2)从图3的需求单元可提取的输入及关键迁移条件:
BIT测试指令有效字;
BIT测试指令号;
BIT测试指令禁止标志;
3)从图3的需求单元可提取的输出:
BIT测试进行中标志;
BIT测试禁止标志;
状态位置回报;
4)从图3的需求单元可提取的所有状态:
4个状态:BIT测试等待状态、
BIT测试确认状态、
BIT测试执行状态、
BIT测试禁止状态;
5)从图3的需求单元获取模型通过准则;
6)使用场景生成器(Scenarios Generator)建立包含以上所有关键元素在内场景矩阵(见图4)。其中图中“区域1”为所有状态组成的二维状态矩阵坐标,“区域2”为每个BIT测试状态正常的通过准则及预期输出,“区域3”关键条件迁移块(Focus Trans Block),图中标记为“场景1”与“场景2”的线段是达到所有条件覆盖的状态机动态场景迁移路径;
7)执行测试,根据实际输出与预期输出是否一致、场景迁移路径是否完全覆盖自动获取测试结果(Pass/Fail)。整个复杂状态机的验证与测试工作自动执行完成。
一个复杂的状态机模型实现的飞行控制***,若通过人工模型筛查和人工测试用例执行,是很难覆盖复杂逻辑的,不利于问题查找,更加不易筛选出***错误和不合格项。而基于场景矩阵的状态机测试方法,从状态机需求出发,将复杂的状态机模型转化成为清晰的二维状态机场景迁移矩阵,并实现用例执行和测试结果确认的自动化,从而大大提高状态机测试效率,降低漏测率,填补了状态机测试方面的空白。
Claims (1)
1.一种基于场景矩阵的状态机测试方法,采用的测试***包括需求单元、关键输入捕捉单元、预期输出生成单元、状态分析单元、执行规则生成单元、场景生成器单元和测试执行单元,
其特征在于,测试方法步骤如下:
1)将用户需求输入需求单元(Requirement);
2)使用关键输入捕捉单元获取每一个状态(State)对应的输入变量,进行二次分析得到影响状态场景切换的关键迁移条件;
3)使用预期输出生成单元产生每一个状态(State)对应的输出变量;
4)使用状态分析单元产生多个状态(State),并将所述多个状态(State)分别设定为场景矩阵(Scenarios)的X轴和Y轴;
5)使用执行规则生成单元产生模型通过准则(Pass/Fail Criteria);
6)最后使用场景生成器单元完成场景矩阵的搭建,所述场景矩阵的第一列为通过准则及输出变量,第二列为输入变量,由多个状态(State)组成的场景矩阵的状态迁移焦点(Focus)位置填入影响状态场景切换的关键迁移条件;
7)使用测试执行单元执行测试,并自动获取测试结果(Pass/Fail)。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201510589517.3A CN106547274B (zh) | 2015-09-16 | 2015-09-16 | 一种基于场景矩阵的状态机测试方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201510589517.3A CN106547274B (zh) | 2015-09-16 | 2015-09-16 | 一种基于场景矩阵的状态机测试方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN106547274A true CN106547274A (zh) | 2017-03-29 |
CN106547274B CN106547274B (zh) | 2019-11-15 |
Family
ID=58361609
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201510589517.3A Active CN106547274B (zh) | 2015-09-16 | 2015-09-16 | 一种基于场景矩阵的状态机测试方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN106547274B (zh) |
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN112950014A (zh) * | 2021-02-25 | 2021-06-11 | 重庆允成互联网科技有限公司 | 基于业务关系矩阵的设备状态监控方法、***及介质 |
CN113127366A (zh) * | 2021-04-28 | 2021-07-16 | 芜湖雄狮汽车科技有限公司 | 基于模型的矩阵自动化测试方法及计算机可读存储介质 |
Citations (10)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN1886705A (zh) * | 2002-08-28 | 2006-12-27 | 威哈娜有限公司 | 高效实现及评估状态机和可编程有限状态自动机的方法和设备 |
CN101964055A (zh) * | 2010-10-21 | 2011-02-02 | 重庆大学 | 一种模仿视觉感知机制的自然场景类型辨识方法 |
CN101511014B (zh) * | 2009-04-10 | 2011-12-07 | 杭州华三通信技术有限公司 | 一种视频编码的方法和设备 |
CN102342027A (zh) * | 2009-03-03 | 2012-02-01 | 交互数字专利控股公司 | 用于具有时间交织采样器阵列和基于场景的动态资源分配的射频(rf)采样装置的方法 |
CN103325296A (zh) * | 2012-03-19 | 2013-09-25 | 联想(北京)有限公司 | 用于即时定位与地图构建的信息处理方法和设备 |
CN103702100A (zh) * | 2013-12-17 | 2014-04-02 | Tcl商用信息科技(惠州)股份有限公司 | 一种场景的3d展示方法和*** |
US20140122764A1 (en) * | 2001-03-22 | 2014-05-01 | Altera Corporation | Adaptive integrated circuitry with heterogeneous and reconfigurable matrices of diverse and adaptive computational units having fixed, application specific computational elements |
CN103942575A (zh) * | 2014-04-02 | 2014-07-23 | 公安部第三研究所 | 基于场景和马尔科夫逻辑网的智能行为分析***及方法 |
CN104011736A (zh) * | 2011-12-15 | 2014-08-27 | 美光科技公司 | 用于状态机中的检测的方法及*** |
CN104298189A (zh) * | 2013-07-09 | 2015-01-21 | 费希尔-罗斯蒙特***公司 | 具有在状态间转换的用户可定义的动作的状态机功能块 |
-
2015
- 2015-09-16 CN CN201510589517.3A patent/CN106547274B/zh active Active
Patent Citations (10)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20140122764A1 (en) * | 2001-03-22 | 2014-05-01 | Altera Corporation | Adaptive integrated circuitry with heterogeneous and reconfigurable matrices of diverse and adaptive computational units having fixed, application specific computational elements |
CN1886705A (zh) * | 2002-08-28 | 2006-12-27 | 威哈娜有限公司 | 高效实现及评估状态机和可编程有限状态自动机的方法和设备 |
CN102342027A (zh) * | 2009-03-03 | 2012-02-01 | 交互数字专利控股公司 | 用于具有时间交织采样器阵列和基于场景的动态资源分配的射频(rf)采样装置的方法 |
CN101511014B (zh) * | 2009-04-10 | 2011-12-07 | 杭州华三通信技术有限公司 | 一种视频编码的方法和设备 |
CN101964055A (zh) * | 2010-10-21 | 2011-02-02 | 重庆大学 | 一种模仿视觉感知机制的自然场景类型辨识方法 |
CN104011736A (zh) * | 2011-12-15 | 2014-08-27 | 美光科技公司 | 用于状态机中的检测的方法及*** |
CN103325296A (zh) * | 2012-03-19 | 2013-09-25 | 联想(北京)有限公司 | 用于即时定位与地图构建的信息处理方法和设备 |
CN104298189A (zh) * | 2013-07-09 | 2015-01-21 | 费希尔-罗斯蒙特***公司 | 具有在状态间转换的用户可定义的动作的状态机功能块 |
CN103702100A (zh) * | 2013-12-17 | 2014-04-02 | Tcl商用信息科技(惠州)股份有限公司 | 一种场景的3d展示方法和*** |
CN103942575A (zh) * | 2014-04-02 | 2014-07-23 | 公安部第三研究所 | 基于场景和马尔科夫逻辑网的智能行为分析***及方法 |
Non-Patent Citations (2)
Title |
---|
刘晓明等: "一种基于邻接矩阵的有限状态机路径产生方法", 《全国第19届计算机技术与应用学术会议(CACIS·2008)》 * |
黄皓: "基于Labview状态机的飞行器自动测试平台设计", 《现场总线与网络》 * |
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN112950014A (zh) * | 2021-02-25 | 2021-06-11 | 重庆允成互联网科技有限公司 | 基于业务关系矩阵的设备状态监控方法、***及介质 |
CN113127366A (zh) * | 2021-04-28 | 2021-07-16 | 芜湖雄狮汽车科技有限公司 | 基于模型的矩阵自动化测试方法及计算机可读存储介质 |
CN113127366B (zh) * | 2021-04-28 | 2023-08-15 | 芜湖雄狮汽车科技有限公司 | 基于模型的矩阵自动化测试方法及计算机可读存储介质 |
Also Published As
Publication number | Publication date |
---|---|
CN106547274B (zh) | 2019-11-15 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN109961008B (zh) | 基于文字定位识别的表格解析方法、介质及计算机设备 | |
CN101571802B (zh) | 一种嵌入式软件测试数据可视化自动生成方法及*** | |
CN104503917B (zh) | 基于数据流函数调用路径的变更影响域分析方法及*** | |
CN102456082B (zh) | 二维-三维相结合的卫星总装工艺规划与仿真方法 | |
US9495492B1 (en) | Implementing synchronous triggers for waveform capture in an FPGA prototyping system | |
CN107590046B (zh) | 一种遥感卫星载荷任务指令验证方法和*** | |
CN104572072B (zh) | 一种对基于mvc模式的程序的语言转换方法与设备 | |
CN106445816A (zh) | 控件执行方法和装置 | |
CN106021101B (zh) | 对移动终端进行测试的方法及装置 | |
CN104899076A (zh) | 一种超大规模集成电路门级网表仿真的加速方法 | |
CN104391790A (zh) | 一种基于贪心算法的自动化测试用例选择方法 | |
CN109739759A (zh) | 一种验证黑盒测试用例设计完整性的方法 | |
KR20130122853A (ko) | 원자력발전소 훈련용 시뮬레이터의 실시간 중대사고 모의 시스템 및 그 방법 | |
US11409928B2 (en) | Configurable digital twin | |
CN105279092A (zh) | 一种软件测试的方法及装置 | |
CN106547274A (zh) | 一种基于场景矩阵的状态机测试方法 | |
CN103746873A (zh) | 通信模块测试***和方法 | |
CN104317711A (zh) | 一种基于路径的软件实现与设计一致性验证方法及*** | |
CN104216823A (zh) | 一种自动化测试方法及主控装置 | |
RU2656981C1 (ru) | Способ автоматизированного конфигурирования имитационных моделей беспилотных летательных аппаратов и устройство для его реализации | |
CN106339553A (zh) | 一种空间飞行器的重构飞行控制方法及*** | |
CN106251397A (zh) | 基于大型bim模型的框选方法及*** | |
CN107844427A (zh) | 一种基于测试资源感知的测试用例排序方法 | |
CN105512372A (zh) | 模型化的星载数据处理仿真测试方法 | |
CN110673874A (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 |