JPH03248228A - ソフトウェア設計情報の誤り検出方式 - Google Patents

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】 〔目　次〕 〔概　要〕 〔産業上の利用分野〕 〔従来の技術〕 〔発明が解決しようとする課題〕 〔課題を解決するための手段〕 〔作　用〕 〔実施例〕 本発明の一実施例を示す図（第２図）、本発明を実施す
るハードウェア構成図（第３図）、 記述誤り検出制御フローを示す図（第４図）、記述漏れ
検出制御フローを示す図（第５図）、継承誤り検出制御
フローを示す図（第６図）、〔発明の効果〕 〔概　要〕 設計ドキュメントの設計情報に生ずる誤りの内のデータ
アクセスで生ずる誤り、及び設計情報生成処理に生ずる
誤りを検出するソフトウェア設計情報の誤り検出方式に
関し、 構造化された設計情報の誤りの可視出力を適時に提供す
ることを目的とし、 設計ドキュメント毎にこれを作成する専用エディタ、ド
キュメントファイル、及び可視出力装置を有するＣＡＳ
Ｅシステムにおいて、前記設計ドキュメントの記述漏れ
を検出する記述漏れ検出処理手段と、前記設計ドキュメ
ントの記述誤りを検出する記述誤り検出処理手段と、前
記設計ドキュメント間の継承誤りを検出する継承誤り検
出処理手段とを設け、これら各手段を用いて前記各専用
エディタによって前記ドキュメントファイルによって作
成される設計ドキュメントの誤りの可視出力を適時に前
記可視出力装置から提供するようにして構成される。

〔産業上の利用分野〕

本発明は、設計ドキュメントの設計情報に生ずる誤りの
内のデータアクセスで生ずる誤り、及び設計情報生成処
理で生ずる誤りを検出するソフトウェア設計情報の誤り
検出方式に関する。

ディジタル交換機等で用いられるソフトウェアの設計作
業は、その複雑さ、開発規模の増大からコンピュータに
よって支援されてその開発が行なわれるのが、今日にお
ける一般的なソフトウェア設計形態である。このソフト
ウェア設計方式によるも、その設計は、設計者とコンピ
ュータとの対話形式でその設計が、順次に行なわれて行
くものである関係上、その設計作業に誤りが入るのを避
けることが出来ない。そのため、従来においても、設計
作業に不回避的に入る設計情報の誤りを除くことは、当
然に行なわれていた。

〔従来の技術〕

最近のコンピュータで支援されるソフトウェア設計方式
として用いられるものには、ＣＡＳＥ　（Ｃｏｍｐｕｔ
ｅｒ　Ａｉｄｅｄ　　Ｓｏｆｔｗａｒｅ　　Ｅｎｇｉｎ
ｅｅｒｉｎｇ）方式がある。この方式は、コンピュータ
上に設計書作成エディタを装備して構築されるものであ
る。

それらの複数の設計書作成エディタの各々は、ソフトウ
ェア設計の段階的詳細化作業手順に沿って構成され、そ
れらの複数の設計書作成エディタを用いて作成されるモ
ジュール構成図などのソフトウェアの設計書の各々が、
開発しようとする交換機システムの動作を規定するソフ
トウェアを最終的に作成するためのソフトウェア設計書
の全体を為している。そのソフトウェアの設計書は、設
計ドキュメントの形式で与えられる。その設計ドキュメ
ント内に生ずるであろう誤りの検出は、使用される名前
（ラベル）の一貫性や、参照関係の照合等の限られた事
項だけであった。

〔発明が解決しようとする課題〕

前述のＣＡＳＥ方式において、設計ドキュメントで生ず
る誤りは、その他の事項に起因して生じて来るものもあ
る。例えば、設計情報の不足に起因する誤り、設計書間
の設計情報の継承が正しく為されていないことに起因す
る誤りがある。

しかし、これらの誤りは、従来の誤り検出方式では検出
し得なかったものである。因みに、従来の誤り検出方式
で検出し得ていた誤りの、全体に対する割合は、高々１
０％程度であった。これは、前述のような構造化された
設計ドキュメントの設計情報に前述した誤りを検出し得
る情報が、存在していたにも拘わらず、それへの認識が
十分に為されていなかったがために、その有効利用が考
えられていなかったからと考えられる。

本発明は、斯かる問題点に鑑みて創作されたもので、構
造化された設計情報の誤りの可視出力を適時に提供し得
る設計ドキュメントの誤り検出方式を提供することをそ
の目的とする。

