期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

Case studies on testing with compositional metamorphic relations 被引量：1

使用复合蜕变关系进行软件测试的实例研究(英文)
下载PDF
导出
摘要 Some metamorphic relations （MR） are not good at detecting faults in metamorphic testing. In this paper, the method of making compositional MR （CMR） based on the speculative law of proposition logic is presented. This method constructs new MRs by composing existing MRs in a pairwise way. Because CMR contains all the advantages of the MRs that form it, its fault detection performance is wonderful. On the other hand, the number of relations will decrease greatly after composing, so a program can be tested with much fewer test cases when CMRs are used. In order to research the characteristics of a CMR, two case studies are analyzed. The experimental results show that the CMR＇s performance is mostly determined by the central MRs forming it and the sequence of composition. Testing efficiency is improved greatly when CMRs are used. 蜕变测试时经常会出现蜕变关系检错能力低下的情况.基于命题逻辑的推理规则,提出了复合蜕变关系的构造方法,该方法对已构造的关系依次进行两两复合最终得到新的蜕变关系.复合蜕变关系可以把原关系的优点综合起来,具有更强的检错能力.此外,由于将蜕变关系复合后关系数量减少,所以当使用它测试程序时,生成测试用例的数量会大幅度降低.通过2个实例对复合蜕变关系的测试性能进行研究,实验结果表明复合关系的性能主要取决于构成它的核心蜕变关系,以及关系复合的顺序.使用复合蜕变关系可以极大地提高测试效率.
作者 董国伟 徐宝文 陈林 聂长海 王璐璐
机构地区 东南大学计算机科学与工程学院 江苏省软件质量研究所
出处 《Journal of Southeast University(English Edition)》 EI CAS 2008年第4期437-443,共7页 东南大学学报（英文版）
基金 The National Natural Science Foundation of China(No.60425206,60633010,60773104,60503033) the Excellent Talent Foundation of Teaching and Research of Southeast University
关键词 software testing metamorphic testing compositional metamorphic relation 软件测试 蜕变测试 复合蜕变关系
分类号 TP311 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献10

  • 1Chen T Y,Cheung S C,Yiu S M.Metamorphic testing:a new approach for generating next test cases[]..1998
  • 2Chen T Y,Feng J,Tse T H.Metamorphic testing of pro- grams on partial differential equations:a case study[].Proc of theth Annual International Computer Software and Applications Conference.2002
  • 3Gotlieb A,Botella B.Automated metamorphic testing[].Proc of theth Annual International Computer Software and Applications Conference.2003
  • 4Zhou Z Q,Huang D H,Tse T H,et al.Metamorphic testing and its applications[].Proc of theth International Sym- posium on Future Software Technology.2004
  • 5Tse T H,Yau S S,Chan W K,et al.Testing context-sensi- tive middleware-based software applications[].Proc of theth Annual International Computer Software and Appli- cations Conference.2004
  • 6Chan W K,Chen T Y,Heng L,et al.A metamorphic ap- proach to integration testing of context-sensitive middle- ware-based applications[].Proc of theth Annual Inter- national Conference on Quality Software.2005
  • 7Chan W K,Cheung S C,Leung K P H.Towards a metamor- phic testing methodology for service-oriented software appli- cations[].Proc of thest International Conference on Services Engineering.2005
  • 8Chan W K,Cheung S C,Leung R P H.A metamorphic tes- ting approach for online testing of service-oriented software applications[].International Journal of Web Services Re- search.2007
  • 9Chen T Y,Huang D H,Tse T H,et al.Case studies on the selection of useful relations in metamorphic testing[]..1998
  • 10Wu P.Iterative metamorphic testing[].Proc of theth Annual International Computer Software and Applications Conference.2005

同被引文献15

  • 1吴鹏,施小纯,唐江峻,林惠民,陈宗岳.关于蜕变测试和特殊用例测试的实例研究(英文)[J].软件学报,2005,16(7):1210-1220. 被引量：13
  • 2CHEN T Y, CHEUNG S C. YIU S M. Metamorphic testing: a newapproach for generating next test cases, Technical Report HKUST, CS98-01 [ R]. Hongkong: Hongkong University, 1998.
  • 3LIU H, KUO F, TOWEY D. How effectively does metamorphic tes- ting alleviate the oracle problem? [ J]. IEEE Transactions on Soft- ware Engineering, 2014, 40(1) : 4 -22.
  • 4ZHAN W, SONG H, Achievements and challenges of metamorphic testing [ C]// WCSE 2013: Proceedings of the Fourth World Con- gress on Software Engineering. Piscataway: IEEE Press, 2013:73 - 77.
  • 5UPULEE K. Techniques for automatic detection of metamorphic re- lations [ C]//ICSTV 2014: Proceedings of the 2014 IEEE Seventh International Conference on Software Testing, Verification and Vali- dation Workshops. Piscataway: IEEE Press, 2014:237 -238.
  • 6CHEN T Y, HUANG D H, TSE T H, et al. Case studies on the se- lection of useful relations in metamorphic testing [ C ]// JIISIC 2004: Proceedings of the 4th Ibero-American Symposium on Soft- ware Engineering and Knowledge Engineering. Madrid: Polytechnic University of Madrid, 2004:569-583.
  • 7MAYER J, GUDERLEI R. An empirical study on the selection of good metamorphic relations[ C]// COMPSAC 2006: Proceedings of the 30th Annum International Computer Software and Applications Conference. Piscataway: IEEE Press, 2006:475-484.
  • 8MURPHY C, VAUGHAN M, IIAHI W, et al. Automatic detection of previously-unseen application states for deployment environment testing and analysis[ C]// AST 2010: Proceedings of the 5th Inter- national Workshop on Automation of Software Test. New York: ACM Press, 2010:16 - 23.
  • 9CHEN H Y, TSE T H, CHAN F T, et al. In black and white: an integrated approach to class-level testing of object-oriented pro- grams[ J]. ACM Transactions on Software Engineering and Method- ology, 1998, 7(3) : 250 - 295.
  • 10CHEN H Y, TSE T H, CHEN T Y. TACCLE: a methodology for object-oriented software testing at the class and cluster levels[ J]. ACM Transactions on Software Engineering and Methodology, 2001, 10(4) :56 - 109.

引证文献1

二级引证文献3

Journal of Southeast University(English Edition)
2008年 第4期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部