| 研究課題/領域番号 |
26240008
|
|---|
| 研究機関 | 法政大学 |
|---|
研究代表者 |
劉 少英 法政大学, 情報科学部, 教授 (90264960)
|
|---|
| 研究分担者 |
児玉 靖司 法政大学, 経営学部, 教授 (30266910)
緒方 和博 北陸先端科学技術大学院大学, 情報科学研究科, 教授 (30272991)
荒木 啓二郎 九州大学, システム情報科学研究院, 教授 (40117057)
|
|---|
| 研究期間 (年度) |
2014-06-27 – 2019-03-31
|
| キーワード | 形式手法 / ソフトウェアの形式仕様 / 形式仕様検証 / 形式仕様アニメーション / 形式仕様テスト / 形式仕様検査 / テストケースの自動生成 |
|---|
| 研究実績の概要 |
平成２６年度の研究計画によって、次の三つの研究を行って、相応の成果を達成した。
１．SOFL（Structured Object-Oriented Formal Language)形式仕様記述言語に基づいて、仕様のアーキテクチャと操作を定義するモジュールから導出された「システム機能シナリオ」の振る舞いを動的に表現しながら設計の詳細を検証する形式仕様の自動アニメーション化技術の基本原理を明らかにした。その中で、システム機能シナリオの自動導出アルゴリズムを開発し、機能シナリオの整合性を検証する仕様間のトレーサビリティーに基づく検査（inspection)技術を提案した。また、機能シナリオの妥当性を検証するために、使用検査とテストを統合した技術も提案した。
２．単独の操作の機能仕様によってアニメーション化するために、仕様テスト技術を研究した。特に、形式仕様の事前条件と事後条件に基づき、テスト条件の自動生成およびテストケースの自動生成アルゴリズムと支援ツールを中心として研究した。この研究を完成するためには平成２７年度以降でも研究を続けることが必要であるが、今年度の研究でテストケースの自動生成方法をほぼ確立した。
３．システム機能シナリオによって形式仕様アニメーション化技術の支援ツールを研究開発してきた。具体的には、三つの側面が含まれている。（１）システム機能シナリオのアニメーション過程の中で各操作の振る舞いの検査技術を支援する。（２）操作の事前条件と事後条件によって操作仕様をアニメーションするためのテストケースの自動生成を支援する。自動生成のアルゴリズムは、基本型の変数だけではなく、集合、列、写像、複合型など複雑な型にも適用する。（３）仕様間のトレーサビリティーの形成を支援する。
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
平成２６年度の研究計画に書かれた次の全ての研究目標を達成し、高いレベルの論文誌と国際会議で６枚の論文を発表し、一つの国際会議で基調講演も行い、一つの国際ワークショップでも口頭発表し、第７７回情報処理全国大会でも発表した。
（１）形式仕様の自動アニメーション化技術の基本原理の研究。このなかに、アニメーションの対象とする整合性を確保した機能シナリオの自動導出方法および機能シナリオの振る舞いの正当性を検証する方法の研究がふくまれている。
（２）自動アニメーション用のテストデータの自動生成方法
（３）機能シナリオのテスト条件の自動生成
（４）テスト条件を満たすテストデータの自動生成
|
| 今後の研究の推進方策 |
今後の研究の推進方策としては、まず平成２７年度に計画した研究を行って、その目標を達成するように努力する。具体的には、次の研究を行う。
（１）形式仕様の作成を支援する仕様パターン技術と支援ツール
（２）仕様アニメーション化するために必要なテストデータの生成基準
（２）テスト基準を満たすテストデータの自動生成
平成２８年度以降の研究に関しては、平成２７年度の研究の完成度によって平成２７年度末ごろ判断する。
また、本研究の学術性と研究成果の実用性を向上させるためには、研究者の間により活発な議論、意見交換、および様々なレベルの研究協力を促進する。
|