〔課題を解決するための手段〕

第１図は本発明の原理ブロック図を示す。この図に示す
ように、本発明は、設計ドキュメント毎にこれを作成す
る専用エディタ２０、ドキュメントファイル２３、及び
可視出力装置２５を有するＣＡＳＥシステムに、前記設
計ドキュメントの記述漏れを検出する記述漏れ検出処理
手段２７と、前記設計ドキュメントの記述誤りを検出す
る記述誤り検出処理手段２９と、前記設計ドキュメント
間の継承誤りを検出する継承誤り検出処理手段３１とを
設ける。そして、これら各手段２７．２９．３１を用い
て前記各専用エディタ２０によって前記ドキュメントフ
ァイル２３によって作成される設計ドキュメントの誤り
の可視出力を適時に前記可視出力装置２５から提供する
ようにして、本発明は構成される。

〔作　用〕

ＣＡＳＥシステムの専用エディタ２０によって、作成さ
れてドキュメントファイル２３に格納されている各設計
ドキュメントに存在する記述漏れは、記述漏れ検出処理
手段２７によるドキュメントファイル２３の参照によっ
て検出され、各設計ドキュメントに存在する記述誤りは
、記述誤り検出処理手段２９によるドキュメントファイ
ル２３の参照によって検出され、各設計ドキュメントに
存在する継承誤りは、継承誤り検出処理手段３１による
ドキュメントファイル２３の参照によって検出される。

それらの検出情報は、構築されたＣＡＳＥシステムに応
じて決まる適宜の時刻に可視出力装置２５から出力され
て設計者に提供される。

これらの検出されて提供される誤り情報は、設計ドキュ
メントの作成の中に生ぜしめられてしまう誤り情報の６
割方を占め、設計作業の流れの中で適時に設計者に提供
し得るから、ＣＡＳＥシステムでの設計ドキュメントの
作成の信鯨性を大幅に向上させることが出来る。

〔実施例〕

第２図は本発明の一実施例の構成を示す。この実施例は
、第３図に示すハードウェア構成図の中に構築されてい
る。第３図において、コンピュータシステムを構成する
バス３６には、ＣＰＵ３Ｂ、デイスプレィ装置（ＣＲＴ
）４０、キーボード４２、主メモリ４４、ディスク装置
（ＤＡＳＤ）４６、ＲＯＭ４Ｂ及びプリンタ５０が接続
される。

ディスク装置４６には、第４図乃至第６図に示す制御フ
ローを実行するプログラムが格納されており、これらの
プログラムは、バス３６を介して主メモリ４４へ読み出
され、ＣＰＵ３８において実行される。ディスク装置４
６には、又図示しないが、後述する各エディタを構成す
るプログラムも予め格納されているほか、それらのエデ
ィタによって用いられる図形シンボルを各シンボル毎に
アクセス可能に格納すると共に、各エディタによって作
成された設計ドキュメントの設計情報を各設計ドキュメ
ント毎にアクセス可能に格納する。ＲＯＭ４８には、後
述第４図乃至第６図に示す各テーブル６４，６８．７２
が予め格納されている。

第２図には、エディタ２０と、図形シンボル２２と、設
計ドキュメント２４と、誤り検出制御部２６と、記述漏
れ検出処理手段２８と、記述誤り検出処理手段３０と、
継承誤り検出手段３２とを示している。エディタ２０は
、前述のプログラムを第３図に示すコンピュータシステ
ムにおいて実行することによって、その中に構築される
ものである。ＣＰＵ３Ｂには、その代表的なシンボルと
してタスク表示３１、テーブル表示３３、メールボック
ス３５及び制御線３７を示しである。これらの図形シン
ボル２２を用いてエディタ２０によって作成された１つ
の設計ドキュメントを設計ドキュメント２４の中に示し
である。誤り検出制御部２６に示す記述漏れ検出処理手
段２８、記述誤り検出処理手段３０、及び継承誤り検出
処理手段３２は、前述の第４図乃至第６図に示す制御フ
ローのプログラムを前記コンピュータシステムで実行す
ることによって、本発明の要部を構成する各々である。

第２図乃至第８図において、主メモリ４４、ディスク装
置４６は、第１図のドキュメントファイル２３に相当し
、デイスプレィ装置４０、リンク５０は、第１図の可視
出力装置２５に相当する。

