基于代数规约的Web服务自动测试执行引擎

来源 :计算机与数字工程 | 被引量 : 0次 | 上传用户:junee1122
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着面向服务计算的迅速发展, Web服务测试扮演着越来越重要的角色, 尤其是在Web服务动态发现和组合的过程中, 通过对第三方提供的服务进行自动测试已成为一个研究热点.近年来, 从Web 服务的形式化代数规约自动生成测试用例和自动检验测试结果的正确性等方面的研究都取得了实质性进展.但是, 由于Web服务接口的多样性, 服务调用方式不一致, 如何将测试用例自动地转换成对第三方Web服务的测试性调用请求是一个尚未解决的技术难点, 已成为完成Web服务自动测试的主要障碍之一.以现有的研究工作为基础, 在分析主流
其他文献
凡属法网严密的朝代,臭名昭著的暴君用株连之刑有如用餐,一日不用,便慌得很。夏桀商纣,杀人动辄全家,务必斩草除根;秦始皇对待儒生,几百几百地活埋。而把株连推至极致的,当属
当今世界科技不断进步,各类电子设备层出不穷,电子信息技术在各行各业当中的运用也越来越频繁。其中在电气工程自动化控制领域,PLC技术更是得到了广泛的运用,并且逐渐发展完善。
介绍了一种结构新颖,能在短时间内迅速使物料达到超微颗粒且粒径分布狭窄的超微粉碎机。
随着城市地下空间开发利用规模不断扩大,对地下空间建设标准化要求也越来越高,以系统工程为基础的综合标准化是现代标准化基本特征之一,开展城市地下空间建设综合标准化研究
在现代质量检测体系中,无损检测技术已经占有着不可替代的核心作用。而在水利工程施工项目的质量检测体系构建背景下,无损检测由于其周期较短、对工程扰动较小、检测结果指导性
论文提出一种基于BP和WTA神经网络的轴承故障诊断模式识别新方法,将轴承故障数据提取为所需的特征向量,训练BP-WTA,得到基于BP和WTA神经网络的诊断分类器。通过144组样本进行
Android智能手机的快速发展在给人们的日常生活带来便利的同时,Android恶意应用的数量也在日益增多,因此如何有效地对恶意应用进行检测就成为了近年来信息安全领域的热点问题
北京摩罗(中国艺术研究院中国文化研究所研究员):感谢贵刊多年来慷慨赠阅。贵刊办得很好,我经常认真拜读其中的许多内容,这几年让我长见识、长知识不少。关于中国正在崛起为一个经
随着技改项目的进行,为降低厂用电率,如何节约用能,将成为努力思考和亟待解决的问题,高压电动机之一的循环水泵电机是重要的厂用电耗电设备,其耗电量会对厂用电量产生波为明
林场管理中的造林工程管理对于保障造林工程的有效性非常重要,并且造林工程是一项长期的系统性工程,因此为了提升林场管理水平,本文阐述了林场管理中的植苗造林优势与方法,对