Invention Publication
- Patent Title: 一种断言信息记录和还原方法
-
Application No.: CN202410686737.7Application Date: 2024-05-30
-
Publication No.: CN118519905APublication Date: 2024-08-20
- Inventor: 卜俭青 , 毛莹 , 王竹 , 闫剑锋 , 林鑫 , 张之达
- Applicant: 杭州海兴电力科技股份有限公司 , 杭州海兴泽科信息技术有限公司 , 深圳和兴电力科技有限公司 , 广东和兴电力科技有限公司 , 海南海兴国际科技发展有限公司 , 杭州泽兴仪器仪表有限公司 , 宁波恒力达科技有限公司
- Applicant Address: 浙江省杭州市莫干山路1418号(上城工业园区); ; ; ; ; ;
- Assignee: 杭州海兴电力科技股份有限公司,杭州海兴泽科信息技术有限公司,深圳和兴电力科技有限公司,广东和兴电力科技有限公司,海南海兴国际科技发展有限公司,杭州泽兴仪器仪表有限公司,宁波恒力达科技有限公司
- Current Assignee: 杭州海兴电力科技股份有限公司,杭州海兴泽科信息技术有限公司,深圳和兴电力科技有限公司,广东和兴电力科技有限公司,海南海兴国际科技发展有限公司,杭州泽兴仪器仪表有限公司,宁波恒力达科技有限公司
- Current Assignee Address: 浙江省杭州市莫干山路1418号(上城工业园区); ; ; ; ; ;
- Agency: 浙江千克知识产权代理有限公司
- Agent 雷娴
- Main IPC: G06F11/36
- IPC: G06F11/36

Abstract:
本说明书涉及计算机技术领域,尤其涉及一种断言信息记录和还原方法。记录方法包括:当检测到断言为假时,获取断言信息;断言信息包括源代码文件名称和源代码行号;通过信息摘要算法对源代码文件名称进行计算,将得到的信息摘要值作为源代码标识;将源代码标识和与其对应的源代码行号记录在断言信息记录表中。还原方法包括:获取断言信息记录表中的一个源代码标识;断言信息记录表通过断言信息记录方法在记录源代码标识和与其对应的源代码行号后获得;将断言信息记录表中的源代码标识,和源代码标识与源代码文件名称对应表进行对照,得到与源代码标识对应的源代码文件名称;根据得到的源代码文件名称和与其对应的源代码行号,还原得到断言信息。
Information query