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

龙图腾网获悉北京航空航天大学申请的专利一种机载软件安全性建模及自动化测试的方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119396724B 。

龙图腾网通过国家知识产权局官网在2025-11-18发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202411447179.5，技术领域涉及：G06F11/3668；该发明授权一种机载软件安全性建模及自动化测试的方法是由殷永峰;宿庆冉;杨溢龙;李星泽;任禹名;胡春明设计研发完成，并于2024-10-16向国家知识产权局提交的专利申请。

本一种机载软件安全性建模及自动化测试的方法在说明书摘要公布了：本发明实施例提供了一种机载软件安全性建模及自动化测试的方法，包括：根据机载软件所属的领域，利用安全性质抽取模块抽取安全性测试所需的安全性质描述，同时对SysML模型进行设计，将SysML模型的XML文件和安全性质描述上传至模型自动扩展模块；模型自动扩展模块依据上传的安全性质描述对SysML模型的XML文件进行扩展，并对SysML模型的节点类型和路径信息进行补充，生成扩展后模型；测试用例自动生成模块依据模型自动扩展模块输出的扩展后模型，生成扩展后模型的全面测试路径和测试数据。由于该方案通过安全性质抽取模块、模型自动扩展模块和测试用例自动生成模块，追加了安全性测试，提高了测试用例生成的效率。

本发明授权一种机载软件安全性建模及自动化测试的方法在权利要求书中公布了：1.一种机载软件安全性建模及自动化测试的方法，其特征在于，所述机载软件安全性建模及自动化测试的方法基于安全性质抽取模块、模型自动扩展模块、测试用例自动生成模块实现，包括： 根据机载软件所属的领域，利用所述安全性质抽取模块抽取安全性测试所需的安全性质描述，同时对机载软件SysML模型进行设计，将所述机载软件SysML模型的XML文件和所述安全性质描述上传至所述模型自动扩展模块； 所述模型自动扩展模块依据上传的所述安全性质描述对所述机载软件SysML模型的XML文件进行扩展，并对所述机载软件SysML模型的节点类型和路径信息进行补充，生成扩展后模型； 所述模型自动扩展模块通过大语言模型对所述机载软件SysML模型进行扩展，包括： 设计带有上下文文本的Prompt和不带有上下文文本的Prompt，所述模型自动扩展模块将所述带有上下文文本的Prompt、所述不带有上下文文本的Prompt和安全性准则作为大语言模型的输入，对所述机载软件SysML模型的XML文件进行扩展，输出安全性状态图； 所述测试用例自动生成模块依据所述模型自动扩展模块输出的所述扩展后模型，生成所述扩展后模型的全面测试路径和测试数据； 所述测试用例自动生成模块通过大语言模型为遗传算法生成超参数并改进个体变异过程。

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

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