构件组合的集成测试

• 作者: 邓永杰 陈颖
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: 模型检验 构件组合 抽象精化 测试用例生成
• 年，卷（期）: 2013,（7）
• 所属期刊栏目: 智能、算法、系统工程
• 页码范围: 31-35,39
• 页数: 6页
• 分类号: TP311
• 字数: 5553字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2013.07.008

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈颖	上海大学计算机工程与科学学院	25	132	5.0	11.0
2	邓永杰	上海大学计算机工程与科学学院	1	0	0.0	0.0