Test purpose description for model-based testing of concurrent systems

Computer Engineering and Applications ›› 2007, Vol. 43 ›› Issue (25): 105-110.

• 产品、研发、测试 • Previous Articles Next Articles

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

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

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

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

通讯作者: 刘大光

Abstract

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

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

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

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,2，林惠民¹，吴鹏³. 一种基于模型的并发系统测试目的描述[J]. 计算机工程与应用, 2007, 43(25): 105-110.

[1]	SUN Jing, LI Shuo, ZHAO Huiqun. Research on automatic generation of basic path test cases [J]. Computer Engineering and Applications, 2018, 54(20): 48-53.
[2]	HUO Yingyu1, MA Li1, HU Jingwen2, ZHONG Yong1. Distributed temporal logic extended updatable datalog and its application [J]. Computer Engineering and Applications, 2017, 53(15): 101-105.
[3]	LI Qun, CHEN Qingliang. Formal verification of fair exchange protocols based on Alternating-Time Temporal Logic [J]. Computer Engineering and Applications, 2015, 51(19): 32-36.
[4]	CAO Zhen, CAO Min. Test-oriented component model and test case generation method [J]. Computer Engineering and Applications, 2014, 50(22): 59-64.
[5]	DONG Lingling1, GUAN Yong1, LI Xiaojuan1, SHI Zhiping1, ZHANG Jie2, HUA Wei1. Verification for SpaceWire error detection mechanism by LTL model checking [J]. Computer Engineering and Applications, 2012, 48(22): 88-94.
[6]	CHEN Hao, WANG Shuyan, PAN Xiaoying. Pairwise combinatorial testing suite global optimization and generation method [J]. Computer Engineering and Applications, 2012, 48(11): 32-36.
[7]	ZHOU Shao-jun¹，XU Zhong-wei¹，YU Gang^1，2，LI Yi-qiang¹，WU Jian¹. Research of auto-generation techniques for safety requirement oriented test case [J]. Computer Engineering and Applications, 2009, 45(28): 75-78.
[8]	LU Gong-zheng¹，WU Lan-bo²，ZHANG Guang-quan³. Definition and verification of semantics of data flow in UML Statecharts [J]. Computer Engineering and Applications, 2009, 45(24): 56-59.
[9]	YAN Tie，ZHONG Cheng，ZHAO Yan . Generating class test case using abstraction technique and Java pathfinder [J]. Computer Engineering and Applications, 2009, 45(23): 78-81.
[10]	JIANG Zhong-wei，ZHANG Yun-hua，XIE Xuan-ang. MDA-based software test case generation [J]. Computer Engineering and Applications, 2007, 43(17): 97-99.
[11]	Jun-Wei Du. Modeling and Verification of Interlocking Logic Based on Temporal Petri Nets [J]. Computer Engineering and Applications, 2007, 43(13): 7-10.

Test purpose description for model-based testing of concurrent systems

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

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 11

Recommended Articles

Metrics