期刊文献+

基于组件Web应用程序的覆盖率准则和测试需求约简(英文) 被引量:2

Coverage criteria and test requirement reduction for component-based web application
下载PDF
导出
摘要 为了更好地分析测试基于组件的Web应用,并抉择何时结束测试过程,提出了覆盖率准则的概念和测试需求约简的方法.首先,定义了4种覆盖率准则,并证明它们之间的包含关系.然后,使用一种转换算法将Web应用测试模型转换成一种可以约简测试需求集合的Web应用决策-决策图(WADD图).最后,基于各种覆盖率准则,并通过分析图中各条边的等价和包含关系,约简测试需求集合.测试人员可以根据不同的测试环境需求选择不同测试需求集合.案例分析表明,在实际的Web应用中所定义的覆盖率准则确实存在线性包含关系.基于不同的测试覆盖率准则,测试需求集合平均可约简55%以上.随着覆盖率准则复杂度的提高,测试需求的规模也随之增大. In order to analyze and test the component-based web application and decide when to stop the testing process, the concept of coverage criteria and test requirement reduction approach are proposed. First, four adequacy criteria are defined and subsumption relationships among them are proved. Then, a translation algorithm is presented to transfer the test model into a web application decision-to-decision graph(WADDGraph)which is used to reduce testing requirements. Finally, different sets of test requirements can be generated from WADDGraph by analyzing subsumption and equivalence relationships among edges based on different coverage criteria, and testers can select different test requirements according to different testing environments. The case study indicates that coverage criteria follow linear subsumption relationships in real web applications. Test requirements can be reduced more than 55% on average based on different coverage criteria and the size of test requirements increases with the increase in the complexity of the coverage criteria.
出处 《Journal of Southeast University(English Edition)》 EI CAS 2010年第1期36-42,共7页 东南大学学报(英文版)
基金 The National Natural Science Foundation of China(No.90818027,60873050) the National High Technology Research andDevelopment Program of China (863 Program) (No.2009AA01Z147) Opening Foundation of State Key Laboratory Software Engineering in Wu-han University(No.SKLSE20080717) Opening Foundation of State KeyLaboratory for Novel Software Technology in Nanjing University(No.ZZ-KT2008F12) the Key Laboratory Foundation of Shanghai Municipal Science and Technology Commission (No.09DZ2272600)
关键词 WEB应用 覆盖率准则 测试需求约简 web application coverage criteria test requirement reduction
  • 相关文献

参考文献3

二级参考文献1

共引文献1

同被引文献11

  • 1GARGANTINI A,HEITMEYER C.Using model checking to generate tests from requirements specifications[J].Software Engineering Notes,1999,24(6):146-162.
  • 2AMMANN P E,BLACK P E,MAJURSKI W.Using model checking to generate tests from specifications[C]//Proceedings of the Second IEEE International Conference on Formal Engineering Methods(ICFEM’98).Brisbane,Qld:IEEE Computer Society,1998.
  • 3OFFUTT A J,LIU S,ABDURAZIK A,et al.Generating test data from state-based specifications[J].Software Testing,Verification&Reliability,2003,13(1):25-53.
  • 4MIAO H,ZENG H.Model checking-based verification of web application[C]//Proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems(ICECCS 2007).Washington,D C:IEEE Computer Society,2007.
  • 5ASKARUNISA A,RAMARAJ N.An algorithm for test data set reduction for web application testing[J].Neural Network World,2011,21(1):27-43.
  • 6曾红卫,缪淮扣.优化基于模型检验的测试生成[C]//第六届中国测试学术会议论文集(CTC2010).中国合肥:中国计算机学会容错计算专业委员会,2010.
  • 7FRASER G,ARCURI A.Whole test suite generation[J].IEEE Transactions on Software Engineering,2013,39(2):276-291.
  • 8GRUMBERG O,LONG D E.Model checking and modular verification[J].ACM Transactions on Programming Languages and Systems,1994,16(3):843-871.
  • 9MCMILLAN K L.The SMV system for SMV version2 .5.4[EB/OL].[2014-09-12].http://www.cs.cmu.edu/~modelcheck/smv/smvmanual.ps.
  • 10刘龙霞,吴军华.基于UML活动图的Web应用测试用例生成[J].江南大学学报(自然科学版),2011,10(3):283-288. 被引量:7

引证文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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