Pat

J-GLOBAL ID：200903078360373570

ソフトウェア設計仕様の検証充分性評価方式

Inventor： 原田 晋治 ,  佐々木 保
Applicant, Patent owner： 株式会社日立製作所 ,  日立電子サービス株式会社
Agent (1)： 武 顕次郎
Gazette classification：公開公報
Application number (International application number)：1992133773
Publication number (International publication number)：1993324403
Application date： May. 26, 1992
Publication date： Dec. 07, 1993
Summary：

【要約】【目的】 設計段階で作成した設計仕様書を解析し、模擬実行して、設計仕様の網羅度を算出することにより、設計仕様が妥当であるか否かを検証評価する。【構成】 リアルタイム制御のソフトウェアの設計仕様の検証充分性を評価する機構は、状態遷移表、タスク仕様書等の設計仕様を、画面より模擬実行の開始トリガとして発生させる部分6、7と、設計仕様の内容に従い状態の遷移及び、実行を模擬する部分9と、その結果を解析して設計仕様の網羅度を算出する部分12と、算出結果を仕様書上に表示/出力する部分13とにより構成される。【効果】 設計段階での設計仕様に対して、網羅度で検証充分性評価を行うことにより、設計仕様の確認の効率化と確認漏れの防止が可能となり、この結果、設計工程での開発効率の向上、設計段階で不良の早期発見を図ることができる。

Claim (excerpt)：

リアルタイム制御ソフトウェアの妥当性を検証するソフトウェア設計仕様の検証充分性評価方式において、設計工程で作成される状態遷移表とタスクの設計情報とから、設計仕様の内容に従い状態の遷移及びタスクの実行を模擬する手段と、その結果の情報を解析して設計仕様の網羅度を算出する手段とを備えて構成されることを特徴とするソフトウェア設計仕様の検証充分性評価方式。

IPC (2)：

G06F 11/28 340 ,  G06F 9/06 440