一种基于模型的并发系统测试目的描述 |
| |
引用本文: | 刘大光,林惠民,吴鹏.一种基于模型的并发系统测试目的描述[J].计算机工程与应用,2007,43(25):105-110. |
| |
作者姓名: | 刘大光 林惠民 吴鹏 |
| |
作者单位: | 1. 中国科学院,软件研究所,计算机科学国家重点实验室,北京,100080;中国科学院,研究生院,北京,100049 2. 中国科学院,软件研究所,计算机科学国家重点实验室,北京,100080 |
| |
摘 要: | 提出了带约束事件的时序逻辑TLCE,用于描述系统运行中输入/输出事件之间的时序关系以及对事件参数的数据相关性约束。阐述了一种基于模型的并发系统测试框架,采用TLCE描述测试目的以引导测试用例生成。缓存一致性协议和会议协议的实例研究中所生成的测试用例集显著优于随机测试用例集。这说明了TLCE作为测试目的描述的有效性。
|
关 键 词: | 基于模型的测试 时序逻辑 约束事件 测试用例生成 测试目的 |
文章编号: | 1002-8331(2007)25-0105-06 |
修稿时间: | 2007-04 |
本文献已被 CNKI 维普 万方数据 等数据库收录! |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载全文 |
|