摘要
针对大规模软件系统状态迁移数量庞大,容易导致状态空间爆炸的问题,提出一种基于谓词抽象的测试用例约简生成方法,该方法依据给定的谓词集合对软件系统的状态空间进行等价类划分,通过状态集合之间的映射得到约简的抽象状态,并以抽象状态之间的迁移关系作为测试用例约简生成的基础。实验结果表明,该方法可以有效地对系统状态进行约简,并生成规模较小的测试用例集。
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.
出处
《通信学报》
EI
CSCD
北大核心
2012年第3期35-43,51,共10页
Journal on Communications
基金
国家自然科学基金资助项目(91018008
61003268
61173138)
空天信息安全与可信计算教育部重点实验室开放基金资助项目(AISTC2008_01
AISTC2008Q02)
湖北省自然基金资助项目(2009DBA429
2010CDB08601)
中央高校基本科研业务费专项资金资助项目(3101038
115010)~~
关键词
谓词抽象
状态约简
等价类划分
测试用例生成
predicate abstraction
status reduction
equivalence class division
test case generation
