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