ペトリネットを用いたモデルベースドミューテーションテスト法の開発と評価
KAKEN 科学研究費助成事業データベース で見る研究課題番号 | KAKENHI-PROJECT-26730038 |
---|---|
研究種目 | 若手研究(B) |
研究分野 | 総合系 情報学 計算基盤 ソフトウェア |
研究機関 | 香川大学 |
代表研究者 | 高木 智彦 |
研究期間 開始年月日 | 2014/4/1 |
研究期間 終了年度 | 2017 |
研究ステータス | 完了 (2017/4/1) |
配分額(合計) | 2,600,000 (直接経費 :2,000,000、間接経費 :600,000) |
配分額(履歴) |
2016年度:780,000 (直接経費 :600,000、間接経費 :180,000) 2015年度:1,040,000 (直接経費 :800,000、間接経費 :240,000) 2014年度:780,000 (直接経費 :600,000、間接経費 :180,000) |
キーワード | ソフトウェアテスト ソフトウェア工学 |