Integrated Environment to Support Software Development of Concurrent Programs.

非确定性并行控制流网是一个弧分类有向图，它可以表示多个控制/数据流。我们扩展了CFN作为一个统一的程序表示。我们提出了一种技术，翻译成相应的CNF的顺序/并发程序在各种语言，一种技术来分析程序依赖的顺序/并发程序，一种算法，以获得一些类型的片从顺序/并发程序。同时我们也开发了一些工具来实现我们的建议和算法。13提出了一种事件交互图模型（Event Interactive Graph，EIG），将并发程序的测试用例定义为相应的协同路径，并实现了一个从Ada源程序中提取协同路径的工具。并表明我们的方法很好地适应于从并发程序中提取测试用例。为了度量测试的充分性，提出了有序序列测试准则（OSC）和基于OSC的测试方法，定义K长度的有序序列测试准则（OSCk）为连续执行的k个并发语句的序列。我们设置k长度的OSC作为应该执行的测试事件。我们根据覆盖标准估计了我们的测试方法的充分性。我们开发了一个覆盖率测量工具，这是可用的情况下，OSC 2，并将其应用到一个实际的并发程序来衡量我们的测试方法的充分性。

A Nondeterministic Parallel Control-Flow Net (CFN) is an arc-classified digraph which can express multiple control/data flows. We extended the CFN as a unified representation of programs. We proposed a technique to translate sequential/concurrent programs in various languages into corresponding CNFs, a technique to analyze program dependencies in a sequential/concurrent program, an algorithm to obtain some types of slices from a sequential/concurrent program. Also we developed some tools to realize our proposal and algorithms. Moreover, we integrated these tools and our existing tools into one environment to support development of highly reliable concurrent programsWe proposed a model, namely, event interactive graph (EIG), which defines a test case of concurrent programs as the corresponding co-path. We also implemented a tool to extract a co-path from an Ada source program, and made clear that our method is well adapted to extract test cases from concurrent programs. To measure the testing adequacy, we proposed Ordered Sequence Testing Criteria (OSC) and testing method based on OSC.We defined K-length OSC (OSCk) as a sequence of successively executed k concurrent statements. We set k-length OSC as test events which should be executed. We estimated adequacy of our testing method under the coverage criteria. We developed a coverage measuring tool which is usable in case of OSC2 and applied it to an actual concurrent program to measure the adequacy of our testing methods.