分布式系统的形式描述技术与测试方法的研究

研究并行系统的形式方法，主要包括增强形式描述语言ＬＯＴＯＳ的描述能力，给出概念清晰的系统模型，对非确定性的系统，从控制流和数据流两个方面研究测试情况的自动生成算法，测试套的优化算法，给出结构化的测试方法，考虑测试过程的动态方法和差错覆盖分析，形成实用的工具软件。本项目的研究成果既具有较高的理论意义，又有广泛的应用前景。