项目名称: 基于代数规约的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

成为VIP会员查看完整内容
0

相关内容

专知会员服务
15+阅读 · 2021年8月19日
专知会员服务
34+阅读 · 2021年8月1日
专知会员服务
33+阅读 · 2021年7月17日
专知会员服务
66+阅读 · 2021年7月10日
专知会员服务
30+阅读 · 2021年3月7日
个性化广告推荐系统及其应用研究
专知会员服务
92+阅读 · 2021年2月27日
专知会员服务
79+阅读 · 2020年12月11日
FPGA加速系统开发工具设计:综述与实践
专知会员服务
61+阅读 · 2020年6月24日
Go应用单元测试实践
阿里技术
0+阅读 · 2022年4月8日
实战 | 使用 Kotlin Flow 构建数据流 "管道"
谷歌开发者
0+阅读 · 2022年3月30日
Facebook 如何做大规模服务的自主测试
InfoQ
0+阅读 · 2021年12月26日
形式化验证工具TLA+:程序员视角的入门之道
阿里技术
0+阅读 · 2021年10月22日
智能合约的形式化验证方法研究综述
专知
13+阅读 · 2021年5月8日
Github 项目推荐 | PyTorch 实现的 GAN 文本生成框架
AI研习社
33+阅读 · 2019年6月10日
已删除
德先生
53+阅读 · 2019年4月28日
国家自然科学基金
1+阅读 · 2014年12月31日
国家自然科学基金
1+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
1+阅读 · 2008年12月31日
Arxiv
0+阅读 · 2022年4月20日
Arxiv
0+阅读 · 2022年4月19日
Arxiv
0+阅读 · 2022年4月19日
小贴士
相关VIP内容
专知会员服务
15+阅读 · 2021年8月19日
专知会员服务
34+阅读 · 2021年8月1日
专知会员服务
33+阅读 · 2021年7月17日
专知会员服务
66+阅读 · 2021年7月10日
专知会员服务
30+阅读 · 2021年3月7日
个性化广告推荐系统及其应用研究
专知会员服务
92+阅读 · 2021年2月27日
专知会员服务
79+阅读 · 2020年12月11日
FPGA加速系统开发工具设计:综述与实践
专知会员服务
61+阅读 · 2020年6月24日
相关资讯
Go应用单元测试实践
阿里技术
0+阅读 · 2022年4月8日
实战 | 使用 Kotlin Flow 构建数据流 "管道"
谷歌开发者
0+阅读 · 2022年3月30日
Facebook 如何做大规模服务的自主测试
InfoQ
0+阅读 · 2021年12月26日
形式化验证工具TLA+:程序员视角的入门之道
阿里技术
0+阅读 · 2021年10月22日
智能合约的形式化验证方法研究综述
专知
13+阅读 · 2021年5月8日
Github 项目推荐 | PyTorch 实现的 GAN 文本生成框架
AI研习社
33+阅读 · 2019年6月10日
已删除
德先生
53+阅读 · 2019年4月28日
相关基金
国家自然科学基金
1+阅读 · 2014年12月31日
国家自然科学基金
1+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
1+阅读 · 2008年12月31日
微信扫码咨询专知VIP会员