首页 专利交易 科技果 科技人才 科技服务 商标交易 会员权益 IP管家助手 需求市场 关于龙图腾
 /  免费注册
到顶部 到底部
清空 搜索

基于微内核的代码的功能验证方法及相关设备 

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

申请/专利权人:北京中电普华信息技术有限公司

摘要:本申请提供一种基于微内核的代码的功能验证方法及相关设备,所述方法包括对所述微内核中的代码包含的每个子代码进行解析,得到每个子代码对应的多个语句序列;基于与所述子代码关联的多个语句序列,构建所述子代码对应的多个初始逻辑代码;基于所述初始逻辑代码的代码类型,对所述多个初始逻辑代码进行合并,得到所述子代码对应的多个目标逻辑代码;基于全部目标逻辑代码,对所述代码进行功能验证,解决了现有技术中对代码的功能验证效率低的技术问题,提升了对代码进行功能验证的效率的目的。

主权项:1.一种基于微内核的代码的功能验证方法,其特征在于,包括:对所述微内核中的代码包含的每个子代码进行解析,得到每个子代码对应的多个语句序列;基于与所述子代码关联的多个语句序列,构建所述子代码对应的多个初始逻辑代码;基于所述初始逻辑代码的代码类型,对所述多个初始逻辑代码进行合并,得到所述子代码对应的多个目标逻辑代码;基于全部目标逻辑代码,对所述代码进行功能验证。

全文数据:

权利要求:

百度查询: 北京中电普华信息技术有限公司 基于微内核的代码的功能验证方法及相关设备

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。