JPH05143304A - 整合性検査方式 - Google Patents

Abstract

(57)【要約】 【目的】 仕様書データ間の整合性の検査を高速に行え
るようにするとともに、仕様書データの形式の変更時に
も検査部分を変更する必要がないようにする。 【構成】 仕様書データ編集手段１は、編集／検査指示
入力手段６を介して入力された仕様書データ編集指示に
応じて仕様書データ記憶手段２により外部記憶装置８か
ら仕様書データをメモリ７上に読み出して仕様書データ
を編集する。関連データ作成手段３は、関連データ作成
指示に応じてメモリ７上の仕様書データから整合性検査
に必要な関連データを作成し、関連データ記憶／検索手
段４により外部記憶装置８に記憶する。関連検査手段５
は、関連検査指示に応じて関連データ記憶／検索手段４
により外部記憶装置８から関連データを検索して整合性
がとられているどうかを検査する。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は整合性検査方式に関し、
特に計算機のソフトウェアシステム開発において作成さ
れる仕様書を計算機自身で管理するＣＡＳＥ（Ｃｏｍｐ
ｕｔｅｒ Ａｉｄｅｄ Ｓｏｆｔｗａｒｅ Ｅｎｇｉｎ
ｅｅｒｉｎｇ）システムにおいて記憶装置に記憶されて
いる複数の仕様書データ間の関連の正しさ（整合性）を
検査するための整合性検査方式に関する。

【０００２】

【従来の技術】従来、この種の整合性検査方式では、１
つの仕様書データの内容の全てを１つのファイルに記憶
しておき、検査時には複数のファイルの仕様書データを
もとに仕様書データ間の関連を調べて整合性を検査して
いた。

【０００３】

【発明が解決しようとする課題】上述した従来の整合性
検査方式では、仕様書データ間の整合性検査を実施する
たびに各ファイルの仕様書データの全体を読み込む必要
があったので、検査処理に時間がかかるという欠点があ
った。

【０００４】また、仕様書には関連しない部分のデータ
形式が変更されたときにも検査部分を作り変える必要が
あるという欠点があった。

【０００５】本発明の目的は、上述の点に鑑み、仕様書
データ間の整合性を検査するために必要なデータを関連
データとして取り出して記憶し、検査時には記憶された
関連データのみを対象にすることにより高速に検査可能
とし、また関連データの形式が変更されない限り仕様書
データの形式が変更されても仕様書データから関連デー
タの取出し部分のみを変更すれば検査部分そのものは変
更する必要がないようにした整合性検査方式を提供する
ことにある。

【０００６】

【課題を解決するための手段】本発明の整合性検査方式
は、計算機のソフトウェアシステム開発において作成さ
れる仕様書を計算機自身で管理するＣＡＳＥシステムに
おいて、整合性検査の実施対象となる仕様書データから
整合性検査に必要なデータを関連データとして作成する
関連データ作成手段と、この関連データ作成手段により
作成された関連データを記憶するとともに整合性検査に
必要な検索条件で関連データを検索する関連データ記憶
／検索手段と、この関連データ記憶／検索手段により関
連データを検索して整合性がとられているかどうかを検
査する関連検査手段とを有する。

【０００７】

【作用】本発明の整合性検査方式では、関連データ作成
手段が整合性検査の実施対象となる仕様書データから整
合性検査に必要なデータを関連データとして作成し、関
連データ記憶／検索手段が関連データ作成手段により作
成された関連データを記憶するとともに整合性検査に必
要な検索条件で関連データを検索し、関連検査手段が関
連データ記憶／検索手段により関連データを検索して整
合性がとられているかどうかを検査する。

【０００８】

【実施例】次に、本発明について図面を参照して詳細に
説明する。

