PVM并行程序验证系统的原理与实现

THE VERIFICATION SYSTEM F0R PVM PARALLEL PROGRAM

本文主要介绍PVM并行程序验证系统的基本原理和实现技术．首先，我们扼要分析PVM程序的构成与特点；然后阐述验证系统的理论模型和验证算法；最后，讨论开发过程中的若干关键技术．本系统的研制可为并行程序的自动转换和分析验证提供一个可视化的运行环境．

This paper mainly intr0duces the basic theory and 1mplementat1on technology of the verification system for PVM parallel program. Firstly, it analyzes PVM program's structure and feature in brief; then elaborates on the system's theory model and veriflcati0n alg0rithm; and finally some key technology met durlng developing process are discussed- Thls system can provlde for parallel prograrn's automatic transformation, analysls and verlf1cat1on w1th a visual1z1ng running environment.