2011 Fiscal Year Annual Research Report
ソフトウェア開発の現場で使えるフォーマルメソッドに関する研究
| Project/Area Number |
21300009
|
|---|
| Research Institution | Kyushu University |
|---|
Principal Investigator |
荒木 啓二郎 九州大学, システム情報科学研究院, 教授 (40117057)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
日下部 茂 九州大学, システム情報科学研究院, 准教授 (70234416)
大森 洋一 九州大学, システム情報科学研究院, 助教 (20309727)
持尾 弘司 筑紫女学院大学, 文学部, 准教授 (60331013)
|
|---|
| Keywords | フォーマルメソッド適用 / ソフトウェア開発プロセス / 形式的システム記述 / 非形式的システム記述 / 形式手法導入ガイド / 形式手法適用支援ツール / 文書品質向上支援 / 形式手法人材育成 |
|---|
| Research Abstract |
本研究では、ソフトウェアの開発現場、特に、日本の企業において、フォーマルメソッドの導入と有効な適用を支援することを目指して、以下に示す実用的な研究成果をあげた。
フォーマルメソッドを実際のソフトウェア開発に適用する際には、フォーマルメソッドの特質を理解し、自らの開発対象ならびに開発プロセスを十分認識した上で、フォーマルメソッド適用の目的を明確にして、自らの開発プロセスの中にうまく取り入れる必要がある。本研究では、産学連携のもとに実際のソフトウェア開発へフォーマルメソッドを適用した経験および知見をまとめ、ソフトウェア開発にフォーマルメソッドを適用する際の具体的な指針を提示した。また、産学連携に基づいて、学生チームによるPBL (Project Based Learning)においてフォーマルメソッドに基づくソフトウェア開発の実践を通して、フォーマルメソッドの関する知識と適用経験を企業に移転する事例研究を行うことによって、フォーマルメソッド導入の一つの有効な仕組みを提示した。
ソフトウェア開発プロセスにフォーマルメソッドを有効に向き入れるために、PSP (Personal Software Process)およびTSP (Team Software Process)に準拠した開発プロセスにおいてフォーマルメソッドを適用したものを開発プロセス参照モデルとして提示した。また、開発対象のVDM記述に関して、記述し分析する立場と、それらの記述に基づいてソフトウェアの設計ならびに実現を行う立場との両方に配慮した記述の枠組みを提示した。
フォーマルメソッド適用を支援するツールの一つとして、ソフトウェア開発の当初に提示される自然言語による記述を基にして、徐々に形式的なシステム記述を構築する課程を支援するツールを試作した。
|
