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

申请/专利权人：杭州海兴电力科技股份有限公司;杭州海兴泽科信息技术有限公司;深圳和兴电力科技有限公司;广东和兴电力科技有限公司;海南海兴国际科技发展有限公司;杭州泽兴仪器仪表有限公司;宁波恒力达科技有限公司

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

主权项：1.一种断言信息记录方法，其特征在于，包括：当检测到断言为假时，获取断言信息；所述断言信息包括源代码文件名称和源代码行号；通过信息摘要算法对所述源代码文件名称进行计算，得到信息摘要值，并将所述信息摘要值作为源代码标识；将所述源代码标识和与其对应的所述源代码行号记录在断言信息记录表中。

全文数据：

权利要求：

百度查询： 杭州海兴电力科技股份有限公司 杭州海兴泽科信息技术有限公司 深圳和兴电力科技有限公司 广东和兴电力科技有限公司 海南海兴国际科技发展有限公司 杭州泽兴仪器仪表有限公司 宁波恒力达科技有限公司 一种断言信息记录和还原方法