基于程序谱概念格的软件错误定位技术  

Software Fault Localization Based on Program Spectrum Concept Lattice

作　　者：文万志[1] 陈翔[1] 孙小兵[2] 

机构地区：[1]南通大学计算机科学与技术学院,江苏南通226019 [2]扬州大学信息工程学院,江苏扬州225127

出　　处：《四川大学学报（工程科学版）》2014年第2期87-94,共8页Journal of Sichuan University (Engineering Science Edition)

基　　金：国家自然科学基金资助项目(61202006);江苏省高校自然科学研究项目(12KJB520014);南通市应用研究计划资助项目(BK2012023);南通大学自然科学基金资助项目(12Z036)

摘　　要：针对由不同错误引起的失效测试叠加而导致错误定位效率降低问题以及程序员很难根据缺乏上下文信息的单个程序元素的可疑度来最终确定错误的位置问题,提出了一种基于程序谱概念格的软件错误定位技术。这种技术首先根据测试历史信息提取程序谱信息并构建程序谱的概念格,以层次结构展示程序元素和测试的泛化和特化关系;在此基础之上,定义了一种新的可疑度的计算方法。以中等规模程序Tetris为实验对象,借助wasted effort评测指标验证了所提方法的有效性。The traditional techniques generally do not resolve the problem of low efficiency caused by the count of failed tests due to different faults. Besides,programmers are difficult to finally fix the fault according to the suspiciousness of a program ele- ment which lacks program context. A program spectrum concept lattice-based software fault localization （PSCL-SFL） technique was proposed. Firstly,program spectra were abstracted according to test history, and then program spectrum concept lattice was constructed, so the generalization or specialization of program elements and tests could be hierarchically showed. Secondly,a novel suspiciousness computation was defined by PSCL-SFL technique. Finally,based on wasted effort metric, the experiment on a real program Tetris showed the effective of PSCL-SFL technique.

关 键 词：程序谱 错误定位 概念格 可疑度 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]