アーキテクチャ指向形式手法に基づく高品質ソフトウェア開発法の提案と実用化

2016 年度 研究成果報告書

• 研究課題/領域番号: 24220001
• 研究種目: 基盤研究(S)
• 配分区分: 補助金
• 研究分野: ソフトウエア
• 研究機関: 九州大学
• 研究代表者: 荒木 啓二郎 九州大学, システム情報科学研究院, 教授 (40117057)
• 研究分担者: 大森 洋一 九州大学, システム情報科学研究科(研究院, 助教 (20309727) ; 山本 修一郎 名古屋大学, 学内共同利用施設等, 教授 (20523294) ; 片山 徹郎 宮崎大学, 工学部, 准教授 (50283932) ; 持尾 弘司 筑紫女学園大学, 人間科学部, 准教授 (60331013) ; 日下部 茂 九州大学, システム情報科学研究科(研究院, 准教授 (70234416) ; 張 漢明 南山大学, 理工学部, 准教授 (90329756)
• 研究協力者: 林 信宏 ; 小田 朋宏
• 研究期間 (年度): 2012-05-31 – 2017-03-31
• キーワード: 形式仕様記述 / ソフトウェア工学 / 高信頼安全安心システム / 高適用性形式手法 / アーキテクチャ指向モデル化 / ソフトウェアライフサイクル / モデル化支援ツール

研究成果の概要

高信頼かつ安心安全な高品質ソフトウェアを効率良く開発するための実用性の高い形式手法の提案と開発支援ツールの開発を行った。非接触型ICチップや通信制御システムなど種々の具体的対象について形式手法適用事例研究を行い、得られた経験および知見に基づき、着目する観点からのアーキテクチャを指向して、段階的に対象システムの形式的モデルの記述と分析・検証を行う予備形式化 (preformal) という概念に基づいた、システム開発の現場に組入れ易く有用性の高い方法を提案した。併せて、その方法を具現化した複数の開発支援ツールを開発し、特定の利用者に提供するとともに、インターネット上で内外に公開した。

自由記述の分野

ソフトウェア工学