首页> 中国专利> 一种基于模型的航天器控制器软件测试用例自动生成方法

一种基于模型的航天器控制器软件测试用例自动生成方法

页面导航

摘要
著录项
法律信息
相似文献

摘要

本发明公开一种基于模型的航天器控制器软件测试用例自动生成方法，包括：1)、空间飞行器测试需求形式化建模，用UML状态图对测试需求中航天器的状态以及其转换进行建模得到标准模型；2)、对标准模型预处理，将状态图中包含的测试信息转换成有向图存储；3)、通过有向图可得到不同的覆盖准则下的测试路径；4)、对每一条测试路径划分系统输入输出，并对该路径的输入空间进行等价类划分。5)、对每一个等价类进行赋值操作，得到该逻辑序列上的具体测试用例的序列。本发明解决了航天器软件需求缺乏统一描述方式的缺点；解决目前测试过程中测试场景的设计完全依赖测试人员经验，无法保障设计的测试场景有效覆盖自主功能全部需求的缺点。

著录项

公开/公告号CN114328188A

专利类型发明专利
公开/公告日2022-04-12

原文格式PDF
申请/专利权人北京航空航天大学;北京空间飞行器总体设计部;
展开▼

申请/专利号CN202111506160.X
发明设计人殷蓓蓓;田野;张雷;郑征;孙波;李志栋;
展开▼

申请日2021-12-10
分类号G06F11/36(20060101);G06F30/20(20200101);
代理机构11232 北京慧泉知识产权代理有限公司;
代理人王顺荣;唐爱华
地址 100191 北京市海淀区学院路37号
入库时间 2023-06-19 14:53:05

法律信息

法律状态公告日

法律状态信息

法律状态
2022-04-12

公开

发明专利申请公布

相似文献

专利
中文文献
外文文献

1. 一种针对控制器软件存储功能的测试用例的自动生成方法及系统 [P] . 中国专利： CN114741289A . 2022-07-12
2. 一种针对软件模型检查工具的测试用例自动生成方法和系统 [P] . 中国专利： CN113434385A . 2021-09-24
3. 一种行业识别模型确定方法和装置 [P] . 世界知识产权组织专利： WO2020/143377A1 . 2020.07.16
4. 一种基于变分自编码器的训练样本数据扩充方法、存储介质及计算机设备 [P] . 世界知识产权组织专利： WO2020/143321A1 . 2020.07.16
5. 一种基于动态视觉传感器的角点检测方法 [P] . 世界知识产权组织专利： WO2020/143499A1 . 2020.07.16