2015 Fiscal Year Annual Research Report
ソフトウェア開発の高信頼アジャイル形式工学手法に関する研究
| Project/Area Number |
26240008
|
|---|
| Research Institution | Hosei University |
|---|
Principal Investigator |
劉 少英 法政大学, 情報科学部, 教授 (90264960)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
児玉 靖司 法政大学, 経営学部, 教授 (30266910)
緒方 和博 北陸先端科学技術大学院大学, 情報科学研究科, 教授 (30272991)
荒木 啓二郎 九州大学, システム情報科学研究科(研究院, 教授 (40117057)
|
|---|
| Project Period (FY) |
2014-06-27 – 2019-03-31
|
| Keywords | 形式仕様アニメーション / テストデータの自動生成 / 形式仕様パターン / 形式仕様記述技術 |
|---|
| Outline of Annual Research Achievements |
平成２７年度では、次の二つの研究を行った。
（１）形式仕様の自動アニメーション用のテストデータの自動生成手法を研究した。この中で、四つの具体的な研究を行なった。第一に、多重ポートを持つプロセスの構造およびその機能を定義する事前条件と事後条件によって妥当なシステムシナリオの自動選出方法とアルゴリズムを提案した。第二に、形式仕様に基づくテストデータの自動生成アルゴリズムを開発し、支援ツールの構築に力を入れた。特に、テスト条件から抜き出された論理積を満たすテストデータの自動生成には、変数間の依存関係を考慮した上でテストデータをより有効に自動生成することが新たなポイントである。また、支援ツールの機能も前年度に開発した支援ツールの機能より更に改善した。第三に、PowerPointソフトウェアの機能を利用して、非形式仕様と半形式仕様のアニメーション化技術を提案し、その技術の支援ツールも研究開発した。第四に、形式仕様を実行できるプログラムへの変換によって形式仕様のアニメーションを行なうアプローチも提案した。
（２）仕様パターンによる形式仕様を進化させる方法の研究を行なった。この研究において、三つの具体的な技術を提案した。第一に、様々な形式仕様を表現する仕様パターンの構造と各部分の役割を設計し、その応用方法も提案した。このような仕様パターンは人工知識としてコンピュータに保存しており、それにより自然言語から形式仕様を作成する開発者に適切なガイダンスを提供できる。第二に、仕様パターン知識に基づいて自然言語で表したユーザの機能要求を分析しながら形式仕様を作成する手法の支援ツールの開発を推進した。第三に、非形式仕様から自動的にソフトウエアのGUIを生成、それによって形式仕様を作成する方法を提案、その方法の有効性を実験によって調べた。
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
平成２７年度の研究を計画した時に、研究の内容や難しさや課題などを明確に理解しており、平成２７年度において、計画した研究目標を全て達成した。また、その研究の成果をまとめて、国際会議の論文集に７枚の論文を公表、国内会議の論文集に１枚の論文を公表、国際ワークショップ論文集を編集、およびIEEE国際会議で基調講演を行なった。
|
| Strategy for Future Research Activity |
平成２８年度では、次の三つの研究を行なう予定である。
(１)テストに基づく形式仕様の自動検証手法を研究する。まず、自動テストに基づく定理の厳密的な検証手法を提案し、小さい規模の実験によってその有効性を調べる。次に、形式仕様の整合性の検証を仕様アニメーションプロセスに統合して、形式仕様の整合性と妥当性を半自動的に検証できる統合したアニメーション技術を提案する。
(２）自動アニメーション用のテストデータの自動生成手法の研究を継続する。操作のインタフェースと入力シナリオによりテストデータの自動生成方法および形式仕様に定義されたテスト条件を満たすテストデータの自動生成方法を研究する。
(３)仕様アニメーションにおける操作の振る舞いの可視化表現方法を研究する。この中で、操作の入力と出力の可視化表現方法、操作機能の可視化表現方法、および操作のGUIインタフェースの表現方法が含まれる。
|
-
-
-
-
-
-
[Journal Article] Validating Timed Component Contracts2015
Author(s)
Thibaut Le Guilly, Shaoying Liu, Petur Olsen, Anders P. Ravn, Arne Skou
-
Journal Title
Proceedings of 2015 41st Euromicro Conference on Software Engineering and Advnaced Applications, Conference Publishing Services
Volume: なし
Pages: 245-249
Peer Reviewed / Int'l Joint Research / Acknowledgement Compliant
-
-
-
-
