一种基于模型的并发系统测试目的描述
文献类型：期刊论文
| 作者 | 刘大光 ; 林惠民 ; 吴鹏 |
| 刊名 | 计算机工程与应用
 |
| 出版日期 | 2007 |
| 卷号 | 43期号:25页码:105-110 |
| 关键词 | 基于模型的测试 时序逻辑 约束事件 测试用例生成 测试目的 model-based testing temporal logic constrained events test case generation test purpose |
| ISSN号 | 1002-8331 |
| 其他题名 | test purpose description for model-based testing of concurrent systems |
| 中文摘要 | 提出了带约束事件的时序逻辑TLCE,用于描述系统运行中输入/输出事件之间的时序关系以及对事件参数的数据相关性约束.阐述了一种基于模型的并发系统测试框架,采用TLCE描述测试目的以引导测试用例生成.缓存一致性协议和会议协议的实例研究中所生成的测试用例集显著优于随机测试用例集.这说明了TLCE作为测试目的描述的有效性. |
| 收录类别 | wanfang,cscd |
| 资助信息 | National Natural Science Foundation of China; Public Administration and Civil Service Bureau of Macau SAR; Companhia de Telecomunicacoes de Macau S.A.R.L.; Macau SAR Government Tourist Office |
| 语种 | 中文 |
| 公开日期 | 2010-08-24 |
| 附注 | A Temporal Logic with Constrained Events（TLCE） has been proposed to represent test purpose for testing of concurrent systems.This logic is capable of consistently expressing the temporal relations among input and output events，and the constraints of data dependencies between event parameters.A framework of model-based testing is presented using TLCE to describe test purposes and then to guide the generation of test cases.The advantage of this approach is demonstrated with case studies of a cache coherence protocol and a conference protocol. |
| 源URL | [http://124.16.136.157/handle/311060/4468]  |
| 专题 | 软件研究所_计算机科学国家重点实验室 _期刊论文 |
| 推荐引用方式 GB/T 7714 | 刘大光,林惠民,吴鹏. 一种基于模型的并发系统测试目的描述[J]. 计算机工程与应用,2007,43(25):105-110. |
| APA | 刘大光,林惠民,&吴鹏.(2007).一种基于模型的并发系统测试目的描述.计算机工程与应用,43(25),105-110. |
| MLA | 刘大光,et al."一种基于模型的并发系统测试目的描述".计算机工程与应用 43.25(2007):105-110. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。