构建调用链转换图及引导生成X.509证书变种方法与流程

技术特征：
1.一种构建调用链转换图及引导生成x.509证书变种方法，其特征在于，通过构建测试种子集并输入目标测试程序，得到动态执行中的函数调用链信息并映射为调用链转换图中的初始节点；循环对调用链转换图中的取样节点通过变种算子生成新的变种测试用例并根据变种测试用例对应更新调用链转换图，直至生成目标数量的测试用例。2.根据权利要求1所述的构建调用链转换图及引导生成x.509证书变种方法，其特征是，所述的映射是指：调用链转换图中的节点和测试用例对应，图的一个节点是一个测试用例集合，该测试用例集合中的任意一个测试用例在目标测试程序上得到的函数调用链是一致的。3.根据权利要求1所述的构建调用链转换图及引导生成x.509证书变种方法，其特征是，所述的取样是指：通过计算潜力值并挑选节点和节点中的测试用例以用于生成变种。4.根据权利要求1所述的构建调用链转换图及引导生成x.509证书变种方法，其特征是，所述的变种是指：对一个现有的测试用例进行修改生成一个新的测试用例，其实现方式视具体的测试场景而言，可自定义具体的变种方式也可对接已有的模糊测试工具如afl对测试用例进行修改而生成新的测试用例，在针对x.509证书测试的应用场景中，变种算子可采用mucert工具中提供的变种方法。5.根据权利要求1所述的构建调用链转换图及引导生成x.509证书变种方法，其特征是，所述的更新调用链转换图是指：以更新后的变种测试用例作为输入得到目标测试程序运行时的函数调用链，更新中间文件并映射为转换图中的新节点，构造一条调用链转换图中取样节点和新节点之间的边并更新取样节点所有边的权值。6.根据权利要求1所述的构建调用链转换图及引导生成x.509证书变种方法，其特征是，所述的调用链转换图是带权重的有向图g＝(v,e,w)，其中：v为节点集合，每个节点映射为对应的函数调用链hash值，当两个测试用例同属于一个节点，则对应的函数调用链hash值相同，说明其在目标测试程序上的执行路径相同；e为调用链转换边的集合，当一个节点为u，另一个节点为v，u中的一个测试用例在进行变种后得到一个属于节点v的测试用例，则得到一条从节点u指向节点v的边，用u->v来标记，则整个边集合为w为边上的权重集合，使用w＝weight(u->v)表示在给定节点u的情况下得到指向v节点的概率，从节点u出发的所有边的权重和为1，即7.根据权利要求1所述的构建调用链转换图及引导生成x.509证书变种方法，其特征是，所述的通过变种算子生成新的变种测试用例是指：使用潜能函数计算每个节点的潜力值其中：out(n)表示节点n的出度，mutate(n)表示节点n被选中进行变种的次数，在每个节点按照潜力值降序存进队列后，再从队列中选取序号为k的节点，其中：|array|表示数组的大小，rand为0-1的随机数，ε为图中每个节点都没有被选中的概率，随机选取选中节点中的一个测试用例通过变种算子进行修改以生成变种；所述的变种算子根据目标测试程序自定义，将根据变种算子修改后生成的变种测试用例添加回测试集中。8.根据权利要求1所述的构建调用链转换图及引导生成x.509证书变种方法，其特征是，所述的更新调用链转换图是指：收集新生成的变种测试用例在目标程序运行时的函数调用链，将函数调用链映射为调用链转换图中的一个节点；迭代取样调用链转换图中的节
点并选取节点中的测试用例生成变种，根据变种测试用例在目标测试程序中的函数调用链映射为图中的新节点，动态添加原测试用例映射节点和变种映射节点中的边和更新边的权值，直至生成目标数量的证书测试用例，并输入待测程序进行测试。9.根据权利要求1或8所述的构建调用链转换图及引导生成x.509证书变种方法，其特征是，所述的更新调用链转换图具体为：当该节点不存在于原先的调用链转换图中，则在图中添加新的节点，记变种测试用例对应的原测试用例所映射的节点为a，新生成的变种测试用例映射的节点为b，在转换图中添加一条从a指向b的有向边，最后将变种测试用例添加回测试集中；所述的添加一条从a指向b的有向边，即由节点a指向节点b的边，同时从节点a出发的边上的权重需要更新，则节点a被选中进行变种次数为t1，其他从节点a出发的节点bi包含了t2
i
个由节点a中证书生成的变种证书，则从a到bi的权重被更新为

技术总结
一种构建调用链转换图及引导生成X.509证书变种方法，通过构建测试种子集并输入目标测试程序，得到动态执行中的函数调用链信息并映射为调用链转换图中的初始节点；循环对调用链转换图中的取样节点通过变种算子生成新的变种测试用例并根据变种测试用例对应更新调用链转换图，直至生成目标数量的测试用例。本发明充分利用了测试用例集生成过程中的函数调用链信息，通过调用链转换图有效快速的生成多样化的测试用例，从而提升测试的效率。从而提升测试的效率。从而提升测试的效率。


技术研发人员：朱佳宇 陈雨亭 沈备军
受保护的技术使用者：上海交通大学
技术研发日：2020.05.21
技术公布日：2021/11/25