基于网络接口的健壮性测试平台及关键技术研究与实现

摘要

本文首先在分析程序的网络接口的基础上，提出“两步生成，同步精化”的用例自动生成模型，并根据此模型设计和实现了基于网络接口的健壮性测试平台——NORTS。测试用例的数量和质量决定了软件测试的成本和有效性。本文在总结用例生成理论的基础上，提出了相关测试用例的生成算法，并从约束库和测试执行的角度对生成的用例进一步优化。测试驱动模块是实现NORTS的基础。本文采用Windows的NDIS技术截获数据包，将包过滤规则形式化后，利用推理机实现了数据包的采集。最后，利用NORTS对用例生成的几个主要算法进行了验证。测试结果表明，这些算法是可行的。

目录

文摘

英文文摘

第1章绪论

1.1课题背景

1.2国内外研究现状

1.2.1软件测试的研究现状

1.2.2网络软件健壮性测试的研究现状

1.3本文的主要研究内容

第2章基于网络接口的健壮性测试研究

2.1基于网络接口的健壮性测试方法简介

2.1.1程序的网络接口

2.1.2基于网络接口的健壮性测试结构

2.2测试用例生成的理论基础

2.2.1用例生成的数学模型

2.2.2测试域分析技术

2.2.3用例等价划分技术

2.3用例生成模型的研究

2.3.1测试用例的质量标准

2.3.2测试用例的组成

2.3.3测试结果的分类

2.3.4用例自动生成模型

2.4测试用例生成算法的研究

2.4.1单域测试用例生成算法

2.4.2多个数据域的组合算法

2.5测试用例的优化

2.5.1“约束库”优化法

2.5.2测试执行时的优化

2.5.3优化的结果

2.6本章小结

第3章网络软件健壮性测试系统(NORTS)设计

3.1数据截获技术介绍

3.1.1 Windows平台下几种数据包截获技术的特点

3.1.2 NDIS中间层驱动程序

3.2 NORTS设计

3.2.1 NORTS的功能

3.2.2 NORTS的体系结构设计

3.2.3 NORTS的功能模块结构

3.3主要实现技术

3.3.1中间层的基本协议分析

3.3.2包过滤规则的形式化及推理机设计技术

3.4本章小结

第4章网络软件健壮性测试系统实现

4.1用户接口模块的实现

4.2测试处理模块的实现

4.2.1数据包的接受

4.2.2数据包的处理

4.2.3数据包的发送

4.3测试驱动模块的实现

4.3.1数据包的内存管理和数据包的结构

4.3.2基本协议分析模块

4.3.3包过滤推理机的实现

4.4实验结果分析

4.4.1被测应用程序介绍

4.4.2实验的结果分析

4.5本章小结

结论

参考文献

哈尔滨工业大学硕士学位论文原创性声明

哈尔滨工业大学硕士学位论文使用授权书

致谢