基于条件谓词的适应性随机测试用例生成方法

摘要

本方法提供了一种基于条件谓词的适应性随机测试用例生成方法，属于软件测试领域中的适应性随机测试技术。本方法基本流程含六个步骤，包括人工发掘程序的条件谓词信息、计算候选测试用例所属条件区域、计算候选测试用例是否达到阈值、采用基于距离的候选用例筛选计算出条件区域的待测测试用例并执行，最后返回所用测试用例集。本文还对RT、FSCS‑ART、IP‑ART与本文所提出的方法在真实程序上开展了对比实验，结果表明，本方法所选择的测试用例具备更强的失效检测能力。