基于资源扩展活动图的并发测试用例生成方法 |
| |
引用本文: | 朱晓程,薛静,杨彬,闫雪丽.基于资源扩展活动图的并发测试用例生成方法[J].航天控制,2019,37(1):61-67. |
| |
作者姓名: | 朱晓程 薛静 杨彬 闫雪丽 |
| |
作者单位: | 北京航天自动控制研究所,北京,100854;北京航天自动控制研究所,北京,100854;北京航天自动控制研究所,北京,100854;北京航天自动控制研究所,北京,100854 |
| |
摘 要: | 对UML(统一建模语言)活动图进行共享资源的属性扩展,利用扩展的活动图对并发系统间任务的同步及数据的竞争关系建模,充分考虑并发软件运行原理、故障模式及测试效率,提出并发系统的测试覆盖原则及基于扩展活动图的并发测试用例生成方法。进一步通过举例验证该方法能够正确的生成并发测试用例同时又可防止用例数量爆炸,提高了并发软件测试的可靠性及效率。
|
关 键 词: | 并发软件 活动图 共享资源 测试用例生成方法 |
本文献已被 CNKI 万方数据 等数据库收录! |
|