权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Study in Validation Support Methods for Concurrent Programs

并行程序验证支持方法研究

基本信息

批准号：
01460151
负责人：
USHIJIMA Kazuo
金额：
$ 4.48万
依托单位：
Kyushu University
依托单位国家：
日本
项目类别：
Grant-in-Aid for General Scientific Research (B)
财政年份：
1989
资助国家：
日本
起止时间：
1989 至 1990
项目状态：
已结题

项目摘要

We investigated validation methods for concurrent programs and validation support tools, and obtained the following results on semantics, testing methods, development methodology, and implementation of concurrent programs.1. We implemented an eventーdriven execution monitor EDEN for concurrent Ada programs, which monitors tasking behavior of a concurrent Ada program with minimal interference. We designed an algorithm to detect all kinds of deadlocks in concurrent Ada programs, and realized it in the monitoring tool EDEN.2. We proposed two kinds of criteria for testing a concurrent Ada program, i.e., a criterion inside each parallel process and a criterion among processes. We examined program errors according to the criteria. We also implemented prototype tools to measure testing coverage and to generate test cases.3. A concurrent system can be regarded as a network of parallel processes which are connected with streams of messages, signals or events. We found out that the functional programming language Miranda works well as an executable specification language to describe and analyze concurrent systems in terms of stream processing functions.4. We proposed a framework for distributed cooperative processing. A distributed cooperative processing system consists of autonomous processes, each of which is associated with a field. Several kinds of group behaviors are well described within the framework. We also implemented a prototype system which realizes such processes on a distributed system.5. We designed a distributed programming language and its processor, which makes a single parallel program as a whole run on a distributed system. We emulated a distributed runーtime system which manages such a parallel program on a distributed system consisting of workstations connected with LAN.

本文对并发程序的验证方法和验证支持工具进行了研究，在并发程序的语义、测试方法、开发方法和实现等方面取得了以下成果.我们实现了一个事件驱动的执行监视器EDEN的并发Ada程序，它监视并发Ada程序的任务处理行为，以最小的干扰。设计了并发Ada程序中各种死锁的检测算法，并在监控工具EDEN中实现.我们提出了两种并发Ada程序的测试标准，即，每个并行过程内部的标准和过程之间的标准。我们根据标准检查程序错误。我们还实现了原型工具来测量测试覆盖率和生成测试用例。一个并发系统可以被看作是一个由消息流、信号流或事件流连接起来的并行进程网络。我们发现，函数式程序设计语言米兰达作为一种可执行的规范语言，可以很好地描述和分析并发系统的流处理功能.我们提出了一个分布式协同处理的框架。分布式协同处理系统由多个自治进程组成，每个进程都与一个域相关联。在这个框架中，几种群体行为得到了很好的描述。我们还实现了一个原型系统，在分布式系统上实现了这些过程.我们设计了一种分布式程序设计语言及其处理器，使单个并行程序作为一个整体在分布式系统上运行。我们模拟了一个分布式运行的实时系统，它管理这样一个并行程序的分布式系统由工作站连接到局域网。