摘要:BPEL (business process execution language)是一种可执行的Web服务组合语言. 与传统程序相比, BPEL程序在编程模型、执行方式等方面存在较大差异. 这些新特点使得如何定位并修改测试阶段发现的BPEL程序故障成为挑战, 面向传统软件的故障修复技术难以直接应用于BPEL程序. 从变异分析角度出发, 提出一种基于模板匹配的BPEL程序故障修复方法BPELRepair. 为了克服基于变异分析的故障修复技术计算开销高的缺点, 从补丁生成、测试用例选择以及终止条件3个角度提出多种优化策略. 开发一个BPEL故障修复支持工具, 提高故障修复的自动化程度与效率. 采用经验研究的方式, 评估所提故障修复技术及优化策略的有效性. 实验结果表明, 所提故障修复方法能够成功修复约53%的BPEL程序故障; 所提优化策略能够显著降低搜索匹配、补丁程序验证、测试用例执行与故障修复等方面的开销.

摘要:随着Web应用的日益广泛，Web浏览过程中，恶意网页对用户造成的危害日趋严重.恶意URL是指其所对应的网页中含有对用户造成危害的恶意代码，会利用浏览器或插件存在的漏洞攻击用户，导致浏览器自动下载恶意软件.基于对大量存活恶意URL特征的统计分析，并重点结合了恶意URL的重定向跳转、客户端环境探测等逃避检测特征，从页面内容、JavaScript函数参数和Web会话流程这3个方面设计了25个特征，提出了基于多特征融合和机器学习的恶意URL检测方法——HADMW.测试结果表明：该方法取得了96.2%的精确率和94.6%的召回率，能够有效地检测恶意URL.与开源项目以及安全软件的检测结果相比，HADMW取得了更好的效果.

摘要:随着SOA技术的发展，Web服务被广泛应用，服务数量增长迅速.正确高效地对Web服务进行分类，对于提高服务发现质量、促进服务组合效率非常重要.然而，现有的Web服务分类技术存在描述文本稀疏、未充分考虑属性信息以及结构关系等问题，难以有效提升Web服务分类的精度.针对此问题，提出一种基于GAT2VEC的Web服务分类方法.首先，针对Web服务之间的结构关系和自身的属性信息分别构建出多个相对应的结构关系图和属性二分图，并采用随机游走算法生成Web服务的结构上下文和属性上下文；然后，利用SkipGram模型对联合上下文进行训练，得到融合多维信息的表征向量；最后，采用SVM模型实现Web服务的分类预测.在ProgrammableWeb真实数据集上进行对比实验，实验结果表明：相比于Doc2vec，LDA，Deepwalk，Node2vec和TriDNR这5种方法，所提出的方法在Macro F1值上有了135.3%，60.3%，12.4%，10.5%和4.3%的提升，切实提高了服务分类的精度.

摘要:拟态构造的Web服务器是一种基于拟态防御原理的新型Web安全防御系统，其利用异构性、动态性、冗余性等特性阻断或扰乱网络攻击，以实现系统安全风险可控.在分析拟态防御技术原理的基础上，论证异构性如何提高拟态构造的Web服务器的安全性，并指出对异构性进行量化的重要性.在借鉴生物多样性的量化方法基础上，将拟态构造的Web服务器的异构性定义为其执行体集的复杂性与差异性，提出了一种适用于量化异构性的量化方法，通过该方法分析了影响拟态构造的Web服务器异构性的因素.在理论上为拟态防御量化评估提供了一种新方法，工程实践上为选择冗余度、构件和执行体提供了指导.实验结果表明，该方法比香浓维纳指数和辛普森指数更适合于量化拟态构造的Web服务器的异构性.

摘要:Web应用测试用例生成并行化是提升Web应用测试生成效率的一个有效手段.Web应用的前后端分离、事件驱动等特性，导致传统的并行化技术难以直接应用于Web应用的测试用例自动生成中.因此，如何针对Web应用进行并行化测试用例生成，是一项具有挑战性的工作.将种群并行化计算引入到基于遗传算法的Web应用前后端融合的测试用例生成中，通过线程池及调度逻辑设计、多浏览器进程管理及后端覆盖路径获取，实现种群个体在多浏览器上的并行化执行及基于后端路径覆盖的适应度值并行化计算，以更高效地生成Web应用的测试用例.实验结果表明：相对于Web应用的GA串行化测试用例生成方法，所提的并行化测试生成方法能够更充分地利用系统资源，极大地提升Web应用测试用例的生成效率.

