摘要
本文对软件测试的系统状态进行分析,提出了系统位态与预期位态的概念,并分析了它们间的差异,利用这一差异的模糊性,建立了参数值与位态的作用关系,证明了模糊集交集的模糊推理的两个定理,从而推得软件测试的“必选用例”及其构成法,采用“必选用例”在保证测试质量的前提下,大大减少了测试用例的个数,最后把作用关系看作模糊变换,利用它的算法检查测试结果,既科学又方便。
In the paper,the concept of place-state(PS) of system is supposed with analyzing system state under test- ing. Some otherness occurs between fact PS and excepted PS as testing. Study of the action relation between test data and PS is based on the fuzzy of otherness. Two theorems of fuzzy inference of fuzzy intersection are proved. And the required test case and its structure method are put forward. The application of simple required test case is effective on cutting down the number of test case under the prerequisite of ensuring test quality. The action relation can be regard- ed as fuzzy transformation. That use the arithmetic of the transformation to check test results is both scientific and simple.
出处
《计算机科学》
CSCD
北大核心
2005年第5期236-238,F004,共4页
Computer Science
基金
广州市重点攻关项目(B2-109-550)
