【ソフトウェア工学・情報システム・IoT】　要求仕様の一貫性検証知識に基づく技術文書の品質チェックとシナリオ生成の自動化

2018年4月24日

工学院大学情報学部・コンピュータ科学科位野木万里教授

【ソフトウェア工学・情報システム・IoT】　要求仕様の一貫性検証知識に基づく技術文書の品質チェックとシナリオ生成の自動化

位野木万里情報学部コンピュータ科学科教授

【概要】　　
製品ソフトウェア開発において、その製品が何を実現するのかを示す要求仕様書に不備があれば、開発者に仕様が適切に伝わらず、魅力ある製品開発の妨げになる。本技術開発では、要求仕様の品質特性である「一貫性」に着目し、ベテラン技術者が経験的に得た検証知識を検証ルールとして整理し、同ルールに基づく要求仕様の一貫性検証支援ツールを実現した。さらに、一件の機能仕様から同一の概念に分類される機能仕様を自動生成する機能を開発し、ツールを拡張した。
本ツールにより、初級者にありがちな、用語の表記ゆれやあいまい用語の使用箇所を自動的に検出する。実製品開発で用いられた要求仕様書に対して、人手による検証結果との比較実験を行い、再現率：95％、適合率：90％の結果を得た。また、一件の機能仕様から同一概念の別の機能仕様を自動生成する分類網羅シナリオ生成機能を実現し、試行適用を開始した。

【アピールポイント】
　• 「アクター」、「データ」、「画面」、「振る舞い」などの設計要素が、要求仕様書内で一貫した定義で記述されていることを確認するための検証知識を検証ルールと辞書として定義
• 一連の業務的に意味のある処理の流れを示す「振る舞い」用語を辞書として登録することで、基準になるシナリオから派生シナリオを自動生成
• 表記ゆれや曖昧用語に関する指摘事項を示した検証レポートと、機能仕様の派生仕様を自動生成　

【利用・用途応用分野】
• 技術者による要求仕様書/提案書のセルフチェックや管理者による品質チェック
• 検証レポートを用いた要求仕様書を含む様々な技術文書のレビュー
• 検証ルールや辞書による検証知識の共有と知識継承
• 既存の要求仕様書からテスト仕様書の自動生成

【関連情報】
関連論文＝ [Inoki2016] 位野木万里: 要求定義の高品質化のための要求仕様の整合性の検証知識の形式知化
と一貫性検証支援ツールの開発, 独立行政法人情報処理推進機構, ソフトウェア工学分野の先導的
研究支援事業, .
＝ [Inoki2017] 位野木万里，近藤公久，要求仕様の一貫性検証支援ツールの提案と適用評価，
SEC journal, 49号, pp.16-23, 2017.

【その他】
本研究は, 独立行政法人情報処理推進機構技術本部ソフトウェア高信頼化センター（SEC: Software
Reliability Enhancement Center）が実施した「2015 年度ソフトウェア工学分野の先導的研究支援事業」
の支援を受けたものである．シナリオ自動生成の研究は，2016年度科研費「要求定義の高品質化の
ためのシナリオの一貫性検証・シナリオ生成手法」JSPS科研費JP16K00105の助成を受けて実施した．

詳しくは工学院大学まで。

【お問い合わせ】

さらに詳しい内容は、一般社団法人産学連携推進協会へお問い合わせください。

イノベーションズアイに掲載しませんか？

ビジネスパーソンが集まるSEO効果の高いメディアへの掲載
商品・サービスが掲載できるbizDBでビジネスマッチング
低価格で利用できるプレスリリース
経済ジャーナリストによるインタビュー取材
専門知識、ビジネス経験・考え方などのコラムを執筆

詳しくはこちら

お役立ちコンテンツ

弁理士の著作権情報室

著作権など知的財産権の専門家である弁理士が、ビジネスや生活に役立つ、様々な著作権に関する情報をお伝えします。
産学連携情報

企業と大学の連携を推進する支援機関：一般社団法人産学連携推進協会が、産学連携に関する情報をお伝えします。
コンサルタント経営ノウハウ

コーチ・コンサルタント起業して成功するノウハウのほか、テクニック、マインド、ナレッジなどを、3～5分間程度のTikTok動画でまとめています。
補助金活用Q&A

ものづくり補助金、事業再構築補助金、IT導入補助金、小規模事業者持続化補助金及び事業承継・引継ぎ補助金に関する内容を前提として回答しています。
M&Aに関するQ&A

M&Aを専門とする株式会社M&Aコンサルティング（イノベーションズアイ支援機関）が、M&Aについての基本的な内容をQ&A形式でお答えします。