基于参数−值替换的错误定位方法

doi:10.11959/j.issn.1000-436x.2015095

通信学报 ›› 2015, Vol. 36 ›› Issue (4): 138-145.doi: 10.11959/j.issn.1000-436x.2015095

基于参数−值替换的错误定位方法

王兴亚¹,姜淑娟¹,鞠小林^1,²,曹鹤玲¹

¹ 中国矿业大学计算机科学与技术学院，江苏徐州 221116
² 南通大学计算机科学与技术学院，江苏南通 226019

出版日期:2015-04-25 发布日期:2015-04-15
基金资助:
国家自然科学基金资助项目;国家自然科学基金资助项目;江苏省333工程基金资助项目;江苏省高校自然科学研究基金资助项目;江苏省研究生培养创新工程基金资助项目;江苏省研究生培养创新工程基金资助项目;南通市应用研究计划基金资助项目;南通市应用研究计划基金资助项目

Effective fault localization technique using parameter-value replacement

Xing-ya WANG¹,Shu-juan JIANG¹,Xiao-lin JU^1,²,He-ling CAO¹

¹ School of Computer Science and Technology，China University of Mining and Technology，Xuzhou 221116，China
² School of Computer Science and Technology，Nantong University，Nantong 226019，China

Online:2015-04-25 Published:2015-04-15
Supported by:
The National Natural Science Foundation;The National Natural Science Foundation;The 333 Project of Jiangsu Province;The University Natural Science Research Project of Jiangsu Province;The Nantong Application Research Plan

摘要/Abstract

摘要：

现有错误定位方法难以检测程序遗漏错误，提出一种方法层次的基于参数?值替换的错误定位方法。首先将出现在失败执行中的方法作为可疑方法候选集，计算该集合中元素对程序执行结果的影响度，再利用值替换技术计算高影响度方法的兴趣参数?值映射对，然后依据方法是否包含兴趣参数?值映射对对候选集中方法进行分类，并依据其影响度分别进行排序，最后生成一个可疑方法序列进行错误定位。实验结果表明该方法较其他错误定位方法具有更好的定位效果。

关键词: 错误定位, 遗漏错误, 值替换, 兴趣参数?值映射对

Abstract:

Statistic-based fault localization and slice-based fault localization cannot locate the omission faults effectively.A method-level fault localization approach based on parameter-value replacement was proposed.Those methods appearing in failed executions were treated as the fault methods candidate set (FMCS).For each element contained in FMCS，its impact to the execution result was measured and then the FMCS elements based on the impact were classified.For each method with high impact，its interesting parameter value mapping pair (IPVMP) was searched by using parameter-value replacement.According to the impact and IPVMP，a method list of FMCS elements was finally provided to debuggers.Empirical results show that the proposed approach performs better than other fault localization approaches.

Key words: fault localization, omission error, value replacement, interesting parameter-value mapping pair

王兴亚,姜淑娟,鞠小林,曹鹤玲. 基于参数−值替换的错误定位方法[J]. 通信学报, 2015, 36(4): 138-145.

Xing-ya WANG,Shu-juan JIANG,Xiao-lin JU,He-ling CAO. Effective fault localization technique using parameter-value replacement[J]. Journal on Communications, 2015, 36(4): 138-145.

图/表 8

图1

表1

图2

表2

图3

图4

表3

表4

参考文献 22

