论文部分内容阅读
软件测试过程中的一个重要任务是生成测试用例，但目前有些测试用例生成方法存在的一些问题限制了它们的使用，如利用动态测试用例生成方法获取合适的测试用例需要进行大量的迭代。提出了一种在面向路径的测试用例生成中使用熟知的二分搜索策略生成测试用例的形式化体制，同时设计了一种测试用例二分搜索算法。该算法确定一个测试用例的迭代次数被限制在O（mnlog│D│）内。