计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2014年
8期
219-223,244
,共6页
Web应用%模型检查%测试用例%Ajax技术%Kripke结构
Web應用%模型檢查%測試用例%Ajax技術%Kripke結構
Web응용%모형검사%측시용례%Ajax기술%Kripke결구
Web application%Model checking%Test case%Ajax%Kripke
Ajax技术使Web应用能够通过异步请求从服务端获取数据,并在网页上局部刷新显示.这使得一张网页可以包含多个不同状态,状态数的激增使其关系变得更加复杂,给Web应用的建模与测试带来了更大的难度.研究基于Ajax技术的Web应用的建模与测试用例生成方法,给出一种可行的产生测试用例的技术.结合课题组自身开发的项目进行建模与测试用例的生成分析,结果表明,该技术能有效地得到所需的测试用例.
Ajax技術使Web應用能夠通過異步請求從服務耑穫取數據,併在網頁上跼部刷新顯示.這使得一張網頁可以包含多箇不同狀態,狀態數的激增使其關繫變得更加複雜,給Web應用的建模與測試帶來瞭更大的難度.研究基于Ajax技術的Web應用的建模與測試用例生成方法,給齣一種可行的產生測試用例的技術.結閤課題組自身開髮的項目進行建模與測試用例的生成分析,結果錶明,該技術能有效地得到所需的測試用例.
Ajax기술사Web응용능구통과이보청구종복무단획취수거,병재망혈상국부쇄신현시.저사득일장망혈가이포함다개불동상태,상태수적격증사기관계변득경가복잡,급Web응용적건모여측시대래료경대적난도.연구기우Ajax기술적Web응용적건모여측시용례생성방법,급출일충가행적산생측시용례적기술.결합과제조자신개발적항목진행건모여측시용례적생성분석,결과표명,해기술능유효지득도소수적측시용례.
