基于代数规约的Web服务测试数据生成技术

毕业设计说明书中文摘要随着Web服务已经成为SOA的主要实现技术，保证Web服务质量的测试也受到越来越多的关注。基于形式化代数规约的测试方法为Web服务自动化测试提供了一种解决途径。测试数据的生成是软件测试的核心环节，已有基于代数规约的测试技术主要采用随机法生成测试数值，但是该方法数据生成效率低下，会产生较大的测试开销。因此，本文主要研究如何提高Web服务测试数据的生成效率。82995

本文首先介绍了Web服务测试数据生成的研究背景以及国内外的研究现状，说明了研究的背景，目的和预期结果；接着简单介绍了代数规约和SOFIA语言，为进一步改进技术奠定基础；然后介绍了基于树编码的遗传算法及其运行流程，并将其与Web服务测试数据自动生成技术结合起来，建立基于代数规约的Web服务测试数据生成的原型工具。实验结果表明，基于树编码的遗传算法在自动生成测试数据的效率上优于随机法。

毕业论文关键词 Web服务测试；代数规约；遗传算法；测试数据自动生成

毕业设计论文外文摘要

Title The production of the testing data base on algebraic of the web service

Abstract As the Web service becoming the main solving project of SOA ,the test quality of the Web service has been more concerned 。The test based on algebraic specification makes a reachable solution for the Web service automatic testing 。Test data producing is the fundamental part of the software testing 。The original test technology based on algebraic usually takes the random solution to produce test data 。However ,this solution not only makes very low quality data but also makes huge testing assumption 。Therefor ,this article is mainly concentrated on promoting the efficiency of test data producing 。

First of all 。this article introduces the background of the test data producing of Web Service ,the research at home and abroad ,the aim and the predict result 。Then ,it briefly introduces the algebraic and the SOFIA language and make the basis of the revolution of the technology 。It also introduces a tree-based genetic algorithm and the running procession ,combines with the production of the testing data of the Web service and make the original tool of it 。The result shows the tree-based genetic algorithm having a better efficiency than the random solution。

Keywords Web service testing;algebraic specification; Genetic algorithm;test data automatic generation;

1 引言 1

1。1 研究背景 1

1。2 国内外研究现状 2

1。3 研究内容 3

1。4 论文的组织结构 3

2 代数规约与SOFIA语言 4

2。1 代数规约 4

2。2 SOFIA语言 5

3 基于树编码的遗传算法 7

3。1 个体表示 7

3。2 适应值函数 8

3。3 遗传算子 9

3。4 算法终止条件 12

3。5 算法流程 12

4 系统实现和实验结果分析 14

4。1 系统实现 14

4。2 实验结果分析基于代数规约的Web服务测试数据生成技术:http://www.youerw.com/jisuanji/lunwen_97589.html