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

点击翻译按钮获取中文摘要

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.