买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网恭喜北京航空航天大学;北京空间飞行器总体设计部申请的专利一种基于模型的航天器控制器软件测试用例自动生成方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN114328188B 。

龙图腾网通过国家知识产权局官网在2025-05-27发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202111506160.X，技术领域涉及：G06F11/3668；该发明授权一种基于模型的航天器控制器软件测试用例自动生成方法是由殷蓓蓓;田野;张雷;郑征;孙波;李志栋设计研发完成，并于2021-12-10向国家知识产权局提交的专利申请。

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

本发明授权一种基于模型的航天器控制器软件测试用例自动生成方法在权利要求书中公布了：1.一种基于模型的航天器控制器软件测试用例自动生成方法，其特征在于：该方法包括以下步骤：步骤1、空间飞行器测试需求形式化建模，在统一规定的规则下，使用UML状态图对测试需求中航天器的状态以及其转换进行建模，即完成状态图的构建，得到无二义性的标准模型；其中，复杂的工作模式中包含其他的子工作模式，则使用复合状态图来表示；步骤2、对上述标准模型的预处理，将状态图中包含的测试信息，转换成一个有向图进行存储；其中，所述的复合状态图中包含层次信息，所以需要根据航天器自身的特点对所述复合状态图进行展平；步骤3、通过步骤2中得到的有向图，从中得到不同的覆盖准则下的测试路径——有向图中每一条从起始结点到终止结点的由结点和边组成的路径，都代表航天器软件测试的一条测试路径；步骤4、对步骤3得到的每一条测试路径划分系统的输入输出，并对该路径上的输入空间进行等价类划分；该步骤将在任意一条测试路径上生成不同的逻辑序列，这些逻辑序列在逻辑上对该任意一条测试路径的转移条件进行充分的覆盖；步骤5、对步骤4得到的每一个等价类，进行赋值操作，得到该逻辑序列上的具体的测试用例的序列，其中测试用例包含测试输入以及软件预期输出；其中，步骤2对所述复合状态图进行展平，具体过程如下：对于某复合状态sc，有以下的符号规定：复合状态内部的起始状态为sc-I，含有n个子状态sci，1≤i≤n，其中起始状态所连接的子状态为sc1；所述展平的原则是：a一个进入复合状态sc的转移t，其源状态为s1，目标状态可能是复合状态sc或者其子状态sci；如果所述转移t的目标状态是复合状态sc，则在展平后将产生由其源状态s1到起始状态所连接的子状态sc1的一条新转移t′；如果所述转移t的目标状态是子状态sci，则在展平后将产生由其源状态s1到子状态sci的一条新转移t″；然后删去原转移t，并将复合状态的entry动作添加为新转移t′或t″的转移动作；b一个离开复合状态sc的转移T,其目标状态为s2，其源状态可能是复合状态sc或者其子状态sci；如果所述转移T的源状态是sc,则展开后将产生n条由其所有子状态sci到达目标状态s2的新转移Ti，1≤i≤n；如果所述转移T的源状态是子状态sci,那么展开后产生一条从该子状态sci到达目标状态s2的新转移T′；然后删去原转移T，并将复合状态的exit动作添加为新转移Ti或者T′的转移动作；c复合状态里的起始状态在展平时删除；d展平后，将复合状态sc的do事件变为每个子状态的do事件。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人北京航空航天大学;北京空间飞行器总体设计部，其通讯地址为：100191 北京市海淀区学院路37号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。