| 研究課題/領域番号 |
26240008
|
|---|
| 研究種目 |
基盤研究(A)
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
ソフトウェア
|
|---|
| 研究機関 | 法政大学 |
|---|
研究代表者 |
劉 少英 法政大学, 情報科学部, 教授 (90264960)
|
|---|
| 研究分担者 |
児玉 靖司 法政大学, 経営学部, 教授 (30266910)
緒方 和博 北陸先端科学技術大学院大学, 先端科学技術研究科, 教授 (30272991)
荒木 啓二郎 九州大学, システム情報科学研究院, 教授 (40117057)
|
|---|
| 研究協力者 |
玉井 哲雄
二木 厚吉
中島 震
粂野 文洋
|
|---|
| 研究期間 (年度) |
2014-06-27 – 2019-03-31
|
| 研究課題ステータス |
完了 (2018年度)
|
| 配分額 *注記 |
28,600千円 (直接経費: 22,000千円、間接経費: 6,600千円)
2018年度: 5,720千円 (直接経費: 4,400千円、間接経費: 1,320千円)
2017年度: 5,720千円 (直接経費: 4,400千円、間接経費: 1,320千円)
2016年度: 5,720千円 (直接経費: 4,400千円、間接経費: 1,320千円)
2015年度: 5,720千円 (直接経費: 4,400千円、間接経費: 1,320千円)
2014年度: 5,720千円 (直接経費: 4,400千円、間接経費: 1,320千円)
|
|---|
| キーワード | アジャイル開発手法 / 形式工学手法 / ハイブリッド仕様 / 仕様アニメーション / ソフトウェアテスト / ソフトウェア検証 / ソフトウェア品質保証 / 高信頼ソフトウェア開発 / アジャイル開発 / テストに基づく形式検証 / モデル検査 / 形式仕様に基づくテスト / 形式仕様記述手法 / 形式仕様 / 形式仕様アニメーション / 形式仕様作成の監視 / 形式仕様作成の予測 / アニメーションデータの自動生成 / データ項目のアニメーション / データ項目のGUI表現 / 情報基礎 / 情報システム / ソフトウェア工学 / 形式手法 / テストと検証 / テストデータの自動生成 / 形式仕様記述技術 / データアニメーション / 形式仕様妥当性の検証 / アジャイル形式工学手法 / テストに基づく検証 / 形式仕様パターン / ソフトウェアの形式仕様 / 形式仕様検証 / 形式仕様テスト / 形式仕様検査 / テストケースの自動生成 |
|---|
| 研究成果の概要 |
本研究では、既存のソフトウェア開発手法の短所を大幅に改善して、生産性と信頼性を共に確保する最新のソフトウェア開発技術とした「SOFLアジャイル形式工学手法」を確立して、次の具体的な成果を達成した。（１）SOFLアジャイル形式工学手法のフレームワーク、（２）SOFL仕様のアニメーション化手法、（３）仕様アニメーションとプログラムのテスト用のテストデータの自動生成手法とアルゴリズム、（４）定理証明とモデル検査の融合技術とアニメーション化手法,（５）仕様アニメーションの可視化表現手法、（６）仕様アニメーションの支援ツールとテストデータの自動生成の支援ツールのプロトタイプの開発。
|
| 研究成果の学術的意義や社会的意義 |
本研究はソフトウェアの進化による開発手法と形式仕様記述によるソフトゥエア開発手法を適切に統合することによって双方の利点を生かすことができ、実用性がより高い厳密的なソフトウェア開発手法を確立することで、ソフトウェア工学方法論を大きく前進させ、将来のソフトウェア工学の発展の新たな方向を示すことができ、学術的意義が大きい。
一方、このような新しいソフトウェア開発手法が企業で採用されることによって、IT産業の生産性を向上させることができ、開発されるソフトウェアの信頼性の確保も可能であるため、より安全安心なシステムと社会を構築することが可能になる。
|
