Automated Testing of Web Services and Service-Oriented Computing

随着亚马逊、苹果、谷歌、IBM、微软和雅虎等主要技术公司最近对面向服务的计算进行投资，面向服务的计算的趋势显而易见。虽然这些新系统仍然与传统信息技术系统和现代基于网络的应用程序密切相关，但它们构成了一些独特的挑战，需要创新的软件工程方法。面向服务的计算系统中独特的测试挑战包括Web服务端点的验证和跨多个异类节点的系统状态的验证。测试传统软件系统的非功能质量属性是一项具有挑战性的工作，面向服务的计算也是如此。虽然服务之间的安全基础设施已经建立，但需要开发战略、工具和测试技术来减少Web服务中的缺陷数量，以产生安全的面向服务的计算系统。**这项研究的目的是产生一种低成本的自动化测试解决方案，用于面向服务的计算。这一目标将通过以下方式实现：(I)为来自wsdl规范的上下文无关的语法输入定义创建自动提取机制；(Ii)开发基于Web服务和HTTP服务器日志的运行时跟踪的自动逆向工程输入约束解算器；(Iii)开发自动缺陷检测以辅助整体测试解决方案；以及(Iv)为现有的企业服务总线基础设施开发不变验证框架。这项研究的结果预计将对强大的网络服务和下一代面向服务的计算基础设施的发展以及更广泛的网络工程和软件测试领域产生重大影响。

With recent investments in service-oriented computing by major technological players including Amazon, Apple, Google, IBM, Microsoft, and Yahoo, the drive towards service-oriented computing is evident. While these novel systems remain closely tied to traditional information technology systems and modern web-based applications, they pose a number of unique challenges for which innovative software engineering methodologies are required. Unique testing challenges within service-oriented computing systems include the verification of the web-service endpoints and the verification of the state of the system across multiple heterogeneous nodes. Testing the non-functional quality attributes of traditional software systems is a challenging endeavour, and the same holds true for service-oriented computing. Although infrastructure for security between services is established, development strategies, tools and testing techniques that decrease the number of defects within web-services are required to produce secure service-oriented computing systems.** The objective of this research endeavour is produce a low-cost automated testing solution for use in service-oriented computing. This goal is to be realized through: (i) the creation of an automated extraction mechanism for a context-free grammatical input definition from a WSDL specification; (ii) the development of an automated reverse-engineering input-constraints solver based on the runtime traces of a web-service and HTTP server logs; (iii) the development of automated defect detection to aid the overall testing solution; and (iv) the development of an invariant-validation framework for existing Enterprise Service Bus infrastructure. The outcome of the research is expected to have significant implications for the development of robust web-services and the next generation of service-oriented computing infrastructure, as well as for the broader web engineering and software testing fields.********