《表3 基于黄金运行行为的程序故障/失效行为的类内平均相似度》
1FGBB表示基于本文方法提取程序状态并完成行为分类2BIP表示基于文献[14]方法提取程序状态并完成行为分类3Δ为FGBB和BIP方法获得的错误/失效行为的类内平均相似度的差值,即分类质量
FGBB方法选取6-长子序列,而BIP方法选取7-子序列(根据文献[14]中的实验分析获得的子序列最优值),两者均把程序分为3类.从表3可以看出,FGBB在黄金运行的行为分类上取得的类间相似度略高于基于BIP方法的黄金运行.针对错误行为的分类结果中,FGBB方法在每个故障细分类型下都表现出较高于BIP方法的分类质量,即每个类间程序的错误行为更加近似.以OWPFV故障类型为例,它表示函数参数被设置了错误的值,由于FGBB方法是基于首错误的行为特征表达,其BRETS和ARETS两个程序状态可以提前检测到由于函参导致的中间变量或跳转条件上的错误.因此,对于函数嵌套调用和条件语句频繁执行的程序,FGBB方法对错误的检测更加敏感.
图表编号 | XD00212225900 严禁用于非法目的 |
---|---|
绘制时间 | 2019.11.01 |
作者 | 朱丽娜、蒋曹清、夏国恩、张作昌 |
绘制单位 | 广西财经学院信息与统计学院、广西财经学院广西跨境电商智能信息处理重点实验室、广西财经学院信息与统计学院、广西财经学院广西跨境电商智能信息处理重点实验室、广西财经学院广西跨境电商智能信息处理重点实验室 |
更多格式 | 高清、无水印(增值服务) |