###
DOI:
Journal of Software:1996.7(10):587-605

基于图文法的并发系统状态测试方法及其实现
徐建礼,周龙骧
(中国科学院数学研究所,北京,100080)
A GRAPH GRAMMAR BASED CONCURRENT SYSTEM TESTING METHOD AND ITS IMPLEMENTATION
Xu Jianli,Zhou Longxiang
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2345   Download 2766
    Revised:September 22, 1995
> 中文摘要: 在并发系统的研究和开发中,迫切需要一种能正确有效地描述并发系统的动态进程互联结构、动态进程通信和进程演化行为的形式化方法以及基于这种形式化方法的并发系统动态状态的测试手段.本文介绍一种基于图文法模型的并发系统状态测试方法,该方法与描述并发系统结构和行为的图文法模型相结合,构成了一个并发系统开发支持环境.这一方法可根据对并发系统的状态测试要求,在并发系统的运行期自动跟踪和记录并发系统的运行状态和通信情况,使并发系统的开发者可以实时地得到并发系统的运行状态,或者在并发系统运行结束后重演并发系统的状态变化过程.
Abstract: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.
文章编号:     中图分类号:    文献标志码:
基金项目:本文研究得到国家自然科学基金,国家863高科技项目基金,中科院院长基金,中科院管理决策与信息系统实验室资助. 本文研究得到国家自然科学基金,国家863高科技项目基金,中科院院长基金,中科院管理决策与信息系统实验室资助.
Foundation items:
Reference text:

徐建礼,周龙骧.基于图文法的并发系统状态测试方法及其实现.软件学报,1996,7(10):587-605

Xu Jianli,Zhou Longxiang.A GRAPH GRAMMAR BASED CONCURRENT SYSTEM TESTING METHOD AND ITS IMPLEMENTATION.Journal of Software,1996,7(10):587-605