[1]邓永杰,陈颖.构件组合的集成测试[J].计算机技术与发展,2013,(07):31-35.
　DENG Yong-jie,CHEN Ying.Component Composition Based Integration Test[J].,2013,(07):31-35.
点击复制

构件组合的集成测试()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
期数:
2013年07期
页码:
31-35
栏目:
智能、算法、系统工程
出版日期:
1900-01-01

文章信息/Info

Title:
Component Composition Based Integration Test
文章编号:
1673-629X（2013）07-0031-05
作者:
邓永杰; 陈颖
上海大学 计算机工程与科学学院
Author(s):
DENG Yong-jie; CHEN Ying
关键词:
模型检验; 构件组合; 抽象精化; 测试用例生成
Keywords:
model checking; component composition; abstraction refinement; test case generation
文献标志码:
A
摘要:
模型检验是一种自动化验证技术,其应用主要的困难在于状态空间爆炸问题.针对构件组合形成的状态空间爆炸问题,结合构件抽象组合原理及反例引导的抽象精化框架,提出了一种测试用例自动生成的方法.根据某个待集成构件抽象已集成的其他构件,并通过组合各个抽象构件生成抽象组合模型.利用模型检验工具对组合模型进行集成测试,生成抽象测试用例,再通过精化得到原模型对应的具体测试用例.实验结果表明该方法减小了状态空间,在一定程度上减缓了状态空间爆炸的问题

相似文献/References:

[1]韩葆 蔡勉.基于模型检验的软件可信分析模型[J].计算机技术与发展,2012,(10):35.
　HAN Bao,CAI Mian.Trusted Software Analysis Model Based on Model Checking[J].,2012,(07):35.
[2]黄吴丹,严俊琦.路由协议的自动形式化验证方法研究[J].计算机技术与发展,2017,27(12):1.
　HUANG Wu-dan,YAN Jun-qi.Research on Automated Formal Verification of Routing Protocols[J].,2017,27(07):1.
[3]王 冠,郝晓星.一种面向 UEFI 模块的形式化建模与验证方法[J].计算机技术与发展,2021,31(12):116.[doi:10. 3969 / j. issn. 1673-629X. 2021. 12. 020]
　WANG Guan,HAO Xiao-xing.A Formal Modeling and Validation Method for UEFI Module[J].,2021,31(07):116.[doi:10. 3969 / j. issn. 1673-629X. 2021. 12. 020]

更新日期/Last Update: 1900-01-01