講演抄録/キーワード |
講演名 |
2018-10-05 10:00
組込みシステムの要求仕様書を対象とした状態遷移モデル作成支援 ○中村 成・山本椋太・吉田則裕・高田広章(名大) SS2018-22 DC2018-23 |
抄録 |
(和) |
要求仕様書は多くの場合,自然言語で記述される.そのため,目視による確認では発見できない記述漏れや不整合が存在しうる.
これらの確認方法には,状態遷移モデルが用いられる.
しかし,膨大な規模の要求仕様書の場合は状態遷移モデル作成時間が増加しうる.
そこで,本稿では組込みシステムの要求仕様書から状態遷移モデルの作成を支援するツールを提案し,利用例を示す. |
(英) |
Generally, it is difficult for developers to find all insufficient or inconsistent descriptions in a requirement specifications document during a review process especially in the case of using a natural language.
State transition model (STM) can be used during the review of a requirement specifications document.
However, it takes much time to generate STMs in a large-scale requirement specifications document.
In this paper, we propose a tool for generating STMs in a requirement specifications document for an embedded system, and then show a usage example of the proposed tool. |
キーワード |
(和) |
自然言語処理 / 組込みシステム / 要求仕様書 / 状態遷移モデル / / / / |
(英) |
Natural Language Processing / Embedded System / Requirements Specification Document / State Transition Model / / / / |
文献情報 |
信学技報, vol. 118, no. 230, SS2018-22, pp. 25-30, 2018年10月. |
資料番号 |
SS2018-22 |
発行日 |
2018-09-27 (SS, DC) |
ISSN |
Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
SS2018-22 DC2018-23 |