计算机科学 ›› 2014, Vol. 41 ›› Issue (8): 219-223.doi: 10.11896/j.issn.1002-137X.2014.08.047
贺涛,缪淮扣,钱忠胜
HE Tao,MIAO Huai-kou and QIAN Zhong-sheng
摘要： Ajax技术使Web应用能够通过异步请求从服务端获取数据,并在网页上局部刷新显示。这使得一张网页可以包含多个不同状态,状态数的激增使其关系变得更加复杂,给Web应用的建模与测试带来了更大的难度。研究基于Ajax技术的Web应用的建模与测试用例生成方法,给出一种可行的产生测试用例的技术。结合课题组自身开发的项目进行建模与测试用例的生成分析,结果表明,该技术能有效地得到所需的测试用例。
| [1] Garrett J J．Ajax:A New Approach to Web Applications.http://adaptivepath.com/ideas/essays/archives /000385.php [2] Li L P,Miao H K,Chen S B．Test Generation for Web Applica-tions Using Model-Checking[C]∥SNPD．2010:237-242 [3] Grumberg,Long D E．Model checking and modular verification[J]．ACM Transactions on Programming Languages and Systems,1994,16(3):843-871 [4] 颜炯,王戟,陈火旺.基于模型的软件测试综述[J].计算机科学,2004,1(2):184-187 [5] 曾红卫.Web应用的验证与测试方法研究[D].上海:上海大学,2008 [6] Hierons 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 [7] Ammann 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 [8] Fraser G,Wotawa F,Ammann P E．Testing with model chec-kers:a survey[J]．Software Testing,Verification and Reliability,2009,19(3):215-261 [9] Marchetto A,Tonella P,Ricca F．State-based testing of AjaxWeb applications[C]∥Proceedings of the 1st IEEE International Conference on Software Testing Verification and Validation (ICST’08)．IEEE Computer Society,2008:120-130 [10] Mesbah 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 [11] Mesbah A,van Deursen A,Roest D．Invariant-based automatic testing of modern Web applications[J]．IEEE Transactions on Software Engineering (TSE),2012,38(1):35-53 [12] McMillan K L．The SMV System for SMV version 2.5.4 ．http://www.cs.cmu.edu/modelcheck/smv/smvmanual.ps [13] Fraser G,Gargantini A．An evaluation of model checkers forspecification based test case generation[C]∥ICST．IEEE Computer Society,2009:41-50 |
| No related articles found! |
|
||
首页