北京
国家知识产权局信息显示，上海安般信息科技有限公司申请一项名为“一种函数功能与需求一致性验证方法及系统”的专利，公开号CN122507635A，申请日期为2026年5月。
专利摘要显示，本发明公开了一种函数功能与需求一致性验证方法及系统，方法包括：获取自然语言描述的函数功能需求文档，基于需求文档解析模型对函数功能需求文档进行解析，生成对应的需求语义向量，并形成需求语义向量集合；获取待测函数源代码，对待测函数源代码进行静态分析，构建中间表示，基于中间表示确定多个代码片段，生成每一代码片段对应的代码语义向量，形成代码分析结果；基于需求语义向量集合与代码语义向量集合之间的向量空间相似度，确定需求约束单元与代码片段之间的候选匹配关系，基于候选匹配关系进行逻辑蕴含检查，并形成一致性比对结果；基于一致性比对结果，确定函数功能需求文档与待测函数源代码之间的偏差类型及偏差代码片段范围。
天眼查资料显示，上海安般信息科技有限公司，成立于2018年，位于上海市，是一家以从事专业技术服务业为主的企业。企业注册资本3814.34万人民币。通过天眼查大数据分析，上海安般信息科技有限公司共对外投资了6家企业，参与招投标项目20次，财产线索方面有商标信息27条，专利信息41条，此外企业还拥有行政许可4个。
声明：市场有风险，投资需谨慎。本文为AI基于第三方数据生成，仅供参考，不构成个人投资建议。
本文源自：市场资讯
作者：情报员
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
