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

作者：刘大光; 林惠民; 吴鹏

来源：计算机工程与应用, 2007, (25): 105-110.

• 基于模型的测试
• 时序逻辑
• 约束事件
• 测试用例生成
• 测试目的 model-based testing
• temporal logic
• constrained events
• test case generation
• test purpose

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

• 单位
  中国科学院软件研究所; 中国科学院研究生院; 计算机科学国家重点实验室