一种基于模型的并发系统测试目的描述

摘要：

提出了带约束事件的时序逻辑TLCE,用于描述系统运行中输入/输出事件之间的时序关系以及对事件参数的数据相关性约束.阐述了一种基于模型的并发系统测试框架,采用TLCE描述测试目的以引导测试用例生成.缓存一致性协议和会议协议的实例研究中所生成的测试用例集显著优于随机测试用例集.这说明了TLCE作为测试目的描述的有效性.

关键词：基于模型的测试、时序逻辑、约束事件、测试用例生成、测试目的

所属期刊栏目：43

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金60421001

在线出版日期：2007-10-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：105-110