免费论文：Web服务软件交互测试中的数据获取和验证

　　随着Web服务技术的日益成熟和相关标准的逐渐完善，越来越多实用的Web服务被共享发布在网络上。但单个的Web服务能够提供的功能毕竟有限，Web服务软件通过组合调用已有Web服务，各Web服务间按照特定业务流程进行交互从而实现更为强大的业务功能，加快系统开发的速度。与此相对应的Web服务组合测试也成为了研究的热点。本文中的Web服务软件交互测试通过关注软件通过静态组合方式所调用各Web服务间的交互状况，基于形式化方法验证软件的实现是否违背了其交互需求特性。由于Web服务具有松散耦合的分布特性，如何获取软件的运行时数据以及及如何应用这些数据实现需求特性验证是交互测试中必须解决的两个关键问题。　　本文通过分析国内外相关工作的研究现状了解到，一方面许多相关研究工作中采用了对软件进行消息截获器或功能代码的插装的方式以实现软件的运行时数据自动获取，但插装说明都由人工基于软件实现细节进行定义，脱离了软件的抽象需求且缺乏自动性。另一方面，为验证软件的实现是否违背了其需求特性，在许多需求监控和运行时验证的相关研究工作中结合应用了各种形式化方法和逻辑理论；但是考虑到本文的测试对象和背景，它们都存在着一定的局限性。针对以上本文问题通过充分利用OWL-S需求模型与WSDL之间的联系，将Web服务软件的需求特性映射到具体实现；基于AspectJ技术和Maude实现了交互测试中的运行时数据自动获取和需求特性验证。　　本文的的主要工作内容包括：　　(1) 研究并实现基于OWL-S需求模型的Web服务软件运行时数据自动获取方法。通过解析OWL-S需求模型生成封装了代码插装说明和功能代码的Aspect程序；利用AspectJ编译器进行切面编织从而实现运行时数据的自动获取和记录。　　(2) 基于Maude利用运行时数据记录实现Web服务软件需求特性验证。根据软件运行时获取的数据记录生成有限序列；解析转换OWL-S需求模型中定义的线性时态逻辑公式并同序列组合成表达式；应用Maude系统基于有限序列线性时态逻辑模型对表达式进行规约，从而验证软件实现是否违背其需求特性。　　(3) 在上述两部分内容的基础上，实现一个Web服务软件交互测试原型系统。同时构建相应的Web服务软件实例，应用本文所实现的原型系统针对实例进行交互测试，通过分析测试结果验证本文所述方法及原型系统的有效性。

来源：半壳优胜鲸鱼幸运星转载请保留出处和链接！

本文链接：http://87cpy.com/271690.html