公开(公告)号：CN102821144B

公开(公告)日：2015-01-28

申请号：CN201210257537.7

申请日：2012-07-24

Applicant: 南京邮电大学

Inventor： 张迎周 ,  邹德国 ,  符炜 ,  顾帅帅 ,  许晓曼 ,  张卫丰 ,  周国强 ,  郑梁须 ,  朱宪庭 ,  王参参

IPC: H04L29/08

Abstract: 一种基于图灵机技术和DAR算法的在云中部署Web服务的方法，结合了图灵机所能接受语言的抽象性和范围的广度性和DAR算法在易失败的环境下选择Web服务的动态性、可靠性，进而建立了一种Web服务在云中部署模型。本专利主要解决在云中快速，可靠的部署Web服务的挑战。系统由四个模块组成，最上层负责解析BPEL文档，中间层负责可靠原子web服务的选择，属性值的获取、正规化和图灵机的构建。最主要的是图灵机的构建、Web服务选择算法DAR两个部分。经检验证明本专利技术1.能够选择可靠的Web服务；2.部署Web服务时间和实时方面比以往的技术更具有优势。

公开(公告)号：CN102710460B

公开(公告)日：2015-03-04

申请号：CN201210147994.0

申请日：2012-05-14

Applicant: 南京邮电大学

Inventor： 张迎周 ,  顾帅帅 ,  符炜 ,  张卫丰 ,  周国强 ,  邹德国 ,  王参参 ,  陈丽洁

IPC: H04L12/26

Abstract: 一种基于单子技术的Web服务测试数据自动生成方法主要解决Web服务测试所面临的动态灵活性和可组合重用性的挑战。最主要的是测试用例的单子表示、测试用例的自动生成和Web服务测试的运行这三个部分。具体表现为解析WSDL文档，从其Schema中获得相关输入类型信息，再通过函数makeTestCase自动获得某个服务操作的测试用例，最后将其打包成HTTP包发送给服务端，服务端对HTTP包中的SOAP消息进行解析并返回调用服务的结果。经大量实验数据检验证明本专利的技术1.能根据WSDL正确发送SOAP测试消息并获取返回信息，同时能自动生成其中的测试数据；2.测试时间和测试功率方面比以往的技术更具有优势。

公开(公告)号：CN102710460A

公开(公告)日：2012-10-03

申请号：CN201210147994.0

申请日：2012-05-14

Applicant: 南京邮电大学

Inventor： 张迎周 ,  顾帅帅 ,  符炜 ,  张卫丰 ,  周国强 ,  邹德国 ,  王参参 ,  陈丽洁

IPC: H04L12/26

Abstract: 一种基于单子技术的Web服务测试数据自动生成方法主要解决Web服务测试所面临的动态灵活性和可组合重用性的挑战。最主要的是测试用例的单子表示、测试用例的自动生成和Web服务测试的运行这三个部分。具体表现为解析WSDL文档，从其Schema中获得相关输入类型信息，再通过函数makeTestCase自动获得某个服务操作的测试用例，最后将其打包成HTTP包发送给服务端，服务端对HTTP包中的SOAP消息进行解析并返回调用服务的结果。经大量实验数据检验证明本专利的技术1.能根据WSDL正确发送SOAP测试消息并获取返回信息，同时能自动生成其中的测试数据；2.测试时间和测试功率方面比以往的技术更具有优势。

公开(公告)号：CN102622556A

公开(公告)日：2012-08-01

申请号：CN201110435434.0

申请日：2011-12-22

Applicant: 南京邮电大学

Inventor： 张迎周 ,  符炜 ,  张卫丰 ,  周国强 ,  朱宪庭 ,  郑梁须 ,  刘玲玲 ,  顾帅帅 ,  许晓曼 ,  邹德国

IPC: G06F21/22

Abstract: 本发明给出了一种基于程序切片技术的Web服务安全分析方法，该发明以Java开发的Web服务为研究对象，以Java源代码中的关键信息作为研究出发点，将Java源代码中的漏洞分为显式漏洞和隐式漏洞两种。对于显式漏洞的检测，可以通过传统的语句级别的切片对源代码进行分析和抽取，得到显式漏洞的分析结果。对于隐式漏洞的检测，该方法首先分析了源代码中方法之间的依赖关系，生成了方法依赖图，并使用方法级别的切片对方法依赖图进行切片，得到隐式漏洞的分析结果。结合对显式和隐式漏洞的分析，使用漏洞修复模块对漏洞进行修复，并使用服务发布模块对修复过的Web服务进行发布。

公开(公告)号：CN102821144A

公开(公告)日：2012-12-12

申请号：CN201210257537.7

申请日：2012-07-24

Applicant: 南京邮电大学

Inventor： 张迎周 ,  邹德国 ,  符炜 ,  顾帅帅 ,  许晓曼 ,  张卫丰 ,  周国强 ,  郑梁须 ,  朱宪庭 ,  王参参

IPC: H04L29/08

Abstract: 一种基于图灵机技术和DAR算法的在云中部署Web服务的方法，结合了图灵机所能接受语言的抽象性和范围的广度性和DAR算法在易失败的环境下选择Web服务的动态性、可靠性，进而建立了一种Web服务在云中部署模型。本发明主要解决在云中快速，可靠的部署Web服务的挑战。系统由四个模块组成，最上层负责解析BPEL文档，中间层负责可靠原子web服务的选择，属性值的获取、正规化和图灵机的构建。最主要的是图灵机的构建、Web服务选择算法DAR两个部分。经检验证明本发明技术：1.能够选择可靠的Web服务；2.部署Web服务时间和实时方面比以往的技术更具有优势。