ＣＰＵ３Ｂ、主メモリ４４、ＲＯＭ４８、ディスク装置
４６格納の第５図に示す処理フローを実行するプログラ
ムは、第１図の記述漏れ検出処理手段２７に相当し、Ｃ
ＰＵ３　Ｂ、主メモリ４４、ＲＯＭ４８、ディスク装置
４６格納の第４図に示す処理フローを実行するプログラ
ムは、第１図の記述誤り検出処理手段２９に相当し、Ｃ
ＰＵ３　Ｂ、主メモリ４４、ＲＯＭ４　Ｂ、ディスク装
置４６格納の第６図に示す処理フローを実行するプログ
ラムは、第１図の継承誤り検出処理手段３１に相当する
。

次に、この本発明の要部をコンピュータシステムの中で
具体的に用いて本発明による設計ドキュメント内に生じ
た設計情報の誤り検出を正しい設計ドキュメントの作成
に用いる処理例を、第７図及び第８図を参照して以下に
説明する。

この処理例は、各エディタ動作中の各エディタ動作終了
時、設計ドキュメントの格納時、及び所要数の設計ドキ
ュメント作成後の各検出処理において、設計情報の誤り
検出を行なう例である。これらの検出によって、検出し
得る情報は、■データの型に付属する情報（例えば、コ
ード系等）、■データの値域（最大値、最小値５列挙型
値域等）、■レコード個数、終了レコードの判定、■デ
ータ構造間のポインタ参照関係、■対になる処理（例え
ば、資源の獲得／解放等）、■異常処理。

例外処理、■定型的処理（例えば、共有資源の排他側ｆ
ａ）である。これらの情報のうち、■乃至■は、前述の
各エディタ動作終了時において検出され、■乃至■は、
前述の設計ドキュメントの格納時、及び前述の所要数の
設計ドキュメント作成後の検出処理において検出される
。

第７図のエディタ制御部５２は、前記エディタを制御す
るが、その制御により進められる設計ドキュメントの作
成において生ずる誤りは、誤り検出部６０によって検出
される。その誤り検出部６０の中には、前述の記述漏れ
検出処理手段２８、記述誤り検出処理手段３０、及び記
述誤り検出処理手段３２が装備されており、これらの手
段２８゜３０及び３２によって、編集時検出部５４、格
納時検出部５６及び作業完了時検出部５８から成る。

対話管理部６２は、各エディタと、エディタ制御部５２
及び誤り検出部６０との間のインタフェースを対話形式
で取る。エディタ制御部５２は、又ディスク装置４６へ
の設計ドキュメントの書き込み、及び読み出しの制御も
行なう。６４はドキュメント管理部である。

第７図に示す構成において、複数のエディタから成る設
計エディタが選択されて起動されているものとする（第
８図の（Ａ）のＳｌ及びＳ２参照）。その設計エディタ
による設計が進行して行き、その中の次に起動されるべ
きエディタに対する起動要求が、デイスプレィ装置４０
のキーボード４２の起動キーの操作により、対話管理部
６２へ送られて来ると（第７図の１００参照）、当該起
動要求対応のエディタが起動された後に（第７図の１０
２参照）、編集時検出部５４が起動される（第８図の（
Ｂ）の３６．Ｓ７参照）、起動されたエディタ（第８図
の（Ｂ）の３７参照）との公知の対話形式（対話管理部
６２を介しての対話形式）により設計者は、その対話形
式、即ちデイスプレィ装置４０を介して公知の対話形式
による編集操作により当該エディタに装備されているエ
ディタ編集操作情報（例えば、図形シンボル、文字列等
）の種別選択を行ないつつ、当該エディタ対応の設計ド
キュメントを順次に作成して行く。その選択されたエデ
ィタ編集操作情報（設計情報）（第７図の１０４参照）
は、対話管理部６２を介してデイスプレィ装置４０の画
面上に表示されている設計ドキュメント内の所要箇所に
配置表示されると共に、その選択されたエディタ編集操
作情報は、主メモリ４４内の編集時検出部５４によって
も読み出し可能な格納位置に書き込まれる。前記選択さ
れたエディタ編集操作情報は、プリンタ５０から打ち出
すようにしてもよい。

