基于代数规约的Web服务在线测试理论和技术研究

项目名称： 基于代数规约的Web服务在线测试理论和技术研究

项目编号： No.61502233

项目类型： 青年科学基金项目

立项/批准年度： 2016

项目学科： 自动化技术、计算机技术

项目作者： 刘冬梅

作者单位： 南京理工大学

项目金额： 21万元

中文摘要： 随着面向服务计算的普及，Web服务自动化测试扮演着越来越重要的角色。然而，在第三方服务在线测试中，缺乏服务代码、缺乏对服务的执行控制和内部行为观察能力，这对Web服务自动化测试提出了更大的挑战。针对Web服务的特点，本项目拟采取以形式化代数规约为基础的测试途径，开展Web服务在线自动化测试理论和技术研究。本课题组前期研究表明代数规约较适合于对Web服务进行形式化描述，且现有以代数规约为基础的测试技术已能够对面向对象和基于构件的软件进行自动化测试，但现有技术不能简单地移植到服务测试上。因此，本项目提出用状态增量测试代替固定状态测试以及用单线测试序列代替多线测试序列的新技术路线，研究状态增量测试用例和单线测试序列的表达能力等理论问题、可单线化测试用例生成等核心技术问题。以理论和核心技术研究为基础，设计并实现Web服务在线自动化测试的原型工具和实例研究，验证新技术路线的实用价值。

中文关键词： Web服务；代数规约；自动化测试；单线测试序列；测试用例生成

英文摘要： As service computing becomes more common, automatic testing for web services plays ever more important roles. However, there is the lack of service code, the control over test executions and a means of observation of internal behavior during on-the-fly testing of third-party services. This represents a significant challenge in automatic web services testing. In this project, we aim to conduct novel research on both theory and techniques for on-the-fly testing using algebraic specifications that are suited for specifying web services. Although current testing techniques from algebraic specifications are capable of testing object-oriented and component-based software automatically, it is still difficult to apply these techniques to testing web services. This project will propose a method based on two novel techniques: state incremental testing and monolithic test sequence, in substitution for traditional ones: specific state testing and multilithic test sequence respectively, study their expressiveness, and propose algorithms for monolithic test cases generation. Based on the above work on theory and techniques, we will design and implement tools for on-the-fly testing of web services as well as use real-world case studies for evaluation.

英文关键词： Web Services;Algebraic Specifications;Automatic Testing;Monolithic Test Sequence;Test Cases Generation