【摘 要】
：
Web服务具有对外只提供接口文档、技术规范复杂和运行时态瞬时多变等特性,如何有效地自动化生成测试数据仍旧是个难题.目前,针对有状态Web服务操作序列的测试研究较少,现有的
【机 构】
：
江苏自动化研究所,江苏连云港222061
论文部分内容阅读
Web服务具有对外只提供接口文档、技术规范复杂和运行时态瞬时多变等特性,如何有效地自动化生成测试数据仍旧是个难题.目前,针对有状态Web服务操作序列的测试研究较少,现有的方法对服务的行为信息和操作之间的数据依赖关系考虑不足,且缺乏有效的测试自动化手段,进而导致测试代价较高以及生成的测试数据缺乏针对性.对此,本文提出一种结合有限状态机(EFSM)模型和操作接口契约的测试数据生成方法.该方法根据标准WSDL文档建立操作模型,形式化描述操作之间的交互关系,并对其进行语义标注,基于EFSM模型生成操作序列测试路径,随后采用操作接口契约关系获取测试路径中的测试数据.通过案例表明,这种有状态Web服务的用例生成方法能够高效地生成合理的测试数据,并在错误检测能力以及用例有效性方面优于现有的方法.
其他文献
复杂事件处理是支持大数据处理的流式计算平台的核心技术之一.CEStream语言作为一种新型的事件流处理语言，支持分布式环境下的复杂事件处理.该语言以XML等层次化数据作为
大数据时代要求软件代码设计走向自动化，关于新一代软件复用技术的研究值得关注。本文提出从上而下设计系统级可复用程序模块的课题，希望能促使软件设计更加快捷高效、质量
目的:了解兰州地区成年女性感染人乳头瘤病毒(humanpapillomavirus,HPV)及其基因类型分布状况,为本地区HPV分子流行病学研究提供理论依据。方法:利用PCR技术分别对100例妇科
适航认证对机载软件来说至关重要,DO-178C是重要的机载软件安全标准,但是目前还未建立成熟的面向DO-178C标准的目标符合性论证模型。本文基于DO-178C标准中针对软件测试
基于模型的测试是软件测试中一个重要分支，但随着模型规模的增大，测试生成也变得越来越困难。扩展有限状态机(EFSM)模型是一种广泛应用的模型，它是对有限状态机(FSM)模型的
对移动自组网路由中存在的路由效率和可扩展性问题，提出了一种基于Kademlia的移动自组网路由模型。通过分布式散列表技术将系统中的物理节点映射到基于异或度量的覆盖网拓
地下建筑工程中的设备系统经常处于静止状态，为保证其在需要时能安全可靠的运行，需对设备定期进行自动巡检在自动巡检过程中，设备自动巡检控制逻辑起到了举足轻重的作用为了
大数据发展背景下,我国高中美术鉴赏教学迎来了新的挑战.因而在此基础上,为了达到良好的教学状态,要求教师在实践教学活动开展过程中应注重摒弃传统的教学理念,在实践教学活
在英语的学习过程中,语言输入是十分重要的,它为语言输出进行服务,从而帮助学生良好的在今后的生活中对于英语进行应用。在对于高职英语进行输入的时候,不仅应该对于输入内容