その編集時検出部５４では、前記編集操作対応の種別選
択を行ない（第８図の（Ｃ）の３１２．３１３、第４図
の３１，３２参参照）、その種別選択対応にエディタで
管理されているＲＯＭテーブル６４の読み出しを行なっ
てそれを主メモリ４４のＲＡＭテーブル６６（主メモリ
４４にあるテーブル）に書き込む（第４図の３３参照）
。そして、先に、主メモリ４４に書き込んだエディタ編
集操作情報（例えば、図形シンボル）の読み出しを行な
い（第４図の３４参照）、そのエディタ編集操作情報と
、ＲＯＭテーブル６４から読み出された文字列属性情報
、又は図形シンボル属性情報との間に属性違反があるか
否かの比較が為される（第４図の５５参照）、例えば、
読み出された（抽出された）エディタ編集操作情報は、
タスク表示（第２図のタスクの表示、及び第９図の参照
番号８０参照）であったが、それに対して読み出された
図形シンボル属性情報との間に属性違反があるとき、或
いは日本語文字列の入力（第９図の参照番号８２参照）
を行なったが、それに対して読み出された文字列属性情
報との間に属性違反があるときには（第４図の３６の有
り参照）、エラーメツセージ表示を対話管理部６２を介
してデイスプレィ装置４０の画面上に行なう（第４図の
３７、及び第７図の１０６参照）。

このエラーメツセージ表示を見た設計者は、そのエラー
メツセージ表示に対応する処置、例えば再度の同一人力
を行なう。これにより、従来方式による入力では設計ド
キュメントに入ってしまったで１あろう誤りをその設計
ドキュメントに入るのを、時間的遅れなしに直ちにその
図形シンボル、又は文字列の入力時点で防止することが
出来る。

前述のような設計ドキュメント作成編集操作を各入力項
目毎に順次に行ない、当該起動されたエディタについて
の編集操作が終了したとき（第８図の（Ｃ）の３１５，
５１６参照）、前記起動されたエディタにおいて編集さ
れて作成されたエディタ編集ドキュメント情報は、主メ
モリ４４の誤り検出部６０による読み出し可能なＲＡＭ
テーブル７０（主メモリ４４にあるテーブル）に書き込
まれる。そして、第８図の３９に示す処理（第５図参照
）に入る。

この処理は、第４図が各入力項目の入力誤りの検出であ
ったのに対して、前記起動されたエディタにおいて作成
されたエディタ編集ドキュメントが正しく作成されたな
ら、そのエディタ編集ドキュメントにはないであろう記
述漏れ（編集入力項目漏れ）がないか否かを検出するこ
とにある。

第５図のステップＳ１乃至Ｓ４による処理は、第４図の
ステップＳ１乃至Ｓ４とほぼ同じである。

その差異は、デイスプレィ装置４０のキーボード４２か
ら与えられる前記作成済のエディタ編集ドキュメント情
報のディスク装置４６への格納要求に応答してその処理
が開始される一方、主メモリ４４から読み出される比較
対象情報が作成済のエディタ編集ドキュメント情報であ
り、このエディタ編集ドキュメント情報と比較される誤
り検出基準情報が記述漏れ属性情報である点である。こ
の記述漏れ属性情報は、ＲＯＭテーブル６８（ＲＯＭ４
８にあるテーブル）内の文字列属性テーブル、及び図形
シンボル属性テーブルに予め登録されている。

主メモリ４４から読み出されたエディタ編集ドキュメン
ト情報と、エディタで管理されているＲＯＭテーブル６
８内の文字列属性テーブル、及び図形シンボル属性テー
ブルから読み出された文字列属性、及び図形シンボル属
性とが比較されたとき、エディタ編集ドキュメント情報
に属性違反があるときには（第５図の３６の有り参照）
、エラーメツセージ表示を対話管理部６２を介してデイ
スプレィ装置４０の画面上に行なう（第５図の３７、及
び第７図の１１０参照）。

このエラーメツセージ表示を見た設計者は、そのエラー
メツセージ表示に対応する処置、例えば再度の同一人力
を行なう。これにより、従来方式による入力では設計ド
キュメントに入ってしまったであろう記述漏れをその設
計ドキュメントに入るのを、当該設計ドキュメントの格
納に先立つその設計ドキュメントの格納時点で防止する
ことが出来る。

その後に、その設計ドキュメントの格納を行ない（第８
図の８１０参照）、前述のようにして起動された設計エ
ディタについての所要数のエディタの起動、それによる
設計ドキュメントの格納処理後に、第８図の（Ａ）のス
テップＳ４の処理、即ち第６図の処理に入る。

