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

计算机工程与应用 ›› 2007, Vol. 43 ›› Issue (25): 105-110.

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

刘大光^1,2，林惠民¹，吴鹏³

1.中国科学院软件研究所计算机科学国家重点实验室，北京 100080
2.中国科学院研究生院，北京 100049

收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2007-09-01 发布日期:2007-09-01
通讯作者: 刘大光

Test purpose description for model-based testing of concurrent systems

LIU Da-guang^1,2，LIN Hui-min¹，WU Peng³

1.Laboratory of Computer Science，Institute of Software，Chinese Academy of Sciences，Beijing 100080，China
2.Graduate School，Chinese Academy of Sciences，Beijing 100049，China
3.CNRS and Laboratoire d′Informatique de l′?魪cole Polytechnique，Palaiseau 91128，France

Received:1900-01-01 Revised:1900-01-01 Online:2007-09-01 Published:2007-09-01
Contact: LIU Da-guang

摘要/Abstract

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

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

Abstract: 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.

Key words: model-based testing, temporal logic, constrained events, test case generation, test purpose

刘大光^1,2，林惠民¹，吴鹏³. 一种基于模型的并发系统测试目的描述[J]. 计算机工程与应用, 2007, 43(25): 105-110.

LIU Da-guang^1,2，LIN Hui-min¹，WU Peng³. Test purpose description for model-based testing of concurrent systems[J]. Computer Engineering and Applications, 2007, 43(25): 105-110.

[1]	孙晶，李硕，赵会群. 基本路径测试用例自动生成的方法研究[J]. 计算机工程与应用, 2018, 54(20): 48-53.
[2]	曹真，曹旻. 面向测试的构件系统模型及测试用例生成方法[J]. 计算机工程与应用, 2014, 50(22): 59-64.
[3]	陈皓，王曙燕，潘晓英. 成对组合测试数据的整体优化和生成方法[J]. 计算机工程与应用, 2012, 48(11): 32-36.
[4]	陆公正¹，吴澜波₂，张广泉³. 定义及验证UML Statechart图中的数据流语义[J]. 计算机工程与应用, 2009, 45(24): 56-59.
[5]	闫铁，钟诚，赵艳. 运用抽象技术和JPF生成类测试用例方法[J]. 计算机工程与应用, 2009, 45(23): 78-81.
[6]	蒋忠炜，张云华，谢轩昂. 基于MDA的软件测试用例生成[J]. 计算机工程与应用, 2007, 43(17): 97-99.
[7]	杜军威徐中伟. 基于时序Petri网的联锁逻辑形式建模与验证[J]. 计算机工程与应用, 2007, 43(13): 7-10.