【摘 要】
：
基于模型的Web应用程序测试是软件测试的一个重要方法。ASM模型从源码解析的角度,基于Web应用程序表示层建立模型,描述了Web应用程序的交互性、动态性和低耦合性。基于ASM模
【基金项目】
：
国家自然科学基金（61170082,61472025,61672085）,教育部新世纪优秀人才计划项目（NCET-12-0757）
论文部分内容阅读
基于模型的Web应用程序测试是软件测试的一个重要方法。ASM模型从源码解析的角度,基于Web应用程序表示层建立模型,描述了Web应用程序的交互性、动态性和低耦合性。基于ASM模型的测试用例生成,考虑用户的非预期行为,在主要路径的基础上,通过添加无效访问状态和无效迁移路径,扩充测试用例。然而,随着Web应用程序规模的扩大,无效访问状态和无效迁移路径的增加导致测试用例空间爆炸。在研究ASM模型的基础上,通过定义基于ASM模型测试生成的等价迁移和等价状态,合并迁移和状态,从而有效地对ASM模型进行约简,减少了无
其他文献
随着我国新课程改革的深入,提升历史课堂提问的有效性成为人们关注的重点。本文结合当前高中历史的教学现状,提出提升课堂提问有效性的方法和建议,以此为我国教育的发展提供
深度图像受其测距原理所限,存在边缘不匹配、无效像素、噪声等问题,提出一种基于改进的各向异性扩散算法的深度图像增强方法。首先,校正深度图像和彩色图像的位置关系,并根据
针对极端学习机（ELM）网络规模控制问题,从剪枝思路出发,提出了一种基于影响度剪枝的ELM分类算法。利用ELM网络单个隐节点连接输入层和输出层的权值向量、该隐节点的输出、初始
以MOOC和SPOC为代表的在线教学是当前大学教学改革研究的热点课题之一,就如何在军队院校中开展在线教学改革进行了探讨和研究,并提出了自己的想法。
我国传统古建筑因地域不同而各具特色,需要分地域研究,再将其运用到室内设计之中。本文首先从符号学角度分析了我国地域性古建筑的符号类型,然后从室内环境设计的角度,论述地
针对RBF神经网络隐含层节点数过多导致网络结构复杂的问题,提出了一种基于改进遗传算法(IGA)的RBF神经网络优化算法。利用IGA优化基于正交最小二乘法的RBF神经网络结构,通过
基础教育阶段英语课程的总体目标是培养学生的综合语言运用能力。"文化意识"是综合语言运用能力的一个组成部分。因此,综合语言运用能力的形成离不开文化意识的培养,它是得体