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

龙图腾网获悉南京航空航天大学申请的专利一种面向SCADE模型的测试用例自动生成方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN115408289B 。

龙图腾网通过国家知识产权局官网在2026-04-28发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202211101227.6，技术领域涉及：G06F11/3668；该发明授权一种面向SCADE模型的测试用例自动生成方法是由杨志斌;邵温欣;张泽伦;周勇;王海珍设计研发完成，并于2022-09-09向国家知识产权局提交的专利申请。

本一种面向SCADE模型的测试用例自动生成方法在说明书摘要公布了：本发明公开了一种面向SCADE模型的测试用例自动生成方法，通过读取SCADE模型自动生成的XML文档，获取模型中安全状态机的信息，将安全状态机模型中的状态和迁移转化为有向图中的节点和边；继而深度遍历有向图，获得状态迁移路径；为缓解迁移条件的组合爆炸问题，采用组合测试算法AETG，优化迁移条件，获得迁移条件路径；并使用屏蔽算法进行满足MCDC覆盖的逻辑取值，根据迁移条件约束到具体数据的映射，为每个迁移条件生成具体的测试用例，以此实现一个面向SCADE模型的测试用例自动生成。

本发明授权一种面向SCADE模型的测试用例自动生成方法在权利要求书中公布了：1.一种面向SCADE模型的测试用例自动生成方法，其特征在于：包括以下步骤： 步骤1：获取指定SCADE模型的输入变量，并获取指定SCADE模型对输入变量的取值域信息，以及获取指定SCADE模型自动生成的模型XML文档； 步骤2：采用XML文档解析器对模型XML文档进行解析，得到指定SCADE模型中安全状态机的状态信息和迁移信息； 步骤3：以安全状态机的状态信息为节点，以安全状态机的迁移信息为边，构建有向图； 步骤4：采用深度优先搜索算法，遍历有向图，得到全部的状态迁移路径；每个所述状态迁移路径由n+1个状态和n个迁移条件组成，每个迁移条件按照条件为逻辑真值进行分解为若干个子条件； 步骤5：对全部的状态迁移路径采用组合测试算法，得到迁移条件路径；每个所述迁移条件路径均为子条件组合； 步骤6：将迁移条件路径的每个子条件的中缀表达式转换为逆波兰式，根据转换得到的逆波兰式，构建语法树；采用屏蔽算法，从语法树的根节点开始，经过若干次的将任一叶子的位置调整到最左叶子结点处，给整棵语法树重新赋值，得到关于子条件的抽象测试用例，以此得到抽象测试用例集； 步骤7：根据抽象测试用例集中每个抽象测试用例的逻辑取值，以及指定SCADE模型对输入变量的取值域信息，为每个抽象测试用例的输入随机生成一个具体数值； 步骤8：将所有抽象测试用例写入测试脚本文件中，得到测试用例文件；使用SCADE工具的仿真器对测试用例文件进行仿真，得到测试结果； 步骤6中，所述的采用屏蔽算法，从语法树的根节点开始，经过若干次的将任一叶子的位置调整到最左叶子结点处，给整棵语法树重新赋值，得到关于子条件的抽象测试用例，以此得到抽象测试用例集，具体包括： S610：取语法树最左节点条件作为第一个条件，并设置语法树最左节点条件为当前节点，对当前节点分别赋值false和true，其余子节点根据屏蔽算法取默认取值，得到两组抽象测试用例； S620：判断当前条件是否为最后一个条件，若是，则结束；若不是，则右移一个条件作为当前条件； S630：当前条件的取值由其默认取值取反得到，设置当前条件为自由条件； S640：自由条件的默认取值向左传递至前置条件，设置前置条件为自由条件； S650：若自由条件为语法树的最左节点，则继续，否则转至S640； S660：此组测试用例中其余未确定的条件由其默认取值填充，完成后得到一组新的测试用例，转至S620； 所述步骤8具体包括： 按照以下格式，将所有抽象测试用例写入测试脚本文件中，得到测试用例文件； SSM::setvarval SSM::cycle[integer] 其中，var指要赋值的变量名，val指给var变量赋的具体值，cycle指这一抽象测试用例运行的周期数； 生成后缀为.sss的测试用例文件后，使用SCADE工具的仿真器进行仿真得到测试结果。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人南京航空航天大学，其通讯地址为：211106 江苏省南京市江宁区将军大道29号南京航空航天大学；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。