基于谓词抽象的测试用例约简生成方法  

Approach for reduced test suite generation based on predicate abstraction

作　　者：郭曦[1] 张焕国[1,2] 

机构地区：[1]武汉大学计算机学院,湖北武汉430072 [2]武汉大学空天信息安全与可信计算教育部重点实验室,湖北武汉430072

出　　处：《通信学报》2012年第3期35-43,51,共10页Journal on Communications

基　　金：国家自然科学基金资助项目(91018008;61003268;61173138);空天信息安全与可信计算教育部重点实验室开放基金资助项目(AISTC2008_01;AISTC2008Q02);湖北省自然基金资助项目(2009DBA429;2010CDB08601);中央高校基本科研业务费专项资金资助项目(3101038;115010)~~

摘　　要：针对大规模软件系统状态迁移数量庞大,容易导致状态空间爆炸的问题,提出一种基于谓词抽象的测试用例约简生成方法,该方法依据给定的谓词集合对软件系统的状态空间进行等价类划分,通过状态集合之间的映射得到约简的抽象状态,并以抽象状态之间的迁移关系作为测试用例约简生成的基础。实验结果表明,该方法可以有效地对系统状态进行约简,并生成规模较小的测试用例集。Aim to the problem of status space explosion due to the growing number of status transition of large scale software system,a reduced test suite generation approach based on predicate abstraction was proposed,which divided the status space of the software model according to the given predicates to get the equivalence classes.The reduced abstract status was settled using the mapping between the status sets,and generated the reduced test suite based on the transition of the status.The results of experiments indicate that this approach can reduce the status of the model efficiently,and generate smaller size of test suite.

关 键 词：谓词抽象 状态约简 等价类划分 测试用例生成 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]