计算机科学 ›› 2017, Vol. 44 ›› Issue (Z11): 485-489.doi: 10.11896/j.issn.1002-137X.2017.11A.103
张兴隆,于磊,侯雪梅,侯韶凡
ZHANG Xing-long, YU Lei, HOU Xue-mei and HOU Shao-fan
摘要: 针对面向对象软件类级测试中蜕变关系构造不充分的问题,提出一种由错误类型指导面向对象程序蜕变关系构造的方法。首先分析类方法中包含的基本操作,根据错误发生位置和作用效果将错误分成3类;其次 按照执行效果的不同 将类中方法分成两类;再针对错误类型对每个方法分别构造蜕变关系;最后通过Rectangle类的实验对比该方法与其他方法。实验证明提出的由错误类型指导蜕变关系构造的方法的检错率有所提高,并且有助于错误定位。
[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! |
|