计算机科学 ›› 2017, Vol. 44 ›› Issue (Z11): 485-489.doi: 10.11896/j.issn.1002-137X.2017.11A.103

• 综合、交叉与应用 • 上一篇    下一篇

面向对象程序蜕变关系构造方法

张兴隆,于磊,侯雪梅,侯韶凡   

  1. 中国人民解放军信息工程大学 郑州450001 中国人民解放军信息工程大学数学工程与先进计算国家重点实验室 郑州450001,中国人民解放军信息工程大学 郑州450001 中国人民解放军信息工程大学数学工程与先进计算国家重点实验室 郑州450001,中国人民解放军信息工程大学 郑州450001 中国人民解放军信息工程大学数学工程与先进计算国家重点实验室 郑州450001,中国人民解放军信息工程大学 郑州450001 中国人民解放军信息工程大学数学工程与先进计算国家重点实验室 郑州450001
  • 出版日期:2018-12-01 发布日期:2018-12-01
  • 基金资助:
    本文受国家自然科学基金项目(61402525),河南省科技攻关项目(162102210184)资助

Method of Metamorphic Relations Constructing for Object-oriented Software Testing

ZHANG Xing-long, YU Lei, HOU Xue-mei and HOU Shao-fan   

  • Online:2018-12-01 Published:2018-12-01

摘要: 针对面向对象软件类级测试中蜕变关系构造不充分的问题,提出一种由错误类型指导面向对象程序蜕变关系构造的方法。首先分析类方法中包含的基本操作,根据错误发生位置和作用效果将错误分成3类;其次 按照执行效果的不同 将类中方法分成两类;再针对错误类型对每个方法分别构造蜕变关系;最后通过Rectangle类的实验对比该方法与其他方法。实验证明提出的由错误类型指导蜕变关系构造的方法的检错率有所提高,并且有助于错误定位。

关键词: 软件测试,蜕变测试,蜕变关系,变异测试

Abstract: To solve the question of insufficiency in object-oriented metamorphic relations constructing,a method of me-tamorphic relations constructing for object-oriented software testing based on error types was proposed.Firstly,the basicoperations in every method are analyzed and the faults are divided into three categories according to the location where errors occurred and the effect of errors.Then,the methods can be divided into two types according to the effect of implementation.Metamorphic relations are constructed for each method of every error type.Finally,we compared this method with other methods through the experiment of Rectangle.Experiment results show that new metamorphic relation construction method guided by error type has improved in the error detection rate and is helpful for finding fault location.

Key words: Software testing,Metamorphic testing,Metamorphic relation,Mutation testing

[1] CHEN T Y,CHEUNG S C,YIU S M.Metamorphic testing:Anew approach for generating next test cases :Technical Report HKUST-CS98-01[R].Hong Kong University,Hong Kong,1998.
[2] KANEWALA U,BIEMAN J M.Using machine learning techniques to detect metamorphic relations for programs without test oracles[C]∥International Symposium on Software Reliabi-lity Engineering.IEEE,2013:1-10.
[3] LIU H,LIU X,CHEN T Y.A New Method for Constructing Metamorphic Relations[C]∥International Conference on Quality Software.IEEE,2012:59-68.
[4] GAGANDEEP,SINGH G.An Automated Metamorphic Testing Technique for Designing Effective Metamorphic Relations[M]∥Contemporary Computing.Springer Berlin Heidelberg,2012:152-163.
[5] HUI Z W,HUANG S.A Formal Model For Metamorphic Relation[C]∥Proc.of Decomposition Software Engineering(WCSE 2013).IEEE,2013:64-68.
[6] ASRAFI M,LIU H,KUO F C.On Testing Effectiveness ofMetamorphic Relations:A Case Study[C]∥2011 Fifth International Conference on Secure Software Integration and Reliability Improvement.IEEE Computer Society Washington,DC,USA,2011:147-156.
[7] KANEWALA U,BIEMAN J M.Using Machine Leaning Techniques to Detect Metamorphic Relations for Programs without Test Oracles[C]∥Proceeding of the Software Reliability Engineering(ISSRE 2013).IEEE,2013:1-10.
[8] HUI Z W,HUANG S.A Formal Model For Metamorphic Relation[C]∥Decomposition Software Engineering(WCSE 2013).IEEE,2013:64-68.
[9] CHEN T Y,HUANG D H,TSE T H,et al.Case studies on the selection of useful relations in metamorphic testing[C]∥Proc.of the 4th Ibero-American Symposium on Software Engineering and Knowledge Engineering (JIISIC 2004).IEEE,2004:569-583.
[10] 董国伟,聂长海,徐宝文,等.基于程序路径分析的有效蜕变测试[J].计算机学报,2009,32(3):1002-1013.
[11] MAYER J,GUDERLEI R.An empirical study on the selection of good metamorphic relations[C]∥Proc.of the 30th Annual International Computer Software and Applications Conference(COMPSAC’06).Chicago,USA,2006:475-484.
[12] CAO Y,ZHOU Z Q,CHEN T Y.On the Correlation between the Effectiveness of Metamorphic Relations and Dissimilarities of Test Case Executions[C]∥International Conference on Qua-lity Software.2013:153-162.
[13] 侯雪梅,于磊,张兴隆,等.面向对象软件测试的蜕变关系构造方法[J].计算机应用,2015,35(10):2990-2994.
[14] OFFUTT A J,LEE A,ROHERMEL G,et al.An experimental determination of sufficient mutant operators[J].ACM Transactions on Software Engineering & Methodology,2000,5(2):99-118.

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!