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

龙图腾网恭喜株洲中车时代电气股份有限公司申请的专利测试用例生成方法、设备和存储介质获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN114201381B 。

龙图腾网通过国家知识产权局官网在2025-04-29发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202010912176.X，技术领域涉及：G06F11/3668；该发明授权测试用例生成方法、设备和存储介质是由李宁;徐绍龙;王雨;廖亮;王飞;王兴安;蒋明睿;吴斐;童金刚设计研发完成，并于2020-09-02向国家知识产权局提交的专利申请。

本测试用例生成方法、设备和存储介质在说明书摘要公布了：本发明公开了一种测试用例生成方法、设备和存储介质，包括：根据软件需求规格，建立有限状态机模型和基于类功能块图语言的功能块图模型；根据功能块图模型的生效状态，在有限状态机模型中选取一个软件运行的状态作为功能块图模型的前置状态；根据预设的转换规则，将功能块图模型转换为描述软件运行的状态变化过程的转换有限状态机模型，并根据功能块图模型的前置状态，将转换有限状态机模型与有限状态机模型进行关联，得到目标有限状态机模型；基于目标有限状态机模型，采用预设的遍历算法，将每一条路径生成一条测试用例，既能够准确全面地描述软件的运行过程状态，又能够准确描述软件输入输出之间的逻辑关系，提高了生成的测试用例准确性。

本发明授权测试用例生成方法、设备和存储介质在权利要求书中公布了：1.一种测试用例生成方法，其特征在于，包括：根据软件需求规格中的所有软件运行的状态和不同软件运行的状态之间转换的触发条件，建立有限状态机模型；根据软件需求规格中的输入输出、输入与输出之间的逻辑关系、所有输入之间的约束关系，建立基于类功能块图语言的功能块图模型；根据所述功能块图模型的生效状态，在所述有限状态机模型中选取一个软件运行的状态作为所述功能块图模型的前置状态；根据预设的转换规则，将功能块图模型转换为描述软件运行的状态变化过程的转换有限状态机模型，并根据所述功能块图模型的前置状态，将所述转换有限状态机模型与所述有限状态机模型进行关联，得到目标有限状态机模型；基于所述目标有限状态机模型，采用预设的遍历算法，将每一条路径生成一条测试用例；所述功能块图模型包括输入模型元素、输出模型元素和功能模型元素；所述功能模型元素用于描述所述输入模型元素与所述输出模型元素之间逻辑关系；根据预设的转换规则，将功能块图模型转换为描述软件运行的状态变化过程的转换有限状态机模型，包括：以所述功能块图模型的前置状态为初始状态，对所述功能块图模型中与每个输出模型元素存在连接关系的一组功能模型元素进行求解，得到该组功能模型元素的入口状态；其中，所述连接关系包括直接连接和或间接连结；根据预设的转换规则，将每个功能模型元素转换为对应的展开有限状态机模型；针对每个所述展开有限状态机模型的每一个转换和状态，求解满足期望的输入变量和输出变量的数据组合，以得到对应的过程有限状态机模型；对所有过程有限状态机模型进行重组处理，以得到所述转换有限状态机模型。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人株洲中车时代电气股份有限公司，其通讯地址为：412001 湖南省株洲市石峰区时代路169号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。