面向WS-BPEL程序的变异测试优化技术

WS-BPEL(business process execution language for Web service)是一种基于XML的、面向过程的可执行服务组装语言.由于Web服务的动态性、松耦合特性、部署与运行于开放的网络环境,如何保证WS-BPEL程序的可靠性尤显重要.尽管变异测试具有较强的故障检测能力,但由于变异体数量大、执行时间长、计算开销大,不利于在实践中广泛应用.为了增强变异测试的实用性,针对如何降低面向WS-BPEL程序的变异测试开销问题,从二阶变异和变异算子优先级角度提出了2种面向WS-BPEL程序的变异测试优化技术,开发了相应的集成化支持工具μBPEL.使用6个WS-BPEL程序实例对提出的优化技术的有效性进行验证.实验结果表明:提出的优化技术可以有效地减少变异体数目而并不显著降低变异测试有效性,提高了变异测试的效率.

面向QoS的服务运行时绑定方案

为了有效利用系统服务体系内功能相同而服务质量(QoS)各异且实时变化的原子服务,需要根据QoS对原子服务进行运行时绑定。采用服务操作的方式从程序层面表达原子服务的QoS指标,并对这种方式的有效性和合理性进行了分析。提出用户QoS偏好计算服务,可根据用户QoS偏好生成和执行QoS指标计算模型,并采用一种服务编制模式实现原子服务的运行时绑定。最后基于WS-BPEL[1](Web服务业务流程执行语言)进行举例,结果表明了该方案能够实现面向用户QoS选择偏好的原子服务运行时绑定。