构件组合的集成测试 |
| |
引用本文: | 邓永杰,陈颖.构件组合的集成测试[J].微机发展,2013(7):31-35,39. |
| |
作者姓名: | 邓永杰 陈颖 |
| |
作者单位: | 上海大学计算机工程与科学学院 |
| |
基金项目: | 国家自然科学基金资助项目(61073050);上海市自然科学基金(09ZR1412100);上海市重点学科建设项目基金(J50103) |
| |
摘 要: | 模型检验是一种自动化验证技术,其应用主要的困难在于状态空间爆炸问题。针对构件组合形成的状态空间爆炸问题,结合构件抽象组合原理及反例引导的抽象精化框架,提出了一种测试用例自动生成的方法。根据某个待集成构件抽象已集成的其他构件,并通过组合各个抽象构件生成抽象组合模型。利用模型检验工具对组合模型进行集成测试,生成抽象测试用例,再通过精化得到原模型对应的具体测试用例。实验结果表明该方法减小了状态空间,在一定程度上减缓了状态空间爆炸的问题。
|
关 键 词: | 模型检验 构件组合 抽象精化 测试用例生成 |
本文献已被 CNKI 等数据库收录! |
|