摘要
在并发系统的研究和开发中，迫切需要一种能正确有效地描述并发系统的动态进程互联结构、动态进程通信和进程演化行为的形式化方法以及基于这种形式化方法的并发系统动态状态的测试手段．本文介绍一种基于图文法模型的并发系统状态测试方法，该方法与描述并发系统结构和行为的图文法模型相结合，构成了一个并发系统开发支持环境．这一方法可根据对并发系统的状态测试要求，在并发系统的运行期自动跟踪和记录并发系统的运行状态和通信情况，使并发系统的开发者可以实时地得到并发系统的运行状态。
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.
出处
《软件学报》
EI
CSCD
北大核心
1996年第10期587-605,共19页
Journal of Software
基金
国家自然科学基金
国家863高科技项目基金
中科院院长基金
中科院管理决策与信息系统实验室资助
关键词
并发系统
系统测试
图文法
软件开发
Concurrent system, system testing, graph grammar, formal method, fault -tolerant and synchronization algorithm.
