Pat

J-GLOBAL ID：201603018053464723

要求仕様の記述と検証のためのシステム

Inventor： 松原 正裕 ,  松原 満 ,  成沢 文雄 ,  西 昌能 ,  青木 利晃 ,  千葉 勇輝
Applicant, Patent owner： 株式会社日立製作所
Agent (3)： 井上 学 ,  戸田 裕二 ,  岩崎 重美
Gazette classification：公開公報
Application number (International application number)：2014174730
Publication number (International publication number)：2016051234
Application date： Aug. 29, 2014
Publication date： Apr. 11, 2016
Summary：

【課題】用語の不統一や、暗黙知の不表出、および要件の曖昧さを排除することによる設計者の理解齟齬の抑制と、要件の矛盾や考慮漏れの発生を防止するための上位要件に対する下位要件の必要十分性の検証を可能とする、要求仕様の記述・検証システムを提供する。【解決手段】要件や暗黙知を示す要求関連事項について、要求関連事項の構成要素の各々を記号で表現するとともに構成要素の関係を数学記号で表現する方法により要求関連事項を入力する要件内容入力部111と、要件内容入力部111から入力された複数の要件関連事項の相互の関係を上位から下位に分解する形で設定し入力する要件構造入力部112と、要件内容入力部111に入力された要求関連事項と要件構造入力部112に入力された要求関連事項との関係を表示する要件表示部102を具備する。【選択図】図1

Claim (excerpt)：

要件や暗黙知を示す要求関連事項について、前記要求関連事項の構成要素の各々を記号で入力する要件内容入力部と、 前記要件内容入力部から入力された複数の前記要件関連事項の相互の関係を上位から下位に分解する形で設定し入力する要件構造入力部と、 前記要件内容入力部に入力された前記要求関連事項と前記要件構造入力部に入力された前記要求関連事項との関係を表示する要件表示部と、 を具備することを特徴とする要求仕様の記述・検証システム。

IPC (1)：

G06F 9/44

FI (1)：

G06F9/06 620A

F-Term (3)：

5B376BC03 ,  5B376BC38 ,  5B376BC79