【０００９】図１は、本発明の一実施例に係る整合性検
査方式の構成を示すブロック図である。本実施例の整合
性検査方式は、仕様書データ編集手段１と、仕様書デー
タ記憶手段２と、関連データ作成手段３と、関連データ
記憶／検索手段４と、関連検査手段５と、編集／検査指
示入力手段６と、メモリ７と、外部記憶装置８と、ビッ
トマップディスプレイ９と、キーボード１０と、マウス
１１とから、その主要部が構成されている。

【００１０】本実施例の整合性検査方式の実現には、例
えば、図２に示すようなハードウェアシステムが用いら
れる。図２中、符号７は高速にアクセス可能な揮発性の
メモリ、８は磁気ディスク装置などの外部記憶装置、９
はドット単位で描画可能なビットマップディスプレイ、
１０はデータを入力するキーボード、１１はビットマッ
プディスプレイ９上の位置を指し示すためのマウス、１
２は中央処理装置（ＣＰＵ）をそれぞれ示す。本実施例
の整合性検査方式は、ＣＰＵ１２がメモリ７に格納され
た所定の命令をフェッチして実行することによって実現
されるようになっている。

【００１１】計算機のソフトウェアシステム開発におい
て作成される仕様書には多数の種類があるが、本実施例
の整合性検査方式では、データフロー図を例にとって説
明する。データフロー図は、ソフトウェアシステムの処
理階層と情報の流れとを表現するための図で、例えば図
３に示すような構成要素からなる。図３中、符号３１は
処理、３２は情報の流れを表すデータフロー、３３は情
報の保管を表すデータストア、３４はデータフロー図の
名前、３５は対象システム外の要素である外部環境をそ
れぞれ示す。

【００１２】データフロー図中の処理の内容は、別のデ
ータフロー図として詳細化することができる。図３の例
では、データフロー図「コンテキストダイアグラム」内
の処理「受発注システム」は、データフロー図「受発注
システム」内の５個の処理に詳細化される。このような
データフロー図を複数枚作成してソフトウェアシステム
をモデル化することになるが、そのときに複数のデータ
フロー図間で次のような規則等が満たされる必要があ
る。

【００１３】規則ａ： ある処理の詳細化に際しては、
上位の処理に対してのデータフローの入出力と詳細化し
た下位のデータフロー図に対してのデータフローの入出
力とが一致していなければならない。

【００１４】規則ｂ： データストアにはデータの入出
力がないといけない。

【００１５】規則ａは、図３の例で示すと、データフロ
ー図「コンテキストダイアグラム」の処理「受発注シス
テム」に対してのデータフローの入出力（電話受注，商
品など）と、データフロー図「受発注システム」に対し
てのデータフローの入出力（発注，仕入れ商品など）と
が一致している必要があるということである。

【００１６】本実施例の整合性検査方式の目的は、作成
された仕様書データがこのような規則に整合しているか
否かを検査することにある。

【００１７】図４は、仕様書データのデータ構造の一例
を示す図である。この仕様書データでは、ノード情報配
列は、各ノードを一意に識別するノードｉｄと、処理，
データストアおよび外部環境の種別を表すノードタイプ
と、名称と、ノードがデータフロー図のどの位置にある
かを表す座標情報とからなるエントリが、ノードの数だ
け繰り返されて構成されている。また、アーク情報配列
は、各アークを一意に識別するアークｉｄと、始点ノー
ドｉｄと、終点ノードｉｄと、データフロー名と、座標
情報と、アークの線を描くためのパス情報を表すアーク
形状情報とからなるエントリが、アークの数だけ繰り返
されて構成されている。

【００１８】図５は、図３の例に対応した図４のデータ
構造を有する仕様書データの一例を示す図である。

【００１９】図６は、関連データのデータ構造の一例を
示す図である。この関連データでは、処理入力フロー表
は、データフロー図名，ノードｉｄ，処理名，アークｉ
ｄおよび入力データフロー名からなる。また、処理出力
フロー表は、データフロー図名，ノードｉｄ，処理名，
アークｉｄおよび出力データフロー名からなる。さら
に、フロー図入力フロー表は、データフロー図名，アー
クｉｄおよび入力データフロー名からなる。さらにま
た、フロー図出力フロー表は、データフロー図名，アー
クｉｄおよび出力データフロー名からなる。

