並行プログラムにおける広域データフローを用いたテスト基準の提案

概要

論文の詳細を見る
並行プログラムのテストは、逐次プログラムのテストに比べて困難である。逐次プログラムでは、同一入力に対する実行結果が同じであるが、並行プログラムでは、同じ入力に対して実行のタイミングによって実行結果が異なることが有り得るためである。本報告では、並行プログラムにおける広域データフローを導入した後、広域データフローに基づく並行プログラムのテスト基準について考察する。逐次プログラムでは、データフローを用いたテスト基準が提案されている。広域データフローは広域変数の代入参照を調べるものである。そのために、広域データフローを用いたテスト基準は並行に実行されるプロセス間での広域変数の解釈の違いを発見するためのテスト基準である。最近の並行プログラムではプロセス間でのデータのやり取りを行うために広域変数を用いることは少なくなっている。並行処理の記述ができる言語Adaに於いても並行に実行されるタスク(プロセス)間ではentry callとaccept文によるランデブによって、データの受渡しを行うことが多い。しかし、広域変数を用いたデータの受渡しは並行プログラムにおいてのモデル化に良く使われるものであるために、広域データフローを用いたテスト基準は、並行プログラムのテスト基準として基本的なものである。また、Adaにおけるランデブする可能性のあるentry callとaccept文の対(ランデブ通路)を用いたテスト基準へと発展可能なテスト基準である。
一般社団法人情報処理学会の論文
1990-03-14

並行プログラムにおける広域データフローを用いたテスト基準の提案

スポンサーリンク

概要

著者

関連論文

スポンサーリンク