测试用例生成算法TCBSA研究  

Research on Test Case Generation Algorithm TCBSA

作　　者：郑明辉[1] 周慧华[1] 杨木祥[1] 

机构地区：[1]华中科技大学计算机与科学技术学院

出　　处：《计算机工程与应用》2005年第22期99-102,共4页Computer Engineering and Applications

基　　金：国家863高技术研究发展计划项目(编号:2002AA11901010);湖北省教育厅资助项目

摘　　要：软件测试过程中的一个重要任务是生成测试用例,但目前有些测试用例生成方法存在的一些问题限制了它们的使用,如利用动态测试用例生成方法获取合适的测试用例需要进行大量的迭代。提出了一种在面向路径的测试用例生成中使用熟知的二分搜索策略生成测试用例的形式化体制,同时设计了一种测试用例二分搜索算法。该算法确定一个测试用例的迭代次数被限制在O(mnlog｜D｜)内。Abstract： One of the important tasks during software testing is generation of test case.Unfortunately,existing approachesto test case generation often have problems limiting their use.For instance,a problem of dynamic test case generationapproaches is that a large number of iterations can be necessary to obtain test cases.This paper presents a formalframework for the application of the well-known search strategy of binary search in path-oriented test case generationand designs the test case binary search algorithm （TCBSA）.The number of iterations conducted by the TCBSA algorithmto identify a test case is bounded by O（mnlog│D│）.

关 键 词：测试用例生成 二分搜索 覆盖条件 迭代 

分 类 号：TP[自动化与计算机技术]