並行処理プログラムにおけるテストケースの定義と生成ツールの試作

• 片山, 徹郎

• 菰田, 敏行

• 古川, 善吾

• 牛島, 和夫

書誌事項

タイトル別名

• Definition of the Test - Case for Concurrent Programs and Prototype of Test - Case Generation System
• ソフトウェア工学

抄録

ソフトウェアのテストを行う際、テストデータについての条件を記述したテストケースは、ソフトウェアの信頼性向上に重要な役割を果たす。逐次処理プログラムのテストケース作成技法については、さまざまな方法が実用化されている。しかしながら、並行処理プログラムの場合、テストケースの考え方すらほとんど研究されていない。並行処理プログラムが実用化されるようになり、並行処理プログラムのテストの質を向上させることが重要になっている。本稿では、並行処理プログラムのテストケースの定義、およびその生成ツール（TCgen）の試作と利用経験について述べる。プログラム単位ごとに事象グラフを作り、事象グラフ間で同期する節点を同期関係で結んだ事象同期グラフ（ESG）によって、並行処理プログラムをモデル化する。事象同期グラフ上の協調路（Copath）を、並行処理プログラムのテストケースと定義する。テストケース生成ツールTCgenは、プログラミング言語Adaで書かれた並行処理プログラムを入力とし、協調路を出力とするツールである。ツールTCgenによって作成された協調路は、テストケースの漏れや重複を少なくすると期待される。しかしながら、実際のテストデータを作成する段階で、実行可能性についての間題が残る。

収録刊行物

• 情報処理学会論文誌

  情報処理学会論文誌 34 (11), 2223-2232, 1993-11-15

  一般社団法人情報処理学会

キーワード

• 論文

詳細情報

• CRID: 1050282812864521728
• NII論文ID: 110002722590
• NII書誌ID: AN00116647
• ISSN: 18827764
• Web Site: http://id.nii.ac.jp/1001/00014339/
• 本文言語コード: ja
• 資料種別: journal article
• データソース種別:
  • IRDB
  • CiNii Articles