参考文献/References:
[1] Cohen D M,Dalal S R,Fredman M L,et al.The AETG system:an approach to testing based on combinatorial design [J]. IEEE Trans on Software Engineering, 1997,23(7):437-444.
[2] Cohen D M,Dalal S R,Parelius J,et al.The combinatorial design approach to automatic test generation [J].IEEE Software Sep, 1996,13(5):83-87.
[3] Cohen D M,Fredman M L.New techniques for designing qualitatively independent systems [J].J Combin Designs,1998,6(6):411-416.
[4] Cohen D M,Dalal S R,Kajla A,et al.The automatic efficient tests generator [A].In:Fifth Int’l Symposium on Software Reliability Engineering IEEE[C].Maonterey,CA,1994.303-309.
[5] Lei Y,Tai K C. In_Parameter_Oder:a test generation strategy for pairwise testing [R].Raleigh,North Carolina:Department of Computer Science,North Carolina State Univ,2001.
[6] Tai K C,Lei Y.A test generation strategy for pairwise testing [J]. IEEE Trans on Software Engineering,2002,28(1):109-111.
[7] Kobayashi Noritaka,Tsuchiya Tatssuhio,Kikuno Tohru.A new method for constructing pair-wise covering designs for software testing [J]. Information Processing Letters,2002,81:85-91.
[8] Williams A W,Probert R L.A practical strategy for testing pair-wise coverage of network interfaces [A].In:Proc 7th Internet Symp Software Reliability Engineer[C].White plains,NY,USA,1997.246-254.
[9] Heller E.Using design of experiment structures to generate test cases [A].In: Proc 12th Int’l Conf Testing Computer Software ACM [C].New York,1995.33-41.
[10] Mandl R.Orthogonal Latin squares:an application of experimental design to compiler testing [J].Communications of the ACM,1985,28(10):1054-1058.
相似文献/References:
[1]李磊芳,徐宝文,陈振宇,等.一种新的布尔规格测试用例生成算法[J].东南大学学报(自然科学版),2010,40(2):291.[doi:10.3969/j.issn.1001-0505.2010.02.014]
Li Leifang,Xu Baowen,Chen Zhenyu,et al.A novel approach of test case generation for Boolean specification[J].Journal of Southeast University (Natural Science Edition),2010,40(6):291.[doi:10.3969/j.issn.1001-0505.2010.02.014]
[2]梁陈良,聂长海,徐宝文,等.一种基于模型检验的类测试用例生成方法[J].东南大学学报(自然科学版),2007,37(5):776.[doi:10.3969/j.issn.1001-0505.2007.05.008]
Liang Chenliang,Nie Changhai,Xu Baowen,et al.Using model checking to generate test cases for class testing[J].Journal of Southeast University (Natural Science Edition),2007,37(6):776.[doi:10.3969/j.issn.1001-0505.2007.05.008]
[3]张德平,查日军.基于Markov链使用模型的加速统计测试方法[J].东南大学学报(自然科学版),2011,41(5):949.[doi:10.3969/j.issn.1001-0505.2011.05.011]
Zhang Deping,Zha Rijun.Acceleration statistical testing method based on Markov chain usage model[J].Journal of Southeast University (Natural Science Edition),2011,41(6):949.[doi:10.3969/j.issn.1001-0505.2011.05.011]
[4]万晓民,张德平,聂长海,等.统计测试中操作剖面的一种优化设计方法[J].东南大学学报(自然科学版),2008,38(2):233.[doi:10.3969/j.issn.1001-0505.2008.02.010]
Wan Xiaomin,Zhang Deping,Nie Changhai,et al.Optimizing design method of operational profile in statistical testing[J].Journal of Southeast University (Natural Science Edition),2008,38(6):233.[doi:10.3969/j.issn.1001-0505.2008.02.010]