[1]	PARNIN C ， ORSO A . Are automated debugging techniques actually helping programmers?[A]. Proceedings of the 2011 International Symposium on Software Testing and Analysis[C]. Toronto， 2011. 199-209.
[2]	MASRI W . Fault localization based on information flow coverage[J]. Software Testing，Verification and Reliability， 2010，20(2): 121-147.
[3]	JONES J A ， HARROLD M J ， STASKO J . Visualization of test information to assist fault localization[A]. Proceedings of the 24th International Conference on Software Engineering[C]. Orlando， 2002. 467-477.
[4]	ABREU R ， ZOETEWEIJ P ， VAN GEMUND A J . An evaluation of similarity coefficients for software fault localization[A]. Proceedings of the 12th Pacific Rim International Symposium on Dependable Computing[C]. Riverside， 2006. 39-46.
[5]	NAISH L ， LEE H J ， RAMAMOHANARAO K . A model for spectra-based software diagnosis[J]. ACM Transactions on Software Engineering and Methodology， 2011，20(3): 11.
[6]	WONG W E ， QI Y ， ZHAO L . Effective fault localization using code coverage[A]. Proceedings of the 31st Computer Software and Applications Conference[C]. Beijing，China， 2007. 449-456.
[7]	ZHANG X Y ， GUPTA N ， GUPTA R . Locating faulty code by multiple points slicing[J]. Software:Practice and Experience， 2007，37(9): 935-961.
[8]	GUPTA N ， HE H ， ZHANG X . Locating faulty code using failure-inducing chops[A]. Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering[C]. Long Beach， 2005. 263-272.
[9]	ZHANG X Y ， GUPTA N ， GUPTA R . Locating faults through automated predicate switching[A]. Proceedings of the 28th International Conference on Software Engineering[C]. Shanghai，China， 2006. 272-281.
[10]	ZHANG X Y ， GUPTA N ， GUPTA R . Pruning dynamic slices with confidence[J]. ACM SIGPLAN Notices， 2006，41(6): 169-180.
[11]	WEISER M . Program slicing[A]. Proceedings of the 5th InternationalConference on Software Engineering[C]. San Diego， 1981. 439-449.
[12]	YU Y B ， JONES J A ， HARROLD M J . An empirical study of the effects of test-suite reduction on fault localization[A]. Proceedings of the 30th International Conference on Software Engineering[C]. Leipzig， 2008. 201-210.
[13]	ZHANG X Y ， TALLAM S ， GUPTA N . Towards locating execution omission errors[J]. ACM SIGPLAN Notices， 2007: 415-424.
[14]	CHILLAREGE R . Orthogonal defect classification[J]. Handbook of Software Reliability Engineering， 1996: 359-399.
[15]	VOAS J M . PIE:A dynamic failure-based technique[J]. IEEE Transactions on Software Engineering， 1992，18(8): 717-727.
[16]	ERIC W W ， DEBROY V ， CHOI B . A family of code coverage-based heuristics for effective fault localization[J]. Journal of Systems and Software， 2010，83(2): 188-208.
[17]	SHU G ， SUN B Y ， PODGURSKI A . MFL:Method-Level Fault Localization with Causal Inference[A]. Proceedings of the 6th International Conference on Software Testing，Verification，and Validation[C]. Luxembourg， 2013. 124-133.
[18]	JEFFREY D ， GUPTA N ， GUPTA R . Fault localization using value replacement[A]. Proceedings of the 2008 International Symposium on Software Testing and Analysis[C]. Seattle， 2008. 167-178.
[19]	DO H ， ELBAUM S ， ROTHERMEL G . Supporting controlled experimentation with testing techniques:An infrastructure and its potential impact[J]. Empirical Software Engineering， 2005，10(4): 405-435.
[20]	XIE X ， CHEN T Y ， KUO F C . A theoretical analysis of the risk evaluation formulas for spectrum-based fault localization[J]. ACM Transactions on Software Engineering and Methodology， 2013，22(4): 31.
[21]	LIU C ， FEI L ， YAN X . Statistical debugging:a hypothesis testingbased approach[J]. IEEE Transactions on Software Engineering， 2006，32(10): 831-848.
[22]	YILMAZ C ， PARADKAR A ， WILLIAMS C . Time will tell:fault localization using time spectra[A]. Proceedings of the 30th International Conference on Software Engineering[C]. Leipzig， 2008. 81-90.

