基于集合覆盖的Wp方法测试集约简方法-北京工业大学学报.PDF

第42卷 第9期 北 京 工 业 大 学 学 报 Vol.42 No.9 2016年 9月 JOURNAL OF BEIJING UNIVERSITY OFTECHNOLOGY Sept. 2016 基于集合覆盖的Wp方法测试集约简方法 1,2 1,2,3 1,2 1 崔摇 玲 ,张建标 ,公摇 备 ,吴丽影 (1.北京工业大学计算机学院,北京摇 100124;2.北京工业大学可信计算北京市重点实验室,北京摇 100124; 3.北京工业大学信息安全等级保护关键技术国家工程实验室,北京摇 100124) 摘摇 要:为了提高测试效率,提出一种基于集合覆盖的测试集约简方法. 该方法对有限状态机(finitestatemachine, FSM)模型中经典的测试生成算法Wp方