基于图文法的并发系统状态测试方法及其实现

在并发系统的研究和开发中，迫切需要一种能正确有效地描述并发系统的动态进程互联结构、动态进程通信和进程演化行为的形式化方法以及基于这种形式化方法的并发系统动态状态的测试手段．本文介绍一种基于图文法模型的并发系统状态测试方法，该方法与描述并发系统结构和行为的图文法模型相结合，构成了一个并发系统开发支持环境．这一方法可根据对并发系统的状态测试要求，在并发系统的运行期自动跟踪和记录并发系统的运行状态和通信情况，使并发系统的开发者可以实时地得到并发系统的运行状态，或者在并发系统运行结束后重演并发系统的状态变化过程.

A GRAPH GRAMMAR BASED CONCURRENT SYSTEM TESTING METHOD AND ITS IMPLEMENTATION

In the research and development of concurrent systems, there is an urgent need for a formal method which can effectively specify the dynamic process topologies and dynamic inter-process communication behaviors of concurrent systems, and for a system testing method which is based on the formal specification method and can detect the dynamic transformations of system states. This paper gives a system testing method of concurrent systems which is based on graph grammar. The testing method can automatically trace and record the running states and communication histories according to the testing requirements given by system developers. The developers can get the current system state of a running concurrent system in realtime, or replay the transformation process of system states at any timeneeded. The implementation algorithms of this method are also described.