一种对程序故障行为和失效行为的聚类有效性验证方法
分析软件自身故障在软件运行过程中的行为规律是分析”故障-错误-失效”链式效应的基础.但在研究软件故障行为特征时面临的关键问题是故障行为集合的庞大与复杂.因此,如何约简故障行为集合是研究故障行为规律的基本前提.”当两个程序具有相似的基本属性时,其故障行为和失效行为也具有相似性”这一推断为约简故障集提供了良好的依据,但尚未得到验证.本文核心工作即验证该推断的正确性.为此,首先提出一种针对程序基准行为、故障行为和失效行为的表征方法;其次提出一种考虑最佳聚类数的程序行为聚类方法;最后设计一组故障注入实验用以验证前述推断的正确性.其中,实验以SPEC2000和SPEC2006作为目标程序集,实验结果表明,1)程序行为的表征方法和聚类方法具有合理性和有效性;2)以程序基准行为聚类结果为依据的故障行为和失效行为的聚类质量良好,以此验证了推断的正确性.
软件工程 故障行为 失效行为 基准行为 聚类质量
张丹青 江建慧
同济大学软件学院,上海201804
国内会议
武汉
中文
95-115
2014-07-19（万方平台首次上网日期，不代表论文的发表时间）