作者:朱晓程; 薛静; 杨彬; 闫雪丽并发软件活动图共享资源测试用例生成方法
摘要:对UML(统一建模语言)活动图进行共享资源的属性扩展,利用扩展的活动图对并发系统间任务的同步及数据的竞争关系建模,充分考虑并发软件运行原理、故障模式及测试效率,提出并发系统的测试覆盖原则及基于扩展活动图的并发测试用例生成方法。进一步通过举例验证该方法能够正确的生成并发测试用例同时又可防止用例数量爆炸,提高了并发软件测试的可靠性及效率。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
《航天控制》(CN:11-1989/V)是一本有较高学术价值的大型双月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。
北大期刊、CSCD期刊、统计源期刊
人气 42533 评论 51
人气 32938 评论 48
人气 32776 评论 54
统计源期刊
人气 31768 评论 58