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

龙图腾网获悉中国人民解放军国防科技大学申请的专利一种复杂软件系统功能正确性的工程化验证方法与系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119690852B 。

龙图腾网通过国家知识产权局官网在2025-06-10发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202510192589.8，技术领域涉及：G06F11/3668；该发明授权一种复杂软件系统功能正确性的工程化验证方法与系统是由尹良泽;单佳波;董威;王戟;陈振邦;陈立前;文艳军设计研发完成，并于2025-02-21向国家知识产权局提交的专利申请。

本一种复杂软件系统功能正确性的工程化验证方法与系统在说明书摘要公布了：本发明公开了一种复杂软件系统功能正确性的工程化验证方法与系统，本发明方法包括进行模块功能分析、模块输入分析以及执行效果分析，根据分析得到的模块功能、输入情况和执行效果构建验证需求的描述；进行运行环境分析确定复杂软件系统运行时所依赖的软硬件环境，进行上下文环境抽象，根据抽象后的上下文环境执行验证场景构建，将验证需求的描述使用验证语言形式化规约插入到验证用例代码中以完成验证用例的构建；利用验证工具执行构建的验证用例得到验证结果并进行验证缺陷分析。本发明旨在通过验证需求构建、验证用例构建及验证用例执行三个阶段形成了一套完整的复杂软件系统功能正确性的工程化验证机制，为复杂软件系统的质量保证提供支撑。

本发明授权一种复杂软件系统功能正确性的工程化验证方法与系统在权利要求书中公布了：1.一种复杂软件系统功能正确性的工程化验证方法，其特征在于，包括下述步骤：S101，进行模块功能分析以确定复杂软件系统中被验证模块的功能；进行模块输入分析以确定复杂软件系统中被验证模块完成模块功能所需的输入情况；进行执行效果分析以确定复杂软件系统中被验证模块在给定输入情况下的执行效果；根据分析得到的模块功能、输入情况和执行效果构建验证需求的描述；S102，进行运行环境分析确定复杂软件系统运行时所依赖的软硬件环境，对复杂软件系统中被验证模块与所依赖的软硬件环境并进行上下文环境抽象以减少验证的复杂性，根据抽象后的上下文环境执行验证场景构建，将验证需求的描述使用验证语言形式化规约插入到验证用例代码中以完成验证用例的构建；S103，利用验证工具执行构建的验证用例得到验证结果并进行验证缺陷分析；步骤S102中对复杂软件系统中被验证模块与所依赖的软硬件环境并进行上下文环境抽象包括：S301，针对复杂软件系统中被验证模块进行功能依赖分析以确定被验证模块在软硬件环境中所依赖的外部接口；S302，通过分析被验证模块与外部接口的交互行为，通过模拟外部接口的标准输入输出的方式将外部接口抽象为虚拟的行为模型以减少外部依赖对验证的影响；S303，针对无法抽象的复杂上下文环境，利用模拟器模拟硬件接口、系统中断在内的关键要素以确保模拟环境与真实环境一致；S304，针对复杂软件系统中的被验证模块删减模块功能无关代码以实现状态空间缩减；步骤S102中根据抽象后的上下文环境执行验证场景构建包括：S401，解析验证需求的描述，将发生在同一验证场景下的验证需求提取整理出来，多个验证场景包含的验证需求可重复，确保所有验证场景能覆盖所有验证需求；S402，设计验证场景，包括：根据验证需求的前置条件或被测子功能在复杂软件系统中主要执行路径的输入条件设计能模拟实际运行时的验证场景；S403，判断设计的验证场景是否覆盖所有验证需求的描述的验证需求，如果尚未覆盖所有验证需求的描述的验证需求，则跳转步骤S402继续设计验证场景；否则判定完成根据抽象后的上下文环境执行验证场景构建。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人中国人民解放军国防科技大学，其通讯地址为：410073 湖南省长沙市开福区德雅路109号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。