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

龙图腾网获悉西北工业大学申请的专利一种基于LTLf的程序运行时验证方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119718892B 。

龙图腾网通过国家知识产权局官网在2025-10-10发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202411922800.9，技术领域涉及：G06F11/3604；该发明授权一种基于LTLf的程序运行时验证方法是由李晓锋;董云卫;沈博设计研发完成，并于2024-12-25向国家知识产权局提交的专利申请。

本一种基于LTLf的程序运行时验证方法在说明书摘要公布了：本发明公开了一种基于LTLf的程序运行时验证方法，涉及电数字数据处理技术领域。该基于LTLf的程序运行时验证方法，包括以下步骤：时效性评估；故障验证；数据解析；形式化验证。本发明通过网络数据获取运行时效性评估值并判断是否进行运行时效性调整，然后通过网络数据和满足时效性条件的运行时效性评估值获取故障验证安全评估值并判断是否进行故障安全性调整，接着通过对封装网络数据进行数据解析获取解析准确性评估值，最后基于解析准确性评估值判断是否进行准确性调整，并对LTLf约束数据进行形式化验证，达到了提高程序运行时验证时效性的效果，解决了现有技术中存在程序运行时验证时效性低的问题。

本发明授权一种基于LTLf的程序运行时验证方法在权利要求书中公布了：1.一种基于LTLf的程序运行时验证方法，其特征在于，包括以下步骤： S1，根据网络数据获取运行时效性评估值，基于运行时效性评估值判断是否进行运行时效性调整； S2，根据网络数据和满足时效性条件的运行时效性评估值获取故障验证安全评估值，基于故障验证安全评估值判断是否进行故障安全性调整，所述运行时效性评估值用于评估进行网络传输时的时效性，所述故障验证安全评估值用于评估根据接收的网络数据进行动态验证时的安全性； S3，根据满足安全性条件的故障验证安全评估值对应的网络数据获取封装网络数据，对封装网络数据进行数据解析获取解析准确性评估值，所述解析准确性评估值用于评估封装网络数据进行数据解析过程中的准确性； S4，基于解析准确性评估值判断是否进行准确性调整，对满足解析准确性条件的解析准确性评估值对应的LTLf约束数据进行形式化验证; 所述网络数据的具体获取过程如下： 获取初始网络数据，所述初始网络数据表示运行时所产生的日志数据； 通过网络传输将初始网络数据缓存，并将缓存的初始网络数据读取到指定字符串数组中； 对初始网络数据进行封装识别获取网络数据； 所述网络数据包括网络数据接收时延、封装识别时延、运行故障时长、运行故障次数、运行时长、故障维护时间、解析符合次数和解析符合数据量； 所述解析符合次数表示对封装网络数据进行数据解析后符合预设LTLf约束条件的解析次数； 所述解析符合数据量表示对封装网络数据进行数据解析后符合预设LTLf约束条件的封装网络数据对应的数据量; 所述根据网络数据获取运行时效性评估值的具体过程如下： 第一步，通过网络数据接收时延和从数据库中获取的预设接收时延阈值之差与预设接收时延阈值进行比值运算并处理得到网络数据接收时延偏差； 第二步，通过封装识别时延和从数据库中获取的预设识别阈值之差与预设识别阈值进行比值运算并处理得到封装识别时延偏差； 第三步，结合网络数据接收时延偏差和封装识别时延偏差获取运行时效性评估值; 所述根据网络数据和满足时效性条件的运行时效性评估值获取故障验证安全评估值的具体过程如下： 通过运行故障时长和运行时长进行比值运算获取初始故障率； 通过初始故障率和从数据库中获取的预设故障率阈值之差与预设故障率阈值进行比值运算获取运行故障偏差； 通过故障维护时间和运行故障次数进行比值运算获取初始故障恢复时间； 通过初始故障恢复时间和从数据库中获取的预设故障恢复时间阈值之差与预设故障恢复时间阈值进行比值运算获取运行故障恢复偏差； 结合运行故障偏差、运行故障恢复偏差和满足时效性条件的运行时效性评估值获取故障验证安全评估值; 所述对封装网络数据进行数据解析获取解析准确性评估值的具体获取过程如下： 通过解析符合次数和从数据库中获取的预设解析次数阈值进行比值运算获取解析符合比； 通过解析符合数据量和从数据库中获取的预设解析数据量阈值进行比值运算获取解析数据量符合比； 结合解析符合比、解析数据量符合比和满足安全性条件的故障验证安全评估值获取解析准确性评估值。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人西北工业大学，其通讯地址为：710068 陕西省西安市友谊西路127号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。