【摘 要】
：
Web服务业务流程执行语言(Business Process Execution Language for Web Services，BPEL4WS)可以将多个Web服务(Web Services)组合起来，形成Web服务工作流，提供更为灵活的方式集
论文部分内容阅读
Web服务业务流程执行语言(Business Process Execution Language for Web Services，BPEL4WS)可以将多个Web服务(Web Services)组合起来，形成Web服务工作流，提供更为灵活的方式集成企业级应用。随着Web服务以及BPEL4WS的广泛运用，对BPEL4WS的测试也成为人们关注的一个焦点。
本文在前人研究的基础上提出一种基于UML的BPEL4WS测试方法，首先提出将BPEL4WS文件转化为UML类图和活动图的一组转化规则，利用这组规则将BPEL4WS转化为UML活动图和类图，然后根据生成的UML活动图生成测试场景，再根据得到的测试场景结合类图得到测试用例。本文提出的方法所生成的测试场景能满足基本路径覆盖准则，可有效的发现系统中存在的错误，明显减少了生成的测试用例数目，提高了测试效率。最后本文将提出的方法应用到一个BPEL4WS测试过程，并分析、验证了方法的效果。
其他文献
随着Internet技术的发展,XML作为信息表示和数据交换的标准受到越来越多的关注,如何有效地存储和查询XML数据已经成为当前研究的热点。Twig模式查询是XML查询处理的核心操作,
5G移动通信系统是面向2020年移动通信需求提出的新一代移动通信系统。与现有的移动通信系统相比，5G移动通信系统在无线覆盖能力、传输时延、系统安全和用户体验方面将得到显著
随着Internet的迅速发展,信息共享和数据交换的范围也在不断扩大,XML在跨平台、异构数据集成方面有着相当广泛的应用,但缺乏完善的存储和管理机制。当前,传统的关系数据库依
在网络信息安全问题中,用户的身份认证问题是最基本的。在各种对身份的认证技术中,基于口令的认证方式由于其高效、低廉、便捷等优点,因此使用得最普遍。在基于口令认证的密
机群结构的超级计算机性能已经跨越百万亿次向千万亿次发展，可扩展性一直是超级计算机面临的最大挑战之一。超级计算机在软件层次的可扩展性研究远远滞后于它在系统结构(硬件)
随着网络的进一步发展,人们生活中的计算设备不断增多并产生了大量的数据,为满足日益复杂的各种信息的存储需求,基于P2P的海量存储系统以其独有的高可扩展性,负载平衡等特点,
由于网络信息发布缺少有效的监督机制，越来越多的不良信息出现在网络上。为了构建和谐健康的网络环境，自动的信息过滤技术具有重要研究价值。为了逃避现有的过滤系统，当前不良信
MR(Magnetic Resonance)影像具有较高的分辨率和软组织对比度,被广泛的应用在脑部影像处理与分析中。MR脑影像分割是医学影像处理与分析中的一个重要环节,它是脑部疾病诊断、
光电测控系统一般由伺服控制分系统、图像处理分系统、数据通信分系统、时统分系统组成，目前各分系统是由PC104工控器或DSP处理器实现，分系统各自独立，相互之间通过串行总线进行
随着计算机和通讯技术的快速发展，在市场竞争日益激烈的环境下，企业更加重视整体工作效率的提高和成本的降低。在实际的工作应用过程中，企业很多业务流程都涉及到工作流处理，比如