| 研究課題/領域番号 |
16K00094
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
ソフトウェア
|
|---|
| 研究機関 | 信州大学 |
|---|
研究代表者 |
岡野 浩三 信州大学, 学術研究院工学系, 准教授 (70252632)
|
|---|
| 研究分担者 |
関澤 俊弦 日本大学, 工学部, 准教授 (10549314)
小形 真平 信州大学, 学術研究院工学系, 助教 (10589279)
|
|---|
| 研究期間 (年度) |
2016-04-01 – 2019-03-31
|
| キーワード | 仕様記述 / 検証 / モデル |
|---|
| 研究成果の概要 |
要求仕様書からの状態遷移の導出方法について、ツールを具体的に作成した。形態素を構文解析し、全解析結果をXML形式で保持する。「話題沸騰ポット」の要求仕様記述の状態遷移記述に相当する仕様記述文章群に対して状態遷移の導出を行い、状態変数、状態遷移を高再現率で導出することに成功した。また、クラス図の類似性をクラスの属性から判断する方法を提案し、クラスの共通親クラスを音声合成でレビュー支援するシステムを作成した。再帰構造体を用いたプログラムに対するSAWを用いた振る舞い等価性検証手法を提案している。STAMP/STPAとモデル検査を統合した安全性検査について研究会等で発表を行っている。
|
| 自由記述の分野 |
ソフトウェア工学
|
| 研究成果の学術的意義や社会的意義 |
自然語要求記述からコンピュータで解析できる動作モデルを自動導出できることを限定されたドメインと記述スタイルであれば可能であることを示した。またプログラムコードレベルでの比較的小さな機能単位である関数が異なったアルゴリズムで同一の計算をしている場合に、その関数がリストやバイナリツリーのような再帰データを扱うような複雑なものであっても網羅的に動作の等価性を限定されたサイズ内で全自動で調べることはできることを示した。またこのようなモデル検査をSTAMP/STPAという安全検査手法と結びつける成果を一部提供できた。
|
