排序方式: 共有1条查询结果,搜索用时 0 毫秒
1
1.
自动生成的测试集是可执行的才具有实用意义。讨论了在测试集自动生成系统TUGEN中实现的参数化可执行化算法。分析了该算法的效果,不足及其原因;讨论了可执行化处理中所涉及谓词可满足性问题的复杂度和测试路径可执行性问题,并在此基础上进一步提出并实现了“可执行参数”的算法,克服了前一算法的不足,提高了TUGEN的实用性和执行效率,在进行了讨论分析后,以实例进行了对比和说明,并对今后的研究方向进行了展望。 相似文献
1