【００２０】図７は、図５の仕様書データより作成した
図６のデータ構造を有する関連データの一例を示す図で
ある。

【００２１】図８は、前述の規則ａを検査するための検
索条件の一例を示す図である。この検索条件は、「フロ
ー図入力フロー表のデータフロー図名」を「処理入力フ
ロー表の処理名」に、「フロー図入力フロー表の入力デ
ータフロー名」を「処理入力フロー表の入力データフロ
ー名」に対応させて表の和の結合を行った表を作成す
る、というものである。

【００２２】図９は、図７の関連データを図８の検索条
件で検索した結果を示す図である。

【００２３】図１０は、図９の検索結果に基づく検査結
果の出力例を示す図である。

【００２４】次に、このように構成された本実施例の整
合性検査方式の動作について、図３〜図１０に示す具体
例を参照しながら説明する。

【００２５】仕様書データ編集手段１は、キーボード１
０やマウス１１から編集／検査指示入力手段６を介して
入力された仕様書データ編集指示に応じて起動され、仕
様書データ記憶手段２により外部記憶装置８から仕様書
データをメモリ７上に読み出したり、メモリ７上の仕様
書データを仕様書データ記憶手段２により外部記憶装置
８に書き出したり、メモリ７上の仕様書データを編集し
たり、メモリ７上の仕様書データをビットマップディス
プレイ９に表示したりするなどの動作を行う。

【００２６】仕様書データ記憶手段２は、仕様書データ
を外部記憶装置８に対して書き込んだり、読み出したり
する。

【００２７】関連データ作成手段３は、仕様書データの
作成時にキーボード１０やマウス１１から編集／検査指
示入力手段６を介して入力された関連データ作成指示に
応じて起動され、仕様書データ編集手段１が管理するメ
モリ７上の仕様書データから整合性検査に必要な関連デ
ータを作成して、関連データ記憶／検索手段４により外
部記憶装置８に記憶する。

【００２８】例えば、関連データ作成手段３は、メモリ
７上のデータフロー図の仕様書データのデータ構造（図
４参照）をもとに、前述の規則ａを検査するための関連
データのデータ構造（図６参照）に基づいて関連データ
を作成する。例えば、図６中に示す「処理入力フロー
表」のデータは、図４の各データフロー図毎に、次のス
テップで作成することができる。

【００２９】（１） ノード情報配列のノードタイプが
「処理」の行のノードｉｄを見つけて、見つかったそれ
ぞれのノードｉｄについて以下を繰り返す。

【００３０】（２） そのノードｉｄが、アーク情報配
列の終点ノードｉｄに一致する行のアークｉｄを見つけ
て、見つかったそれぞれのアークｉｄ毎に、図６の「処
理入力フロー表」の１行分のデータを作成する。

【００３１】他の図６の表も同様の考え方で作成でき
る。図５の仕様書データをもとに作成した関連データを
図７に示す。作成された関連データは、関連データ記憶
／検索手段４により外部記憶装置８に格納される。

【００３２】関連データ記憶／検索手段４は、関連デー
タを外部記憶装置８に記憶したり、外部記憶装置８にす
でに記憶されている関連データを検索したりする。関連
データ記憶／検索手段４は、関係データベースの技術を
用いて実現することができる。

【００３３】関連検査手段５は、キーボード１０やマウ
ス１１から編集／検査指示入力手段６を介して入力され
た関連検査指示に応じて起動され、関連データ記憶／検
索手段４により外部記憶装置８から整合性検査に必要な
検索条件で関連データを検索し、検索結果をもとに整合
性検査を行い、検査結果をビットマップディスプレイ９
に表示する。

【００３４】例えば、前述の規則ａを検査する場合、関
連検査手段５は、関連データ記憶／検索手段４により図
８の検索条件で関連データを検索する。この検索は、通
常の関係データベースの検索機能を使用して実施でき
る。図７の関連データをもとに検索した結果を、図９に
示す。

