2016 Fiscal Year Research-status Report
| Project/Area Number |
16K00094
|
|---|
| Research Institution | Shinshu University |
|---|
Principal Investigator |
岡野 浩三 信州大学, 学術研究院工学系, 准教授 (70252632)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
関澤 俊弦 日本大学, 工学部, 准教授 (10549314)
小形 真平 信州大学, 学術研究院工学系, 助教 (10589279)
|
|---|
| Project Period (FY) |
2016-04-01 – 2019-03-31
|
| Keywords | 自然語解析 / 要求仕様 / 形式記述 / オートマトン / モデル検査 / 形態素解析 / CYKアルゴリズム |
|---|
| Outline of Annual Research Achievements |
システム構築において，高信頼性（安全性）と開発期間の短縮化の両立が大きな課題であり，このため設計仕様の品質保証が重要である．形式手法が有望手法の1 つであるが，開発現場においては自然語による仕様記述が主流であり，形式手法を導入する壁は高い．そこで，(1) 仕様記述の形式手法による仕様欠陥の発見に関する研究，(2) 表明の自動導出の研究，の上に，(3) 日本語記述された要求記述からのモデル変換技術を用いた制約指向型形式記述言語への変換技術，および(4) モデルや制約を用いたモデル駆動開発技術を統合し，総合的なソフトウェア開発技術を確立していくことをこの研究の目的とする．
本年は話題沸騰ポットを例題とした要求仕様書からの状態遷移図の変換を行うにあたり状態変数の抽出を自動化する方法を考案し実装実験を行った結果, その有用性を確認できた.
変換に際して既存の日本語の形態素解析ツールを活用し, またCYKアルゴリズムを用いた構文解析のテクニックを用いて, 精度の高い状態変数候補の抽出を可能とした. また中間情報をXML形式として保存し, 今後のより自由な解析を容易にする工夫をおこなっている. この結果を国内ワークショップで発表した.
またソフトウェア開発のモデル化後の解析事例としてモデル検査を用いたエラー解析をより使用者の理解に近いレベルで行える方法を時間オートマトンを対象に具体的な事故解析事例を対象に考案し，国際会議で発表した。
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
自然語から形式記述を得るための方法論を具体的に考案かつ実装できた。
現在は状態の候補を得るところまでであるが、同様の手法を遷移の抽出にも活用できると予測しており、状態モデルの導出の見通しを得ることができたと考える。
|
| Strategy for Future Research Activity |
今後は全体の導出システムを完成させ、評価実験を行いたい。
また形式記述からの自然語要求記述の変換も行いたい。これにより仕様レビューの効率化が図れる。
|
| Causes of Carryover |
物品費にあてていた機器の購入を比較的大きな旅費充当のため見送ったことおよび共同研究者の旅費執行が少なかったことが大きな理由である.
|
| Expenditure Plan for Carryover Budget |
当該研究に関連する国際会議参加が決まったためH29年度請求額と合わせてそれに充当する.
|
