期刊文献+

基于Ajax技术的Web应用的建模与测试用例生成 被引量:12

Modeling and Test Case Generation for Ajax-based WA
下载PDF
导出
摘要 Ajax技术使Web应用能够通过异步请求从服务端获取数据,并在网页上局部刷新显示。这使得一张网页可以包含多个不同状态,状态数的激增使其关系变得更加复杂,给Web应用的建模与测试带来了更大的难度。研究基于Ajax技术的Web应用的建模与测试用例生成方法,给出一种可行的产生测试用例的技术。结合课题组自身开发的项目进行建模与测试用例的生成分析,结果表明,该技术能有效地得到所需的测试用例。 Ajax technology enables Web applications to get data from the server through an asynchronous request, and partially refresh the Web page. This allows a Web page contains multiple different states. The sharp increase of the number of states makes the Web applications more complicated and brings greater difficulty to modeling and testing of Web applications. We researched modeling and test case generation method of Web applications and gave a feasible tech- nology to generate test case. Finally, we verified the method combining with the project developed by our research group. And according to results of verification, it can generate test case effectively.
出处 《计算机科学》 CSCD 北大核心 2014年第8期219-223,244,共6页 Computer Science
基金 国家自然科学基金项目(61170044 61073050 61262010) 上海市自然科学基金(13ZR1429600) 上海高校青年教师培养资助计划(ZZSD13008)资助
关键词 WEB应用 模型检查 测试用例 AJAX技术 KRIPKE结构 Web application, Model checking, Test case, Ajax, Kripke
  • 相关文献

参考文献13

  • 1Garrett J J.Ajax:A New Approach to Web Applications[OL].http://adaptivepath.com/ideas/essays/archives/000385.php. 被引量:1
  • 2Li L P,Miao H K,Chen S B.Test Generation for Web Applications Using Model Checking[C]//SNPD.2010:237-242. 被引量:1
  • 3Grumberg,Long D E.Model checking and modular verification[J].ACM Transactions on Programming Languages and Systems,1994,16 (3):843-871. 被引量:1
  • 4颜炯,王戟,陈火旺.基于模型的软件测试综述[J].计算机科学,2004,31(2):184-187. 被引量:74
  • 5曾红卫..Web应用的验证与测试方法研究[D].上海大学,2008:
  • 6Hierons R M,Bogdanov K,Bowen J P,et al.Using formal specifications to support testing[J].ACM Computing Surveys (CSUR),2009,41 (2):1-76. 被引量:1
  • 7Ammann P,Ding W,Xu D.Using a model checker to test safety properties[C]//Proceedings of the 7th International Conference on Engineering of Complex Computer Systems(ICECCS 2001).IEEE Press:New York,2001:212-221. 被引量:1
  • 8Fraser G,Wotawa F,Ammann P E.Testing with model checkers:a survey[J].Software Testing,Verification and Reliability,2009,19(3):215-261. 被引量:1
  • 9Marchetto A,Tonella P,Ricca F.State based testing of Ajax Web applications[C]//Proceedings of the 1st IEEE International Conference on Software Testing Verification and Validation (ICST'08).IEEE Computer Society,2008:120-130. 被引量:1
  • 10Mesbah A,Bozdag E,van Deursen A.Crawling Ajax by Inferring User Interface State Changes[C]// Eighth Interational Conference:Web Engineering,ICWE' 08.2008:122-134. 被引量:1

二级参考文献22

  • 1[1]Gronau I, Hartman A, Kirshin A, Nagin K, Olvovsky S. A methodology and architecture for automated software testing. http://www.haifa.il.ibm.com/projects/verification/gtcb/papers/gtcbmanda.pdf, 2000 被引量:1
  • 2[2]Chow T S. Testing design modeled by finite-state machines. IEEE Transactions on Software Engineering, 1978,4(3): 178~187 被引量:1
  • 3[3]Offutt J, Abdurazik A. Generating test cases from UML specifications. UML' 99, USA, 1999 被引量:1
  • 4[4]Poore J H. Introduction to the special issue on: model-based statistical testing of software intensive systems. Information and Software Technology, 2000, 42(12):797~799 被引量:1
  • 5[5]Beizer B. Black-Box Testing: Techniques for Functional Testing of Software and Systems, Wiley, New York, USA, 1995 被引量:1
  • 6[6]Jorgensen A, Whittaker J A. An API Testing Method. STAREAST' 00, USA, 2000 被引量:1
  • 7[7]Fujiwara S, Bochmann G, Khendek F.Test selection based on finite state models. IEEE Transactions on Software Engineering, 1991, 17(6): 591~603 被引量:1
  • 8[8]Rosaria S, Robinson H. Applying models in your testing process. Information and Software Technology, 2000, 42(12): 815~824 被引量:1
  • 9[9]Whittaker J A. Stochastic software testing. The Annals of Software Engineering, 1997, 4:115~131 被引量:1
  • 10[10]Liu C, Richardson D J. Using application states in software testing. ICSE'00, Ireland, 2000 被引量:1

共引文献73

同被引文献72

引证文献12

二级引证文献31

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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