【摘 要】
：
作为一种实现面向服务体系架构(SOA)典型的应用实例，Web服务采用和支持国际公开的开放技术标准规范以保证分布式的端到端的交互。目前虽然Web服务已经在电子商务、金融等许多领域得到广泛应用，但是由于Web服务本身的源码不可知和行为的不可预知等特性使得测试工作面临很大的问题。本文采用一种基于交互行为规约的方法测试Web服务。由于WSDL文档中并未提供Web服务的动态行为信息，服务提供者将额外提供以U
【机 构】
：
东南大学计算机科学与工程学院,江苏南京,211189
论文部分内容阅读
作为一种实现面向服务体系架构(SOA)典型的应用实例，Web服务采用和支持国际公开的开放技术标准规范以保证分布式的端到端的交互。目前虽然Web服务已经在电子商务、金融等许多领域得到广泛应用，但是由于Web服务本身的源码不可知和行为的不可预知等特性使得测试工作面临很大的问题。本文采用一种基于交互行为规约的方法测试Web服务。由于WSDL文档中并未提供Web服务的动态行为信息，服务提供者将额外提供以UML2.0序列图和OCL描述的服务交互行为规约，该规约描述了用户在使用服务的外部接口所提供的功能时必须遵循的规则。本文采用扩展标号变迁系统(ExtendedLabeled Transition System,ELTS)对服务行为进行形式化建模，ELTS是在标号变迁系统(LabeledTransition System，LTS)基础上添加语义约束信息而得到的，弥补了LTS描述数据流方面的不足。文章首先给出从序列图综合服务行为模型ELTS的算法，接着讨论了基于ELTS的形式化测试的相关理论：本文对传统的基于LITS的测试用例生成算法加以改进，提出一种新的基于ELTS生成具有良好测试覆盖的测试用例的算法，用于测试服务的实现是否与交互行为规约相一致。
其他文献
介绍了一种给超标量流水线分配优先级并使用缓冲队列等方式来减少寄存器堆读端口的方法，从而大大减小了寄存器堆的面积和功耗，并使用了寄存器合并技术，将两个单精度数据合并写入寄存器堆从而加快了写寄存器堆的的速度。本文以有三条流水线的浮点处理器为例，说明了其实现过程。
随着流媒体应用的大量兴起，流媒体传输的基础--覆盖网已成为研究的热点.覆盖网拓扑从传统的树形拓扑向网状拓扑发展。然而两种拓扑在不同的物理网络下对流媒体传输性能的影响却缺乏系统的研究。本文在NS2上对两类传输协议的性能进行仿真测试，得出覆盖网延迟、吞吐量与节点规模、节点分布情况和所选拓扑之间的关系是，对于延迟，小规模节点下树结构优于网结构，大规模节点下当节点度数较多时，网结构优于树结构，对于吞吐量，
多核处理器的出现促进了多线程程序的流行，对多线程程序提供检查点支持越来越重要。由于线程本身的特性，用户级检查点工具在获取线程信息和控制同步的过程中有很多困难。本文利用截获系统调用的方法，设计了一种在用户级为多线程程序提供检查点和卷回恢复的方法。实验结果显示多线程程序检查点开销与线程数目基本成正比，且检查点文件规模成比例增加。
本文提出了一种可用于同步和异步流水线控制的自控式电路结构。其通过利用延迟网络的自循环实现了自我控制，并通过与上下级流水线的互动可实现整个流水线的控制。本文首先提出了电路的基本结构，在此基础上分别进行了线性流水线的实现和非线性流水线的基本模型构建，一款基于此结构的24位DSP被设计出来以证明此结构的有效性和设计可行性，结果显示采用自控式结构的DsP与同步时钟控制相比有大致相当的性能，节省了约10％～
本文根据粗粒度可重构体系结构的特征，提出了一种粗粒度可重构处理器的接口控制器的设计方法，该控制器作为一个新的功能部件嵌入到可重构处理器内部。它由命令存储器，命令译码器和命令执行器等部分组成，并为接口控制器定义了一个接口命令集，该接口控制器通过执行接口命令完成对可重构阵列的控制。最后还介绍了利用接口命令编写正确的接口命令脚本控制可重构处理器完成算法执行的方法。
在IBM JS21 Bladecenter上进行THPL与HPcc的对比测试，介绍THPL与HPCC的测试方法及结果分析方法，并采用分层模型(AHPCC)对HPCC的测试结果进行了分析。其目的是通过在高性能机群上执行这两个基准测试，比较它们的测试过程和结果分析方法。实验表明：HPLSDHPCC可操作性相近，HPCC的结果评价较HPL复杂。通过分层模型的评价，我们能够得到更多关于目标系统的性能参数和
给出一种区分服务组播的三层实现模型，在此基础上给出一种基于封装和聚集组播的区分服务组播实现方案--EADSMCast(Encapsulaled andAggregated DiffServ Multicast)。一方面通过对基于封装的DsMCast方案的改进，在组播分组头部封装聚集组播树上核心路由器的转发信息，保持了区分服务域中核心路由器的无状态性和可扩展性;另一方面，通过对聚集组播的组一树匹配算
传统的超级计算系统都是使用HPLinpack测试程序的峰值来进行性能的比较和排名，然而，随着现代超级计算系统从体系结构到编程模型的不断发展，以及实际应用程序类型的不断丰富，仅仅依靠Linpack这样的解稠密线性方程组的测试程序作为评判超级计算系统性能的唯一标准已经不够了。美国的DARPA HPCS项目开始资助由HPCChallenge测试基准程序(由八个独立的测试程序组成)来对超级计算系统进行从性
Internet应用需要高性能的网络服务器体系结构。本文提出MEANS结构，这是一种针对Internet应用的网络服务器软件体系结构。通过引入一种新的线程抽象，微线程，MEANS向上层的程序员提供微线程环境，并通过传统线程并发访问下层操作系统的服务，而微线程的管理和调度则使用事件驱动机制，从而综合多线程和事件驱动结构的各自优点。此外，MEANS还具备通用性、扩展性、健壮性和适应性。经初步验证，在并
通过分析多个尺度上的网络行为，并考虑TCP流量的双向传输特性，对TCP流量进行较为完整的建模，即多尺度双向流量模型：基于该流量模型，分析各尺度上共12个网络行为因素对流量多分形特性的影响。对流量多分形性影响较大的指标包括：连接到达间隔，连接大小，数据包大小等。由于响应方向的流量较大，响应方的影响大于请求方的影响;而连接RTT，连接包簇大小,包簇内部数据包OFF时间等指标对流量多分形性影响则较小。