论文部分内容阅读
现有的网页验证方法和工具无法处理动态页面的Web脚本冲突和动态生成的畸形网页错误,为此,提出一个在Web应用领域的动态测试生成方法。该方法使用显式状态模型校验,自动生成测试,并运行测试来捕获输入的逻辑约束,最终输出一个故障报告集。通过一个校园BBS系统实例,验证了该方法在故障检测方面的有效性。
Web应用程序的动态测试生成方法
【摘 要】
：
现有的网页验证方法和工具无法处理动态页面的Web脚本冲突和动态生成的畸形网页错误,为此,提出一个在Web应用领域的动态测试生成方法。该方法使用显式状态模型校验,自动生成
【机 构】
：
上海师范大学计算机科学与技术系
【出 处】
：
计算机工程与设计
【发表日期】
：
2013年3期
【基金项目】
：
国家自然科学基金项目（61073163）, 上海市科委基金项目（09220503000）
其他文献
凡是优秀的领导者,都把"清清白白做人,堂堂正正做官"作为自己立身、执政的座右铭.然而,要将誓言变成行动,并非易事.因为每个人都生活在物欲横流的大千世界里,都会不同程度地
本文通过论述简欧住宅空间常用材料的分析,探讨在对品质生活追求越来越高的情况下,简欧住宅空间设计中所广泛运用的一些材料是否具备绿色健康、环保生态的特点。
在现代化的社会中,皮影与人类一直都是操纵与被操纵的关系,其一直都以平面化、静态的形式出现在现代景观设计中。对华县皮影的动态景观交互设计的研究不仅能让皮影实现动态化
结合基于块匹配和基于点匹配算法优点,提出复杂场景下(平坦区域和非平坦区域都有篡改)图像复制-移动篡改检测方法。通过关键点检测出非平坦区域的篡改,计算平坦区域,对平坦区域图像分块并提取FMT特征,通过相似块的匹配确定平坦区域的篡改,获得整个图像的篡改区域。实验结果表明,该方法具有很好的鲁棒性和稳健性,在计算速度上也具有明显的优势。
为了提高投资收益优化的预测精度，提出了基于抗体浓度和混沌决策的粒子群算法。利用混沌决策机制对局部解进行搜索时，通过计算各粒子的适应度值，根据种群中粒子的免疫因子概率浓
提出了一种基于RBF和POU的曲面重建方法。该方法采用二叉树将点云空间分解成若干个相互重叠的包围盒形子域；使用径向基函数对子域中的点集进行插值，得到局部重构函数；随后对局部
改革开放政策在中国实施以来,中国经济飞快发展,人民收入水平显著提高,消费者对于私人汽车的需求量不断攀升,随之而来的能源短缺、环境破坏等问题也日益突出,近年来雾霾天气
为降低k值选取对聚类分析算法效果的影响,采用改进的聚类有效性函数来选取k值。通过粒计算的属性分辨能力,避免数据因某些属性值过大屏蔽其它取值较小属性对类内相似性和类间