An Industrial Experiment in Automatic Generation of Executable Test Suites for a Cache Coherency Protocol

Hakim Kahlouche, César Viho, and Massimo Zendri

IWTCS'98 "International Workshop on Testing of Communicating Systems", Tomsk, Russia, September 1998.


In this paper, we present an end to end industrial case-study concerning the automatic generation of tests suites for the Cache Coherency Protocol of a Multiprocessor Architecture. It consists of the following stages : (1) formal specification of the architecture using Lotos language, (2) formal description of the test purposes, (3) automatic generation of abstract test suites using the prototype tgv, and (4) automatic generation and analysis of executable test suites. Through the description of each of the previous stages, this paper demonstrates that tools designed for protocol conformance testing can be efficiently used to generate executable tests for hardware concurrent systems.

Key-words : Conformance Testing, Test Generation, Lotos, Test Execution, Hardware Multi-Processor Architecture, Cache Coherency Protocol.

16 pages