构件组合的集成测试

摘要：

模型检验是一种自动化验证技术,其应用主要的困难在于状态空间爆炸问题.针对构件组合形成的状态空间爆炸问题,结合构件抽象组合原理及反例引导的抽象精化框架,提出了一种测试用例自动生成的方法.根据某个待集成构件抽象已集成的其他构件,并通过组合各个抽象构件生成抽象组合模型.利用模型检验工具对组合模型进行集成测试,生成抽象测试用例,再通过精化得到原模型对应的具体测试用例.实验结果表明该方法减小了状态空间,在一定程度上减缓了状态空间爆炸的问题.

关键词：模型检验、构件组合、抽象精化、测试用例生成

所属期刊栏目：23

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目61073050;上海市自然科学基金09ZR1412100;上海市重点学科建设项目基金J50103

在线出版日期：2013-10-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：31-35,39