並行処理プログラムのテストケース生成法に関する研究
Access this Article
Search this Article
Author
Bibliographic Information
- Title
-
並行処理プログラムのテストケース生成法に関する研究
- Author
-
片山, 徹郎
- Author(Another name)
-
カタヤマ, テツロウ
- University
-
九州大学
- Types of degree
-
博士 (工学)
- Grant ID
-
甲第3728号
- Degree year
-
1996-03-27
Note and Description
博士論文
Table of Contents
- 目次 / p1 (0003.jp2)
- 1 はじめに / p1 (0008.jp2)
- 1.1 背景・目的 / p1 (0008.jp2)
- 1.2 章の構成 / p2 (0009.jp2)
- 2 テストの方法 / p5 (0012.jp2)
- 2.1 ソフトウェアテストにおける問題点 / p5 (0012.jp2)
- 2.2 ソフトウェアテストの研究 / p6 (0013.jp2)
- 2.3 テストの工程 / p11 (0018.jp2)
- 3 並行処理プログラムのモデル化 / p14 (0021.jp2)
- 3.1 並行処理プログラムの誤り分析とテスト基準 / p15 (0022.jp2)
- 3.2 事象相互作用グラフ / p17 (0024.jp2)
- 3.3 テストケースの定義 / p29 (0036.jp2)
- 4 タスク型を含む並行処理プログラムのテスト手法 / p37 (0044.jp2)
- 4.1 タスク型 / p37 (0044.jp2)
- 4.2 タスク型を含む並行処理プログラムのモデル化とテストケース生成 / p39 (0046.jp2)
- 5 テストケース生成ツールの概要 / p54 (0061.jp2)
- 5.1 テストケース自動生成ツール / p54 (0061.jp2)
- 5.2 テスト基準充足性の判定 / p59 (0066.jp2)
- 6 議論および評価 / p64 (0071.jp2)
- 6.1 ツールの適用評価 / p64 (0071.jp2)
- 6.2 協調路作成の計算量 / p68 (0075.jp2)
- 6.3 テスト法の比較 / p69 (0076.jp2)
- 6.4 テスト実施について / p73 (0080.jp2)
- 6.5 テスト基準の設定と発見できる誤り / p82 (0089.jp2)
- 7 おわりに / p87 (0094.jp2)
- 7.1 成果 / p87 (0094.jp2)
- 7.2 今後の課題 / p89 (0096.jp2)
- 謝辞 / p95 (0102.jp2)
- 参考文献 / p96 (0103.jp2)
- 付録A 言語Adaによる「生産者消費者問題」プログラム / p103 (0110.jp2)
- 付録B 言語Adaによる「哲学者の食事問題」プログラム / p105 (0112.jp2)
- 付録C 言語AdaによるSIEVEプログラム / p107 (0114.jp2)
- 付録D 言語Cによる「生産者消費者問題」プログラム / p110 (0117.jp2)