%0 Journal Article
%T 基于ajax技术的web应用的建模与测试用例生成
%A 贺涛？
%A 缪淮扣？
%A 钱忠胜？
%J 计算机科学
%D 2014
%R 10.11896/j.issn.1002-137X.2014.08.047
%X ajax技术使web应用能够通过异步请求从服务端获取数据,并在网页上局部刷新显示。这使得一张网页可以包含多个不同状态,状态数的激增使其关系变得更加复杂,给web应用的建模与测试带来了更大的难度。研究基于ajax技术的web应用的建模与测试用例生成方法,给出一种可行的产生测试用例的技术。结合课题组自身开发的项目进行建模与测试用例的生成分析,结果表明,该技术能有效地得到所需的测试用例。
%K web应用
%K 模型检查
%K 测试用例
%K ajax技术
%K kripke结构
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=20140847&flag=1