プログラムの構造に基づく並行処理プログラムのテストケース作成技法の基礎的研究
KAKEN 科学研究費助成事業データベース で見る| 研究課題番号 | KAKENHI-PROJECT-05680277 |
|---|---|
| 研究種目 | 一般研究(C) |
| 研究分野 | 複合領域 情報科学 計算機科学 |
| 研究機関 | 九州大学 |
| 代表研究者 | 古川 善吾 |
| 研究分担者 | 下園 幸一 |
| 研究分担者 | 牛島 和夫 |
| 研究分担者 | 最所 圭三 |
| 研究期間 開始年月日 | 1993/4/1 |
| 研究期間 終了年度 | 1994 |
| 研究ステータス | 完了 (1994/4/1) |
| 配分額（合計） | 2,100,000 (直接経費 :2,100,000) |
| 配分額（履歴） |
1994年度：400,000 (直接経費 :400,000) 1993年度：1,700,000 (直接経費 :1,700,000) |
| キーワード | ソフトウェアテスト 並行処理プログラム テストケース 事象同期モデル 協調路 テスト基準 被覆率 強制実行 事象相互作用モデル テスト充分性評価 Concurrent Programs Software Testing Test-case Event Synchronization Model Cooperative Path Testing Criterion Coverage Forced Execution |