この処理は、複数の設計ドキュメント間の継承関係、例
えばタスク間で用いられる文字フィールド名の同一性乃
至関係が維持されているか否かの判定を行なうことにあ
る。そのために、デイスプレィ装置４０のキーボード４
２からの設計者によるドキュメント設計終了合図（第７
図の１１２参照）に応答して第６図の処理が開始される
と（第６図の３１参照）、前述のようにして起動された
設計エディタで管理されているエディタ間継承項目テー
フ゛ルア２　（ＲＯＭ４Ｂにあるテーフ゛ル）から項目
名をインデックスとして読み出された文字フィールド情
報（第６図のＳ２参照）と、前述のようにしてディスク
装置４６に書き込まれていてそこから読み出された該項
目名対応の文字゛フィールド情報（第６図の３３参照）
との比較を行なう（第６図の５４参照）。

この比較において、ディスク装置４６から読み出された
該項目名対応の文字フィールド情報に比較基準情報たる
テーブル読み出し情報との間の矛盾があるときには（第
６図のＳ５の有り参照）、エラーメツセージ表示を対話
管理部６２を介してデイスプレィ装置４０の画面上に行
なう（第６図の３６、及び第７図の１１４参照）。

この第７図及び第８図に示す検出例は、本発明の１つの
例であり、前述の第４図乃至第６図に示す本発明の基本
的な処理を適用しようとするＣＡＳＥシステムの中で、
どのように用いるかということは、本発明そのものでは
なく、ＣＡＳＥシステムをどのように構成するかという
問題である。

従って、ＣＡＳＥシステムの具体的ハードウェア構成も
、本発明を実施し得る限り、その構成自体も、又任意で
ある。

〔発明の効果〕

以上述べたところから明らかなように本発明によれば、
ＣＡＳＥシステム上に既に構築されている専用エディタ
による設計ドキュメントの作成に際して発生して来るで
あろう設計情報の不足、漏れ、及び誤り、並びに設計ド
キュメント間の情報継承誤りを当該設計ドキュメントの
設計者に対し適時に提供し得るから、ソフトウェアの設
計作業の信顧性向上に寄与し得る。

【図面の簡単な説明】

第１図は本発明の原理ブロック図、 第２図は本発明の一実施例を示す図、 第３図は本発明を実施するハードウェア構成図、第４図
は記述誤り検出制御フローを示す図、第５図は記述漏れ
検出制御フローを示す図、第６図は継承誤り検出制御フ
ローを示す図、第７図は本発明の検出構成例をを示す図
、第８図第７図の検出構成例での全体の検出制御フロー
を示す図、 第９図は編集時通知処理におけるメツセージ例を示す図
である。 第１図乃至第８図において、 ２０は専用エディタ、 ２３はドキュメントファイル（主メモリ４４、ディスク
装置４６）、 ２５は可視出力装置（デイスプレィ装置４０、プログラ
ム５０）、 ２７は記述漏れ検出処理手段（ＣＰＵ３Ｂ、主メモリ４
４、ＲＯＭ４８、デイスプレィ装置４６格納の第４図に
示す処理フローを実行するプログラム）、 ２９は記述誤り検出処理手段（ＣＰＵ３８、主メモリ４
４、ＲＯＭ４　Ｂ、デイスプレィ装置４６格納の第５図
に示す処理フローを実行するプログラム）、 ３１は継承誤り検出処理手段（ＣＰＵ３８、主メモリ４
４、ＲＯＭ４８、デイスプレィ装置４６格納の第６図に
示す処理フローを実行するプログラム）である。 ソフト設計楕轍ｄ誤１ノ欣ハオ戊 第 図

Claims (1)

【特許請求の範囲】
1. （１）設計ドキュメント毎にこれを作成する専用エディ
   タ（２０）、ドキュメントファイル（２３）、及び可視
   出力装置（２５）を有するＣＡＳＥシステムにおいて、 前記設計ドキュメントの記述漏れを検出する記述漏れ検
   出処理手段（２７）と、 前記設計ドキュメントの記述誤りを検出する記述誤り検
   出処理手段（２９）と、 前記設計ドキュメント間の継承誤りを検出する継承誤り
   検出処理手段（３１）とを設け、 これら各手段（２７、２９、３１）を用いて前記各専用
   エディタ（２０）によって前記ドキュメントファイル（
   ２３）によって作成される設計ドキュメントの誤りの可
   視出力を適時に前記可視出力装置（２５）から提供する
   ことを特徴とするソフトウェア設計情報の誤り検出方式
   。