摘要

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