摘要： 本文对软件测试的系统状态进行分析，提出了系统位态与预期住态的概念，并分析了它们问的差异，利用这一差异的模糊性，建立了参数值与位态的作用关系，证明了模糊集交集的模糊推理的两个定理，从而推得软件测试的“必选用例”及其构成法，采用“必选用例”在保证测试质量的前提下，大大减少了测试用例的个数，最后把作用关系看作模糊变换，利用它的算法检查测试结果，既科学又方便。

关键词: 测试用例 软件测试 作用关系 系统状态 模糊推理 测试质量 模糊变换 模糊性 参数值 模糊集 算法