Integrated Environment to Support Development of Concurrent Programs Based on Software Dependence Theory

基于软件依赖理论支持并发程序开发的集成环境

• 批准号: 09480056
• 负责人: USHIJIMA Kazuo
• 金额: $ 4.99万
• 依托单位: Kyushu University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (B)
• 财政年份: 1997
• 资助国家: 日本
• 起止时间: 1997 至 1999
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-09480056/
• 关键词: Concurrent Programming; Program dependence theory; Ada95; ASIS; Integrated support environment; Ada 95; 統合開発環境; プログラム従属性; 定義使用ネット; システム従属ネット; プロセス従属ネット; プログラム従属性理論; 統一的プログラム抽象表現; 並行型プログラム開発支援環境; スライシング; テストケース自動生成; テスト充分性

Before the research project, we proposed Process Dependence Net (PDN) model which represents software dependences in concurrent programs. And, we implemented programming tools such as dependence analyzer, execution watcher, execution history analyzer and deadlock detector. They are based on PDN model.Our research project results in as follows :(1) We improved these tools to be effective in practical and large-scale programs. We integrated these tools into one environment to support development of highly reliable concurrent programs. (2) We proposed a technique to obtain accurate static slices from concurrent programs and implemented a tool. (3) We designed common interfaces among our tools using PDN as a unified representation of programs. (4) Using this unified representation, our environment can deal with C, Pascal, Occam2, Ada95. (5) It is difficult to probe execution of concurrent systems, because they change their behavior by the probe itself. To cope with this problem, we proposed the wholeness and self-measurement principles.Ada95 is the first international standard programming language as a concurrent object oriented language. The standard says that Ada95 complies should equip syntax/semantics query interfaces namely ASIS.(1) We proposed a technique to obtain PDN from Ada95 programs Using ASIS, implemented a tool and included it into our developing environment. (2) ASIS is specific to Ada95, but it has many features applicable to many other procedural languages. We investigated a new interface applicable to them.

在课题研究之前，我们提出了进程依赖网(PDN)模型来表示并发程序中的软件依赖。并实现了依赖分析器、执行观察器、执行历史分析器和死锁检测器等编程工具。我们的研究成果如下：(1)我们对这些工具进行了改进，使其在实际和大规模的程序中都是有效的。我们将这些工具集成到一个环境中，以支持高可靠性并发程序的开发。(2)提出了一种从并发程序中获取准确静态切片的技术，并实现了一个工具。(3)使用PDN作为程序的统一表示，设计了工具之间的通用接口。(4)使用这种统一的表示法，我们的环境可以处理C、Pascal、Occam2、Ada95。(5)并发系统的探测执行很困难，因为它们通过探测本身改变了自己的行为。为了解决这个问题，我们提出了整体性和自测性原则。Ada95是第一个作为并发面向对象语言的国际标准编程语言。标准规定Ada95应配备语法/语义查询接口，即ASIS。(1)提出了一种使用ASIS从Ada95程序中获取PDN的方法，并实现了一个工具，并将其包含在我们的开发环境中。(2)ASIS是特定于Ada95的，但它有许多适用于许多其他过程语言的功能。我们研究了一种适用于它们的新接口。

项目成果

Y. Nonaka, K, Hatano, Y. Nomura J, Cheng, K. Ushijima: "A System Dependence Net Generator for Ada Programs"Proc. 6th Asia pacific Software Engineering Conf.. 441-448 (1999)

Y. Nonaka, K, Hatano, Y. Nomura J, Cheng, K. Ushijima：“Ada 程序的系统依赖网络生成器”Proc。

J. Cheng: "Task Dependence Nets for Concurrent Systems with Ada 95 and Its Applications"Proc. the ACM TRI-Ada'97. 1. 67-78 (1997)

J. Cheng：“Ada 95 并发系统的任务依赖网络及其应用”Proc。

Jianjun ZHAO,Jingde CHENG,and Kazuo USHIJIMA: "Slicing Concurrent Logic Programs" T.Ida,A.Ohori,and M.Takeichi(Eds.)″Functional and Logic Programming-Second Fuji International Workshop″. 143-162 (1997)

赵建军、程景德和牛岛一夫：“切片并发逻辑程序”T.Ida、A.Ohori 和 M.Takeichi（编）“函数和逻辑编程 - 第二届富士国际研讨会”143-162（1997 年）。

Y. NOIVAKA, J. CHENG, K Ushijima: "A Tasking Deadlock Detector for Ada95 Programs"Ada User Journal. 20. 79-92 (1999)

Y. NOIVAKA、J. CHENG、K Ushijima：“Ada95 程序的任务死锁检测器”Ada 用户期刊。

J. Cheng: "The Self-Measurement Principle: A Design Principle for Large-Scale, Long-lived, and Highly Reliable Concurrent Systems."Proc. the 1998 IEEE-SMC Annual Int. Conf. on Systems, Man, and Cybernetics. 4. 4010-4015 (1998)

J. Cheng：“自我测量原理：大规模、长寿命和高可靠性并发系统的设计原理。”Proc。