【００３５】関連検査手段５は、図９の関連データにつ
いて、「入力データフロー名１」または「入力データフ
ロー名２」の値が「ＮＩＬ」の行を見つけることによっ
て、規則ａに対する不整合箇所を見つけることができ
る。図９の関連データの一例では２行目が不整合箇所と
なるので、関連検査手段５は、例えば図１０に示すよう
な文章表現でビットマップディスプレイ９に検査結果を
表示することができる。

【００３６】規則ｂについても、規則ｂを検査するため
に必要な検索条件と検索結果である関連データに対する
検査方法とを適当に設定することにより、容易に整合性
検査を行うことができる。

【００３７】このように、本実施例の整合性検査方式で
は、仕様書データ間の整合性検査をするために、仕様書
データ記憶手段２により仕様書データを順番に読み込む
ことをしなくても、関連データ記憶／検索手段４により
関連データをランダムに検索して整合性を検査すること
により、高速に検査が可能となる。また、仕様書データ
の形式が変更されたとしても、関連データ作成手段３の
みを変更するだけで、関連データ記憶／検索手段４およ
び関連検査手段５には変更の必要がない。

【００３８】

【発明の効果】以上説明したように本発明は、関連デー
タ作成手段，関連データ記憶／検索手段および関連検査
手段を設け、仕様書データ間の整合性を検査するために
必要なデータを関連データとして取り出して記憶し、検
査時には記憶された関連データのみをランダムに検索し
て整合性を検査するようにしたことにより、ＣＡＳＥシ
ステムにおける仕様書データ間の整合性検査を高速に実
行することが可能になるという効果がある。

【００３９】また、仕様書データの形式が変更された場
合にも整合性の検査部分の変更を容易に行うことが可能
になるという効果がある。

【図面の簡単な説明】

【図１】本発明の一実施例に係る整合性検査方式の構成
を示すブロック図である。

【図２】本実施例の整合性検査方式が実現されるハード
ウェアシステムを示すブロック図である。

【図３】本実施例の整合性検査方式における仕様書の一
例としてのデータフロー図を具体的に示す図である。

【図４】本実施例の整合性検査方式における仕様書デー
タのデータ構造の一例を示す図である。

【図５】図３の例に対応した図４のデータ構造を有する
仕様書データの一例を示す図である。

【図６】本実施例の整合性検査方式における関連データ
のデータ構造の一例を示す図である。

【図７】図５の仕様書データより作成した図６のデータ
構造を有する関連データの一例を示す図である。

【図８】本実施例の整合性検査方式において規則を検査
するための検索条件の一例を示す図である。

【図９】図７の関連データを図８の検索条件で検索した
結果を示す図である。

【図１０】図９の検索結果に基づく検査結果の出力例を
示す図である。

【符号の説明】

１ 仕様書データ編集手段 ２ 仕様書データ記憶手段 ３ 関連データ作成手段 ４ 関連データ記憶／検索手段 ５ 関連検査手段 ６ 編集／検査指示入力手段 ７ メモリ ８ 外部記憶装置 ９ ビットマップディスプレイ １０ キーボード １１ マウス １２ 中央処理装置（ＣＰＵ）

Claims (1)

【特許請求の範囲】
1. 【請求項１】 計算機のソフトウェアシステム開発にお
   いて作成される仕様書を計算機自身で管理するＣＡＳＥ
   システムにおいて、 整合性検査の実施対象となる仕様書データから整合性検
   査に必要なデータを関連データとして作成する関連デー
   タ作成手段と、 この関連データ作成手段により作成された関連データを
   記憶するとともに整合性検査に必要な検索条件で関連デ
   ータを検索する関連データ記憶／検索手段と、この関連
   データ記憶／検索手段により関連データを検索して整合
   性がとられているかどうかを検査する関連検査手段とを
   有することを特徴とする整合性検査方式。