| 构件组合的集成测试 |
| |
| 引用本文： | 邓永杰,陈颖.构件组合的集成测试[J].计算机技术与发展,2013,23(7). |
| |
| 作者姓名： | 邓永杰 陈颖 |
| |
| 作者单位： | 上海大学计算机工程与科学学院,上海,200072 |
| |
| 基金项目： | 国家自然科学基金资助项目，上海市自然科学基金，上海市重点学科建设项目基金 |
| |
| 摘 要： | 模型检验是一种自动化验证技术,其应用主要的困难在于状态空间爆炸问题.针对构件组合形成的状态空间爆炸问题,结合构件抽象组合原理及反例引导的抽象精化框架,提出了一种测试用例自动生成的方法.根据某个待集成构件抽象已集成的其他构件,并通过组合各个抽象构件生成抽象组合模型.利用模型检验工具对组合模型进行集成测试,生成抽象测试用例,再通过精化得到原模型对应的具体测试用例.实验结果表明该方法减小了状态空间,在一定程度上减缓了状态空间爆炸的问题.
|
| 关 键 词： | 模型检验 构件组合 抽象精化 测试用例生成 |
Component Composition Based Integration Test |
| |
| DENG Yong-jie
,
CHEN Ying.Component Composition Based Integration Test[J].Computer Technology and Development,2013,23(7). |
| |
| Authors: | DENG Yong-jie CHEN Ying |
| |
| Abstract: | |
| |
| Keywords: | model checking component composition abstraction refinement test case generation |
| 本文献已被 万方数据 等数据库收录！ |
|
