[发明专利]一种基于场景矩阵的状态机测试方法有效
| 申请号： | 201510589517.3 | 申请日： | 2015-09-16 |
| 公开（公告）号： | CN106547274B | 公开（公告）日： | 2019-11-15 |
| 发明（设计）人： | 李鹏;武方方;赵亮;张丹涛;田佳;陈晰亮;王玮 | 申请（专利权）人： | 中国航空工业第六一八研究所 |
| 主分类号： | G05D1/08 | 分类号： | G05D1/08 |
| 代理公司： | 11008 中国航空专利中心 | 代理人： | 杜永保<国际申请>=<国际公布>=<进入 |
| 地址： | 710065陕西*** | 国省代码： | 陕西;61 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提供了一种基于场景矩阵的状态机测试方法，采用的测试系统包括需求单元、关键输入捕捉单元、预期输出生成单元、状态分析单元、执行规则生成单元、场景生成器单元和测试执行单元，测试方法包括用户需求输入、获取迁移条件、产生输出变量、产生场景矩阵、产生模型通过准则、完成场景矩阵的搭建和自动执行测试。本发明能够将复杂的状态机架构映射为清晰的二维场景矩阵，为复杂状态机的测试工作提供一种便捷、灵活、清晰以及高效率的自动化测试方法。能够显著提高复杂状态机验证与测试工作效率。 | ||
| 搜索关键词： | 一种 基于 场景 矩阵 状态机 测试 方法 | ||
【主权项】：
1.一种基于场景矩阵的状态机测试方法，采用的测试系统包括需求单元、关键输入捕捉单元、预期输出生成单元、状态分析单元、执行规则生成单元、场景生成器单元和测试执行单元，/n其特征在于，测试方法步骤如下：/n1)将用户需求输入需求单元；/n2)使用关键输入捕捉单元获取每一个状态对应的输入变量，进行二次分析得到影响状态场景切换的关键迁移条件；/n3)使用预期输出生成单元产生每一个状态对应的输出变量；/n4)使用状态分析单元产生多个状态，并将所述多个状态分别设定为场景矩阵的X轴和Y轴；/n5)使用执行规则生成单元产生模型通过准则；/n6)最后使用场景生成器单元完成场景矩阵的搭建，所述场景矩阵的第一列为通过准则及输出变量，第二列为输入变量，由多个状态组成的场景矩阵的状态迁移焦点位置填入影响状态场景切换的关键迁移条件；/n7)使用测试执行单元执行测试，并自动获取测试结果。/n
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于中国航空工业第六一八研究所，未经中国航空工业第六一八研究所许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201510589517.3/，转载请声明来源钻瓜专利网。
