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

龙图腾网获悉北京理工大学申请的专利一种基于概率扩展有限状态机的测试用例自动生成系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN115757105B 。

龙图腾网通过国家知识产权局官网在2026-03-24发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202211376896.4，技术领域涉及：G06F11/3668；该发明授权一种基于概率扩展有限状态机的测试用例自动生成系统是由马锐;周旭鸿;王丹;陈逸轩;张正设计研发完成，并于2022-11-04向国家知识产权局提交的专利申请。

本一种基于概率扩展有限状态机的测试用例自动生成系统在说明书摘要公布了：本发明提出一种基于概率扩展有限状态机的测试用例自动生成系统，能够提高测试用例生成的效率和质量，通过对处理后的PEFSM模型进行概率选择，最终生成测试用例。包括PEFSM模型构建模块、去除不可行路径模块、测试用例概率生成模块；PEFSM模型构建模块根据被测系统的需求说明和界面设计获取用户历史操作记录数据库中用于构建模型的相关数据，输出描述被测系统行为的PEFSM模型；去除不可行路径模块以所述PEFSM模型为输入，采用评估路径可行性度量方法识别并去除其中不可行路径，输出由迁移路径集合而成的可靠测试路径集；测试用例概率生成模块以可靠测试路径集为输入，对上下文变量进行初始化，并将路径集中的测试路径实例化，得到被测系统的测试用例。

本发明授权一种基于概率扩展有限状态机的测试用例自动生成系统在权利要求书中公布了：1.一种基于概率扩展有限状态机的测试用例自动生成系统，其特征在于，包括：PEFSM模型构建模块、去除不可行路径模块、测试用例概率生成模块；其中， 所述PEFSM模型构建模块根据被测系统的需求说明和界面设计获取用户历史操作记录数据库中用于构建模型的相关数据，并对被测系统进行行为描述，输出对应系统的PEFSM模型； 所述去除不可行路径模块以所述PEFSM模型为输入，采用规则和路径可行性度量方法识别并去除其中不可行路径，输出由迁移路径集合而成的可靠测试路径集； 所述测试用例概率生成模块以所述可靠测试路径集为输入，先对测试用例进行概率选择，得到发生概率较大的前N条测试路径，再对其进行实例化，输出得到被测系统的测试用例； 去除不可行路径的具体步骤如下： ①生成候选路径集； ②处理所述候选路径集中的迁移路径：判断候选路径集中的迁移路径是否处理完毕，若存在没有处理过的迁移路径，则执行步骤③，反之，对候选路径集中所有路径的可行性判断或计算已处理完毕，则执行步骤⑦； ③从候选路径集中取出一条未处理过的迁移路径； ④识别定义-谓词-使用对，对每一条迁移路径维护一个变量操作记录表，当迁移tq中存在对变量x的赋值操作a时，将变量-赋值对x,a写入变量操作记录表，当迁移tq中存在对变量x或对含有变量x的表达式的判定操作p时，查询变量操作记录表，若找到变量x的变量-赋值对x,a，则该条迁移路径中存在定义-谓词-使用对，执行步骤⑤，反之，执行步骤⑥； ⑤采用规则对路径是否可行进行判定，若可通过规则判定路径为不可行的，当前迁移路径不加入可靠测试路径集，执行步骤②，反之，则执行步骤⑥； ⑥使用与概率结合的路径可行性状态模型度量该条路径的可行性，计算完毕一条迁移路径的可行性值后，返回执行步骤②； ⑦获得可行路径；将路径的惩罚值进行升序排序，选择排序中前N条路径，将其判定为可行性好的迁移路径，加入到可靠测试路径集中；其中，N为选择可行路径数量阈值，为正整数； 所述与概率结合的路径可行性状态模型具体采用如下公式； 其中，dfi是迁移路径中的定义-谓词-使用对，vdfi是迁移路径中的定义-谓词-使用对惩罚值，bm是定义-谓词-使用对中赋值迁移的迁移概率，bn是定义-谓词-使用对中判定迁移的迁移概率，|TP|是路径长度，是调整路径长度影响的因子，k是路径中存在的定义-谓词-使用对的个数。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人北京理工大学，其通讯地址为：100081 北京市海淀区中关村南大街5号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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