構造化分析手法を用いた仕様記述の検証法

情報処理学会

書誌事項

タイトル別名
  • A Verification or Structured System Design

この論文をさがす

抄録

ユーザーから設計者に要求を伝えるために設計仕様(設計要項)が作成される。設計仕様を受けとった設計者は内容を理解し、要求された条件を満たすシステムを作成しようとする。ユーザから受けとった設計仕様の内容を理解する段階で、設計者は何らかの形でユーザが要求しているシステムのモデル化を行う。このモデル化によりユーザ要求に内在する矛盾点やあいまいな点、不完全な点の指摘や、構成方法に関する提案等を行なうことが可能となり、これらをユーザに問い合わせ、その内容を設計仕様に反映することを繰り返して設計仕様は改版され、最終仕様へと完成度を高めてゆく。しかし、ここで作成するモデルはユーザの要求を設計者の立場から理解したものとなるため、ユーザーの要求がすべて反映されているという保証はない。従って、このモデルがユーザの要求する機能を満たしているか否かは、ユーザと設計が何らかの方法で確認する必要がある。この確認を十分に行なわないままシステムを作成し、作成後にユーザ要求との不一致が検出されたのでは手戻りが非常に大きくなるため、これらの問題はできるだけ設計の初期段階で解決するべきである。本稿では上記問題を解決するための手段として静的な検証を重視したユーザ要求のモデル化手法について検討し、既設計のLSIに適用した結果について述べる。

収録刊行物

詳細情報 詳細情報について

問題の指摘

ページトップへ