一种基于谓词抽象的测试用例约简生成方法 - 第四届中国计算机网络与信息安全学术会议(CCNIS2011).pdf

140 0

2025-12-14 00:56 | 查看全部阅读模式

论文《一种基于谓词抽象的测试用例约简生成方法》提出了一种通过谓词抽象技术减少测试用例数量的方法。该方法利用程序中的条件语句进行抽象，从而生成更简洁的测试用例集，提高测试效率。文章在第四届中国计算机网络与信息安全学术会议(CCNIS2011)上发表，为软件测试领域提供了新的思路和工具。

文档为pdf格式，0.69MB，总共10页。