题目：反馈控制原理在软件白箱测试中的应用

软件测试是软件工程中的一个重要环节，是保证软件质量的重要手段。面向对象的软件开发是当今软件开发的主流，在面向对象软件的测试过程中，对类的测试是重要的一环，也是整个软件测试的基础。由于面向对象软件的封装、集成、多态等特点，传统的测试方法不能满足类测试的要求。软件白箱测试本质上是一种基于覆盖的测试，而覆盖测试正是类测试的重要手段之一。本文的主旨是将反馈控制思想应用到对类的覆盖测试过程中去。首先介绍了被测软件的受控马尔可夫链建模，并从中引出了自适应覆盖测试思想；然后以一个实际的交互式图形开发工具包Intra3D中的一个类为测试对象，通过实验的方法对自适应覆盖测试方法与传统的全随机测试方法、分类随机测试方法以及其他覆盖测试方法的测试性能进行了比较和分析；接下来通过五组不同窗口大小的自适应覆盖测试实验，研究了反馈历史信息的长度对自适应覆盖测试方法性能的影响，并提出了一种估计自适应测试策略最优窗口值的方法；本文的最后又将动态分类测试方法引入了类的覆盖测试中，并将其性能同随机方法和自适应方法进行了比较和分析。实验证明，本文所使用的两种控制方法：自适应测试方法和动态分类测试方法，都能够提高软件测试的效率，这说明了将控制思想应用于软件白箱测试中的可行性。