CATS系统对测试用例的优化
摘要
软件测试是保证软件质量的最重要的手段。在给定测试成本的前提下,采用穷举法进行测试是不现实的。为了在减少测试投入的同时最大可能地满足测试的充分性,本文采用CATS系统对测试用例进行优化,并以实际工作中的例子对其应用进行了描述。
出处
《中国民航飞行学院学报》
2006年第2期62-64,共3页
Journal of Civil Aviation Flight University of China
参考文献6
-
1[1]古乐,史九林.现代测试技术概论[M].北京:清华大学出版社,2004
-
2[2]D.M.Cohen,S.R.Dalal,M.L.Fredman,and G.C.Patton.The AETG system:an approach to testing based on combinatorial design.IEEE Transactions on Software Engineering,23(7):437-44,1997
-
3[4]G.Katona.Two applications (for search theory and truth functions) of Sperner type theorems.Periodical Math.,3:19-26,1973
-
4[5]D.Kleitman and J.Spencer.Families of k-independent sets.Discrete Math.,6:255-262,1973
-
5[6]E.Marczewski.Independence d'ensembles et prolongement de mesures.Colloq.Math.1 (1948),122-132
-
6[7]A.R′eyni.Foundations of Probability.Wiley,New York,1971
