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

摘要

在并发系统的研究和开发中，迫切需要一种能正确有效地描述并发系统的动态进程 联结构，动态进程通信和进程演化行为的形式化方法以及基于这种形式化方法的并发系统动态状态的测试手段。本文介绍一种基于图文法模型的并发系统状态测试方法，该方法与描述并发系统结构和行为的图文法模型相结合，构成了一个并发系统开发支持环境。