发明公开
- 专利标题: 一种断言信息记录和还原方法
-
申请号: CN202410686737.7申请日: 2024-05-30
-
公开(公告)号: CN118519905A公开(公告)日: 2024-08-20
- 发明人: 卜俭青 , 毛莹 , 王竹 , 闫剑锋 , 林鑫 , 张之达
- 申请人: 杭州海兴电力科技股份有限公司 , 杭州海兴泽科信息技术有限公司 , 深圳和兴电力科技有限公司 , 广东和兴电力科技有限公司 , 海南海兴国际科技发展有限公司 , 杭州泽兴仪器仪表有限公司 , 宁波恒力达科技有限公司
- 申请人地址: 浙江省杭州市莫干山路1418号(上城工业园区); ; ; ; ; ;
- 专利权人: 杭州海兴电力科技股份有限公司,杭州海兴泽科信息技术有限公司,深圳和兴电力科技有限公司,广东和兴电力科技有限公司,海南海兴国际科技发展有限公司,杭州泽兴仪器仪表有限公司,宁波恒力达科技有限公司
- 当前专利权人: 杭州海兴电力科技股份有限公司,杭州海兴泽科信息技术有限公司,深圳和兴电力科技有限公司,广东和兴电力科技有限公司,海南海兴国际科技发展有限公司,杭州泽兴仪器仪表有限公司,宁波恒力达科技有限公司
- 当前专利权人地址: 浙江省杭州市莫干山路1418号(上城工业园区); ; ; ; ; ;
- 代理机构: 浙江千克知识产权代理有限公司
- 代理商 雷娴
- 主分类号: G06F11/36
- IPC分类号: G06F11/36
摘要:
本说明书涉及计算机技术领域,尤其涉及一种断言信息记录和还原方法。记录方法包括:当检测到断言为假时,获取断言信息;断言信息包括源代码文件名称和源代码行号;通过信息摘要算法对源代码文件名称进行计算,将得到的信息摘要值作为源代码标识;将源代码标识和与其对应的源代码行号记录在断言信息记录表中。还原方法包括:获取断言信息记录表中的一个源代码标识;断言信息记录表通过断言信息记录方法在记录源代码标识和与其对应的源代码行号后获得;将断言信息记录表中的源代码标识,和源代码标识与源代码文件名称对应表进行对照,得到与源代码标识对应的源代码文件名称;根据得到的源代码文件名称和与其对应的源代码行号,还原得到断言信息。