论文部分内容阅读
BPEL是能表达复杂的并发行为的一个语言，被用于描述Web服务的组合。提出一个算法来生成BPEL过程的单元测试用例。首先通过给定的转换规则把用BPEL描述的过程转换成BPEL流图（FGBPEL），然后提出CTP算法来生戍测试用例。对提出的方法做适当的扩展，也可以运用到其它的业务过程处理语言中。
BPEL的测试用例生成研究
【摘 要】
：
BPEL是能表达复杂的并发行为的一个语言，被用于描述Web服务的组合。提出一个算法来生成BPEL过程的单元测试用例。首先通过给定的转换规则把用BPEL描述的过程转换成BPEL流图（FGB
【机 构】
：
南京航空航天大学计算机科学与技术系
【出 处】
：
计算机工程与设计
【发表日期】
：
2008年20期
其他文献
为了有效构建一套加油站卡系统,在探讨了问题域及不同实现框架优缺点的基础上,给出了一个基于轻量级J2EE框架的实现方案。此方案根据卡系统自身的需求和特点,在开发过程中充
从2013年MCN生产模式开始逐渐在国外兴起,国内一些视频网站也纷纷开始了MCN生产模式的探究。本文对于短短视频行业当中的MCN内容生产模式进行探究,主要探究其生产模式路径,以
潜水让人类如鱼一样遨游,作为一项有氧运动,它从头到脚都能得到锻炼,特别是对高负荷、高压力的商界精英们来说,潜水是最佳的减压、释放焦虑的休闲运动方式
<正> 一、关于领导科学的性质当前,对于领导科学性质的看法很不一致。有一种观点认为:“领导科学是一门自然科学性质的社会科学”。持上述观点的同志根据近年来大量的自然科
我国经济发展速度近几年非常快,对于道路交通设施的建设规模也越来越大。桥梁作为道路交通设施中的一个重要组成部分,其施工工艺一直以来都受到了关注。钻孔灌注桩施工技术是
不变性常识与支持向量机的融合技术是近年来支持向量机研究的重点之一，将不变性常识融合于学习模型，有助于提高模型的泛化能力。提出了一种新的不变性常识与支持向量机的融合方
GaN及其合金具有大的带隙 ,高的热导和强的化学键 ,是制作短波长光电器件和高温电子器件重要的半导体材料 ,受到人们很大的关注。近年来 ,GaN器件已取得了快速进展 ,LED已经
<正> 拥有1000间客房的丽都“假日旅馆”,1986年秋在北京全部建成营业。这是国际“假日旅馆”网在亚太地区设立的第23家旅馆。从日本京都到印度孟买,从菲律宾马尼拉到斯里兰
信任管理是当前网络安全研究的热点。信任问题，主要存在于访问控制过程中，不仅是电子商务系统中，而且也是目前兴起的分布式计算中所需要面对的重要问题。在分析了传统安全授权机