测试用例	参数输入	预计输出	实际输出	结果
A	startElement(＂FOO＂，null，null)write(non-null)	“xmlns=”	“xmlns=”	passed
B	startElement(＂Bar＂，null，＂http://.../bar＂) write(non-null)	＂xmlns=http://…/bar＂	＂xmlns=http://…/bar＂	passed
C	startElement(＂template＂，＂xsl＂，＂http://.../trans＂) write(non-null)	＂xmlns:xsl=http://…/trans	＂xmlns=http://…/trans	failed
D	startElement(＂Bar＂，＂ns＂，＂http://.../bar＂) write(non-null)	＂xmlns:ns=http://…/bar	＂xmlns=http://…/bar	failed

版本	方法数	语句数	测试用例数	错误数	遗漏错误数
NanoXML v1	201	4 351	167	4	0
NanoXML v3	354	6 838	191	8	5
NanoXML v5	370	7 160	205	6	3
Siena v1	198	8 295	560	2	0
Siena v2	198	8 296	565	1	0
Siena v5	209	8 524	566	2	1
Siena v6	209	8 498	565	1	0
Siena v7	205	8 472	565	1	0

程序版本	错误版本	Tarantula	Ochiai	Naish1	Wong1	IPVMP	contains
NanoXML v1	F_NV_HD_1	4.98	7.46	7.46	21.89	5.97	yes
NanoXML v1	F_NV_HD_2	2.99	2.99	2.99	27.86	12.94	no
NanoXML v1	F_NV_HD_4	37.31	35.82	35.32	35.82	0.5	yes
NanoXML v1	F_SP_HD_3	27.36	27.36	24.38	24.88	16.42	no
NanoXML v3	F_SB_HD_1	21.19	21.19	19.21	19.77	3.67	yes
NanoXML v3	F_SB_HD_2	9.89	9.6	9.6	22.32	7.91	yes
NanoXML v3	F_SP_HD_1	22.03	21.19	18.36	18.93	0.57	yes
NanoXML v3	F_XEL_HD_2	3.39	0.28	0.28	19.49	2.54	yes
NanoXML v3	F_XEL_HD_3	1.7	1.41	1.41	24.86	0.28	yes
NanoXML v3	F_XEL_HD_4	6.22	6.21	6.21	22.6	3.39	yes
NanoXML v3	F_XEL_HD_5	1.13	1.13	1.13	24.29	0.57	yes
NanoXML v3	F_XEL_HD_6	1.41	1.13	1.13	20.62	1.41	yes
NanoXML v5	F_CR_HD_1	8.38	6.49	5.14	11.62	4.32	yes
NanoXML v5	F_CR_HD_2	11.08	7.3	5.14	16.76	7.03	yes
NanoXML v5	F_NV_HD_1	4.87	6.76	6.76	15.68	5.95	no
NanoXML v5	F_SP_HD_1	3.24	1.35	1.08	18.11	11.08	no
NanoXML v5	F_SP_HD_3	23.51	20.27	18.65	19.19	0.27	yes
NanoXML v5	F_XER_HD_1	20.81	20.27	18.65	19.19	12.16	no
Siena v1	F_SP_HD_1	10.61	7.58	7.07	16.16	2.53	yes
Siena v1	F_SP_HD_2	2.02	2.02	2.02	22.22	2.02	no
Siena v2	F_SP_HD_1	12.12	10.10	10.10	27.27	3.54	yes
Siena v5	F_SP_HD_1	9.57	9.09	8.13	16.75	4.78	yes
Siena v5	F_SP_HD_2	8.61	6.70	6.70	14.83	6.22	yes
Siena v6	F_AV_HD_1	2.39	2.39	2.39	18.66	5.74	yes
Siena v7	F_SP_HD_2	14.15	14.15	14.15	30.73	13.17	no

指标	Tarantula	Ochiai	Naish1	Wong1	IPVMP
最大值	37.31	35.82	35.32	35.82	16.42
最小值	1.13	0.28	0.28	11.62	0.27
中位数	8.61	7.30	6.76	19.77	4.32
平均值	10.84	10.01	9.34	21.22	5.40
标准差	9.33	9.14	8.57	5.25	4.50

基于参数−值替换的错误定位方法

Effective fault localization technique using parameter-value replacement

在线阅读

PDF下载

可视化

摘要/Abstract

引用本文

使用本文

图/表 8

参考文献 22

相关文章 0

Metrics

推荐阅读 0