一种基于模型的并发系统测试目的描述
| Data(s) |
2007
|
|---|---|
| Resumo |
提出了带约束事件的时序逻辑TLCE,用于描述系统运行中输入/输出事件之间的时序关系以及对事件参数的数据相关性约束.阐述了一种基于模型的并发系统测试框架,采用TLCE描述测试目的以引导测试用例生成.缓存一致性协议和会议协议的实例研究中所生成的测试用例集显著优于随机测试用例集.这说明了TLCE作为测试目的描述的有效性. 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 |
| Identificador | |
| Idioma(s) |
中文 |
| Fonte |
刘大光; 林惠民; 吴鹏.一种基于模型的并发系统测试目的描述,计算机工程与应用,2007,43(25):105-110 |
| Palavras-Chave | #基于模型的测试 #时序逻辑 #约束事件 #测试用例生成 #测试目的 model-based testing #temporal logic #constrained events #test case generation #test purpose |
| Tipo |
期刊论文 |
