活动图模型驱动的Web应用程序测试方法

来源 :计算机应用 | 被引量 : 11次 | 上传用户:edcujmtgb
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
提出了一种活动图(AD)模型驱动的Web应用程序测试方法,从活动图中生成满足往返路径覆盖准则的测试序列,基于测试输入语法生成驱动测试序列执行的测试数据,将测试数据整合到测试序列中生成测试用例,运行测试用例进行测试并生成测试结果的报告。实现了一个原型工具以支持活动图模型驱动的Web应用程序测试方法,设计并完成了一个实验,验证了该方法的可行性与有效性。
其他文献
背景:在子宫平滑肌肉瘤核分裂相不多的情况下,仅依靠组织形态很难与特殊良性平滑肌瘤鉴别,因此增加了临床诊断难度。目的:探讨Survivn、Caspase-3、Ki-67在子宫平滑肌肿瘤内的表
据报道,30%-60%的自杀死亡者有自杀未遂史;10%-14%的自杀未遂者最终自杀身亡[1].本文就有、无自杀未遂史自杀死亡者在患精神疾病、经历生活事件、自杀原因等方面进行了比较.
本体工程为本体构建提供与其相适应的本体开发方法。履带式本体构建方法具有较强的适应性,能够针对本体的不同规模来指导本体开发操作,并对开发过程进行评估。为提高本体构建效率,利用多代理的分布性、自治性、协作性等特点,构建了支持履带式本体开发方法的多代理模型,对其中的代理、通信和代理之间的协作进行了形式化定义和描述,并实现了代理操作、协作等相关算法和代理运行平台。
提出了一种改进的静态程序切片算法,并应用到软件逆向工程中。在处理目标程序的过程间调用时,通过建立参数影射关系表,将过程间调用转换为过程内调用,简化了建立程序依赖图的复杂度;在归纳分析目标程序变量类型的基础上,给出了代数运算法则,对程序中的线性运算代码进行等价变换,缩减了切片程序的规模。最后通过具体的切片实例,证明了改进算法的有效性。
目的:了解富裕个体户的家庭环境及心理健康状况。方法:采用症状自评量表(SCL-90)、精神健康测验(PHI)、家庭环境量表(FES-CV)对义鸟市42例富商家庭及33例普通家庭进行测评和对比分析。
本文对西藏边防某部(驻地海拨4380-4680米)2168名官兵进行了调查.汉族2145名,藏族23名,均为男性.军官164名,年龄21-45岁(平均27岁),士兵2004名,年龄17-28岁(平均23.8岁).对其
随着中国汽车产业的发展,国外汽车企业纷纷来华投资。日本汽车企业虽然较晚进入中国市场,但是却在短时间内占领了较大的市场。本文在对日本汽车在华投资结构、投资规模等方面现
煤层气是与煤伴生、以吸附状态储存于煤层中的一种非常规天然气,既是宝贵的洁净能源,更是煤矿安全生产的最大威胁。但由于采气权与采矿权分置,给煤矿企业造成很多困难。本文从博
针对声纳图像对比度差、不易判别边缘及细节的特点,提出一种有效的声纳图像去噪方法。对含噪声纳图像循环抽样后得到多幅声纳图像,分别执行NSCT变换,选取适当的阈值对变换的系数进行取值,筛选后的系数进行NSCT逆变换;将得到的多幅去噪后的图像空域平均后输出去噪后的图像。通过实验数据比较,此改进算法好于其他经典方法,提高了处理结果的信噪比及边缘保持效果。由于充分利用了NSCT变换的平移不变性,使去噪后的细
针对彩色图像加密问题,构造了一种多涡卷混沌映射系统,提出了基于该混沌映射系统的图像加密算法,实验结果表明:该算法具有较好的密钥敏感性、很大的密钥空间和较好的扩散和混淆能力,可以有效地抵抗统计攻击和穷举攻击,具有很好的安全性。