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

• 产品、研发、测试 • 上一篇    下一篇

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

刘大光1,2,林惠民1,吴 鹏3   

  1. 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-guang1,2,LIN Hui-min1,WU Peng3   

  1. 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

摘要: 提出了带约束事件的时序逻辑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