《软件学报杂志》发表论文赏析
作者:杨波,吴际,刘超
单位:杨波,北方工业大学 计算机学院, 北京 100144;北京航空航天大学 计算机学院, 北京 10019111,吴际,北京航空航天大学 计算机学院, 北京 10019102,刘超,北京航空航天大学 计算机学院, 北京 10019103
摘要:软件中存在的故障很多与数据流紧密相关,对数据流故障定位是一个具有相当难度的研究问题.通过分析变量的定义-使用关系和变量间的依赖关系,并跟踪程序运行时各种操作对变量值的影响,即,变量操作状态的变化等基本信息,提出了一种综合考虑变量操作状态变化以及变量操作状态间依赖关系的数据链模型,利用该模型对程序中数据流故障进行定位.经过实验验证,所提出的基于数据链的故障定位方法的定位结果与基于定义-使用对、基于程序切片、基于概率依赖图和基于语句覆盖这4种典型的故障定位方法进行了对比,取得了更好的定位效果.
关键词:故障定位;数据流;变量;数据链;软件测试
基金资助:国家自然科学基金(61370051)