自动化背景的同学和学者对此不是非常熟悉，简单来说，就是将软件做为一个控制对象，只不过难以使用微分方程构建模型的一个控制对象。此时传统的控制策略无法使用，只能开发一些其他的替代性的控制算法，而我们的研究就是分析如何开发这些控制的方法，达到我们的目标。比如说，我们想要快速的找到软件的失效的输入，可以根据反馈的信息，改变输入的挑选方法，进而加快找打失效的速度。

当然，软件和具体的控制对象都存在各种指标，控制问题更加关心“稳定性”和“精度”，这些在软件中也都存在，只是没有一个具体的数学模型，或者难以使用微分方程描述的数学模型，这带来了缺点，也带来了机遇，机遇就是给“智能控制算法”留下了足够的空间。

在软件工程、软件可靠性工程中，我们关心如下的问题：

1. 如何分析一个软件的有效性？就好比，如何分析一个PID算法是否在多个场景下适用？相信大多数的人都基于matlab仿真，对于实际的场景如何分析有效性并没有多少了解。而我们，则需要对一个软件从实际角度出发，测试其有效性。

2. 如何分析一个软件的可靠性？需要