Integrated Environment to Support Software Development of Concurrent Programs.

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

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.