摘要

在细粒度基本块(FGBB)程序状态提取方法的基础上,从行为分类的角度探讨程序的"失效机理"与"基于首错误的行为特征"之间的关联.首先,建立与首错误特征相关的程序特征谱,基于故障的时空分布特征对故障、错误和失效行为提取特征;其次,根据谱系表达特征建立各个表达之间的相似性度量和分类方法;以SPEC 2006基准程序为研究对象,将服从真实场景时空分布的正交缺陷分类(ODC)故障注入程序中,获得真实的现场数据;最后,详细分析黄金运行、错误行为和失效行为各类内呈现的软件失效机理的效果.实验结果表明,基于黄金运行分类的程序错误行为的各异性较优.