公开(公告)号：CN112579463A

公开(公告)日：2021-03-30

申请号：CN202011562073.1

申请日：2020-12-25

Applicant: 北京信息科技大学

Inventor： 杨慧文 ,  崔展齐 ,  贾明华 ,  刘秀磊 ,  刘建宾 ,  郑丽伟

IPC: G06F11/36

Abstract: 本发明公开了一种面向Solidity智能合约的缺陷预测方法，应用于软件缺陷预测技术领域，首先从Solidity源码中提取代码模块的度量元，并为每个代码模块标记缺陷数量，从而构建缺陷预测数据集；然后针对Solidity缺陷预测数据集中的类不平衡问题，采用过采样方法进行数据预处理；最后分别构建缺陷数量预测模型和缺陷倾向性预测模型，并评估模型的性能。本发明将度量元集与Solidity智能合约缺陷检测结果结合，构建了Solidity智能合约缺陷预测数据集，能够更好地描述Solidity智能合约的特征，基于以上数据集，分别验证了缺陷数量预测和缺陷倾向性预测问题中，不同模型的性能差异。

公开(公告)号：CN115328803A

公开(公告)日：2022-11-11

申请号：CN202211068715.1

申请日：2022-09-02

Applicant: 北京信息科技大学

Inventor： 崔展齐 ,  杨慧文 ,  郑丽伟

IPC: G06F11/36 ,  G06N3/08

Abstract: 本发明公开了一种映射关系制导的循环代码模糊测试方法，应用于软件测试领域，包括：将测试用例不断变异，输入到测试用例队列，发送至经插桩循环代码结构得到的被测程序运行，当满足模糊测试终止条件时输出覆盖情况统计表；训练深度学习模型并反向计算权重距离和，构建并输出测试用例的字节序列与循环代码结构覆盖情况之间的映射关系；基于映射关系，对与循环代码结构覆盖情况对应的测试用例中的相应字节序列分配变异概率并进行变异，生成子代测试用例，并将其作为被测程序的输入，进行模糊测试，直到满足模糊测试终止条件，输出模糊测试报告。本方法基于映射关系对测试用例字节序列进行变异，能够针对性地生成提高循环代码结果覆盖率的测试用例。