【摘 要】
：
Web服务具有对外只提供接口文档、技术规范复杂和运行时态瞬时多变等特性,如何有效地自动化生成测试数据仍旧是个难题.目前,针对有状态Web服务操作序列的测试研究较少,现有的
论文部分内容阅读
Web服务具有对外只提供接口文档、技术规范复杂和运行时态瞬时多变等特性,如何有效地自动化生成测试数据仍旧是个难题.目前,针对有状态Web服务操作序列的测试研究较少,现有的方法对服务的行为信息和操作之间的数据依赖关系考虑不足,且缺乏有效的测试自动化手段,进而导致测试代价较高以及生成的测试数据缺乏针对性.对此,提出一种结合有限状态机(EFSM)模型和操作接口契约的测试数据生成方法,该方法根据标准WSDL文档建立操作模型,形式化描述操作之间的交互关系,并对其进行语义标注,基于EFSM模型生成操作序列测试路径,随后采用操作接口契约关系获取测试路径中的测试数据.通过案例表明,这种有状态Web服务的用例生成方法能够高效地生成合理的测试数据,并在错误检测能力以及用例有效性方面优于现有的方法.
其他文献
近些年,城乡差距逐步加大,这实质上是由乡镇中的企业发展不足造成的.这种巨大的差距体现了我国金融发展的不平衡性.这时现有金融体系已经不能满足当前经济发展的需求,普惠金
近年来,大型钢铁公司纷纷陷入盈利困境,为响应国家"去产能"的号召、摆脱困境,这些公司不得不进行结构调整或战略重组,而其中一些公司选择定向增发这一方式作为其结构调整的资
近期，一些成功民企人事方面的新闻颇多。先是传出华为内部清退40岁以上员工，接下来复星集团首席执行官和创始人之一的梁信军裸辞、百度首席科学家吴恩达离职，加上马云一番关于“
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
针对三步法钢丝电镀黄铜工艺复杂、冗长，维护和管理难度高，以及热扩散工序耗能高等问题，研究出一步法焦磷酸盐无氰直接电镀黄铜工艺。介绍电镀工艺配方以及测试方法，给出镀层中Cu
对于建筑行业,新型绿色建筑工程师是未来发展的必然趋势,除了为人们提供安全的生活及居住环境外,还需确保建筑物在绿色环保节能上的体现。工程造价预算是建筑工程成本控制的
随着经济技术的不断发展,如今建筑行业的质量水平也有了一定的提升,为了缓解环境压力,现已在行业中逐渐提出了绿色建筑的思想理念。通过具体实践探究可知,绿色建筑的工程造价
目的建立豚鼠早期动脉粥样硬化模型,探讨模型形成机制,并与大鼠模型进行比较,为豚鼠模型优势提供科学依据。方法应用高脂饲料诱导法,观察豚鼠和大鼠是否可形成早期动脉粥样硬
利用不同形状冰晶的散射特性,获得了非球形冰晶云的94/220 GHz测云雷达双波长比,探讨了非球形冰晶云的双波长比与云内微物理参数的关系,分析了衰减前后的星载雷达反射率因子