操作系统的微内核的远程更新方法及相关设备

    公开(公告)号:CN118331601A

    公开(公告)日:2024-07-12

    申请号:CN202410243157.0

    申请日:2024-03-04

    Abstract: 本申请提供一种操作系统的微内核的远程更新方法及相关设备,所述方法包括从所述远端服务器中获取与所述微内核对应的最新版本号,以及检测所述微内核的当前版本号;响应于确定所述最新版本号与所述当前版本号不同,向所述远端服务器发送所述最新版本号对应的更新包的下载请求;从所述远端服务器接收与所述下载请求对应的更新包,基于所述更新包,对所述微内核进行更新,解决了现有技术中操作系统的微内核的更新效率低的技术问题,达到了对操作系统中的微内核进行稳定更新的目的。

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

    公开(公告)号:CN118331550A

    公开(公告)日:2024-07-12

    申请号:CN202410243158.5

    申请日:2024-03-04

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

Patent Agency Ranking