2018 Fiscal Year Annual Research Report
Software Development based on Models and Constraints
| 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 | ソフトウェア工学 / 仕様記述解析 / NLP / 形態素解析 |
|---|
| Outline of Annual Research Achievements |
要求仕様書から状態遷移を導出方法について状態変数と状態値を導出するツールを具体的に作した。この導出にあたっては、単語の解析をkuromojiと呼ばれるJava用の日本語形態素解析ライブラリを用いていてる。また導出された形態素をCYKアルゴリズムにより構文解析し、全解析結果をXML形式で内部表現として保持している。そこから状態変数候補、遷移条件候補、動作内容候補などを抽出する方法をとっている。また状態遷移記述用に文章構造を限定された構文を設定し、そこの構文で記述されていている前提で、SESSAMIが公開している「話題沸騰ポット」の要求仕様記述の状態遷移記述に相当する仕様記述文章群に対して状態遷移の導出を行い、状態変数、状態遷移まで高再現率で導出することに成功した。その結果を国際会議JCKBSE2018において発表した。
その後、各状態変数に対し状態値の獲得ができるよう中間表現のXML形式とプログラムの見直しを行い、ルールとXPATH表現でこれらの情報をフィルターリングするよう導出プログラムを改善し。
また、概念モデルにおけるクラス図の類似性をクラスの属性使用用語から判断する方法を提案し、そのうえで、クラスの共通親クラスの設定をレビューとして音声合成するレビュー支援システムを具体的ツールとして作成し、評価実験を行った。属性使用用語から判断するために、kuromojiを用い、類似性判定にはjaccard距離を用いている。実装はAstah Proのプラグインの形で行った．これらの結果については2019年度に国内研究会、国際会議等で発表する予定である。
|
Research Products
(1 results)
