拡張状態遷移モデルから生成されるVDM仕様に基づく体系的テストケース設計手法
KAKEN 科学研究費助成事業データベース で見る| 研究課題番号 | KAKENHI-PROJECT-17K00103 |
|---|---|
| 研究種目 | 基盤研究(C) |
| 研究分野 | 総合系 情報学 計算基盤 ソフトウェア |
| 研究機関 | 香川大学 |
| 代表研究者 | 高木 智彦 |
| 研究期間 開始年月日 | 2017/4/1 |
| 研究期間 終了年度 | 2023 |
| 研究ステータス | 交付 (2022/4/1) |
| 配分額（合計） | 2,470,000 (直接経費 :1,900,000、間接経費 :570,000) |
| 配分額（履歴） |
2020年度：650,000 (直接経費 :500,000、間接経費 :150,000) 2019年度：650,000 (直接経費 :500,000、間接経費 :150,000) 2018年度：520,000 (直接経費 :400,000、間接経費 :120,000) 2017年度：650,000 (直接経費 :500,000、間接経費 :150,000) |
| キーワード | ソフトウェア工学 |