摘要:随着移动互联网的飞速发展，用户越来越多地通过移动设备访问Web应用.浏览器为Web应用提供基本的计算、渲染等运行时支撑，其缓存机制可以支持Web应用直接从本地而不是通过网络来获取可复用资源，不仅能够减少整体的执行时间从而提升应用加载速度，还能够减少网络流量使用和电池电量消耗，从而保证移动Web用户体验.近年来，围绕面向移动Web应用的浏览器缓存优化得到了国内外学术界和工业界的广泛关注.然而，现有研究工作大多都是从网络层面关注浏览器缓存的整体性能，未充分考虑移动互联网用户访问行为的差异性和动态性，以及Web应用自身持续演化对浏览器实际缓存性能的影响.针对这一问题，首先设计了一种新型主动式缓存度量实验，通过仿真用户的访问行为来分析移动Web应用实际资源使用情况，揭示了浏览器缓存的理论性能上限和实际性能之间的巨大差距，并发现了造成这一差距的3个主要原因：重复请求别名资源、启发式过期时间和保守的过期时间配置.基于此发现，从应用层和平台层分别提出了两种浏览器缓存性能优化方案，并实现了原型系统.实验结果表明，采用两种方法分别平均可减少8%~51%和4%~58%的网络流量，且系统开销较小.

摘要:为了解决动态服务组合过程中功能执行时序与工作流的关系问题，提出了一种基于时变Petri网技术的Web服务组合模型.引入Petri网有向网结构来描述组合过程中输入/输出功能及时间因素影响，以Petri网的有向弧结构表示服务组合过程中服务功能时间参数输入/输出表达式，利用时变函数表示服务的时间消耗，进而将服务组合转化为时变Petri网的流程正确性检验和时间开销优化问题，使建立的服务组合模型在组合成功率和用户满意度间达到良好的动态平衡.提出了一种基于回溯方法的服务组合流程检验和QoS计算方法，用于时变Petri网系统下服务组合策略的构建和验证.为了说明该方法的有效性，以一个实际电厂信息调度平台系统提供的Web服务为研究对象，通过两组仿真实验，分别说明该方法具有良好的组合成功率及使用相同候选服务集构建组合策略的有效性.实验数据和结果分析表明，该建模方法能够达到特定用户对服务功能的使用需求.

摘要:目标监测及其数据获取是物联网系统中最广泛的应用之一.监测网络中移动型目标会导致能够采集到目标资源的物联网节点不断改变，即资源的访问位置不断变化.因此，随着设备移动性的日益增长，动态资源的链接和数据访问方法已经成为影响物联网应用性能的一项关键技术.针对资源动态性导致的访问延时增加、响应率降低等问题提出了一种面向动态资源的物联网应用层协议Sealink.协议采用RESTful设计风格，使用URI描述动态资源，利用LSTM算法对动态资源的可访问位置进行预测建模，以此降低访问延时并提高请求响应率.实验结果表明，该协议能够降低访问动态资源的请求在物联网节点间的转发次数，与HTTP协议相比，平均能够减少75.5%的访问延时.

摘要:随着面向服务技术和云计算技术的不断成熟，尤其是面向服务体系结构SOA的不断完善以及推广，其主要内容Web服务已经被广泛应用.为了充分利用Web服务并解决单个Web服务功能有限的问题，业界将多个原子Web服务按照一定的规则和业务逻辑进行组合，以提供更多功能更强大的服务，实现了Web服务的增值和复用.为了保证Web服务组合的质量，需要对Web服务组合进行全面、充分的测试.然而，Web服务组合的动态特性和分布式特点使得其测试技术和方法与传统的软件测试有很大的区别，存在很多挑战.针对Web服务组合测试，对近年来Web服务组合测试研究中的测试用例生成技术、回归测试技术、测试执行和度量方法进行了系统的总结和分析.此外，还对Web服务组合测试中有待研究的问题进行了分析和展望.

摘要:流程结构演化是实现服务流程重构的一种有效手段，可以充分利用已有流程资源快速定制满足新业务需求的服务流程.然而，当前服务演化研究多关注于流程局部组成服务以及接口参数的兼容替换，对于流程结构演化所提供的操作过于简单，难以应对复杂流程演化场景.针对上述问题，提出一种基于逻辑Petri网的服务流程结构演化形式化描述方法.利用逻辑Petri网将服务流程建模为服务网，在服务网的基础上，针对不同的演化需求构建相应的结构演化运算；引入结构范式概念评价服务流程的结构健壮性，并借助逻辑Petri网的结构性质来分析与验证所建立的演化运算对流程结构范式的级别保持问题.给出了基于流程结构演化的服务流程定制框架，并基于所提出结构演化运算设计开发了仿真验证平台，验证了方法的有效性.