一种基于修正测试矩阵的程序突变故障定位方法及系统

    公开(公告)号:CN119883880A

    公开(公告)日:2025-04-25

    申请号:CN202411712367.6

    申请日:2024-11-27

    Abstract: 本发明公开了一种基于修正测试矩阵的程序突变故障定位方法及系统,包括:通过符号执行、共享变量追踪和假设推理相结合的方法处理待测试源程序,通过识别代码中的关键路径,共享变量以及潜在故障交互点找出用于生成突变的代码行;基于大语言模型理解源代码上下文,针对待选代码行生成复杂突变体并且运行这些突变后的程序得到杀死信息矩阵;针对不同突变类型,通过贝叶斯方法修正修改概率并以此概率修改测试矩阵,减少测试矩阵中的噪声;根据修改后的测试矩阵计算怀疑度,生成可疑代码列表。本发明的方法可以减少不必要的突变操作,提高测试覆盖率,提高故障定位的准确性。

    一种基于异或滤波器和OXT协议的静态连接关键词密文检索方法及系统

    公开(公告)号:CN118673518A

    公开(公告)日:2024-09-20

    申请号:CN202410796959.4

    申请日:2024-06-19

    Abstract: 本发明涉及一种基于异或滤波器和0XT协议的静态连接关键词密文检索方法及系统,属于隐私保护和加密技术领域。方法包括:客户端为每个关键词及其对应文件标识符构造键值对元组并创建明文索引,结合盲因子对加密结果进行盲化处理,构建中间数组存储键值对的加密值,并通过异或滤波器填充得到密文索引和查询验证索引,将解密密钥和查询令牌发送给服务器进行查询;服务器利用已构建的所述密文索引和所述查询验证索引进行查询和验证处理,返回查询结果至客户端。本方法能够在保持文件信息密文形式的情况下,对多个关键词进行有效的检索,提高了检索效率和准确性,确保了检索过程的数据安全性,加强了客户的隐私保护。

    一种基于异或滤波器和OXT协议的静态连接关键词密文检索方法及系统

    公开(公告)号:CN118673518B

    公开(公告)日:2025-01-10

    申请号:CN202410796959.4

    申请日:2024-06-19

    Abstract: 本发明涉及一种基于异或滤波器和0XT协议的静态连接关键词密文检索方法及系统,属于隐私保护和加密技术领域。方法包括:客户端为每个关键词及其对应文件标识符构造键值对元组并创建明文索引,结合盲因子对加密结果进行盲化处理,构建中间数组存储键值对的加密值,并通过异或滤波器填充得到密文索引和查询验证索引,将解密密钥和查询令牌发送给服务器进行查询;服务器利用已构建的所述密文索引和所述查询验证索引进行查询和验证处理,返回查询结果至客户端。本方法能够在保持文件信息密文形式的情况下,对多个关键词进行有效的检索,提高了检索效率和准确性,确保了检索过程的数据安全性,加强了客户的隐私保护。

Patent Agency Ranking