- 著者
-
片山 徹郎
菰田 敏行
古川 善吾
牛島 和夫
- 出版者
- 一般社団法人情報処理学会
- 雑誌
- 情報処理学会論文誌 (ISSN:18827764)
- 巻号頁・発行日
- vol.34, no.11, pp.2223-2232, 1993-11-15
- 被引用文献数
-
3
ソフトウェアのテストを行う際、テストデータについての条件を記述したテストケースは、ソフトウェアの信頼性向上に重要な役割を果たす。逐次処理プログラムのテストケース作成技法については、さまざまな方法が実用化されている。しかしながら、並行処理プログラムの場合、テストケースの考え方すらほとんど研究されていない。並行処理プログラムが実用化されるようになり、並行処理プログラムのテストの質を向上させることが重要になっている。本稿では、並行処理プログラムのテストケースの定義、およびその生成ツール(TCgen)の試作と利用経験について述べる。プログラム単位ごとに事象グラフを作り、事象グラフ間で同期する節点を同期関係で結んだ事象同期グラフ(ESG)によって、並行処理プログラムをモデル化する。事象同期グラフ上の協調路(Copath)を、並行処理プログラムのテストケースと定義する。テストケース生成ツールTCgenは、プログラミング言語Adaで書かれた並行処理プログラムを入力とし、協調路を出力とするツールである。ツールTCgenによって作成された協調路は、テストケースの漏れや重複を少なくすると期待される。しかしながら、実際のテストデータを作成する段階で、実行可能性についての間題が残る。