JPH0830448A - Program specification consistency inspecting device - Google Patents
Program specification consistency inspecting deviceInfo
- Publication number
- JPH0830448A JPH0830448A JP6162088A JP16208894A JPH0830448A JP H0830448 A JPH0830448 A JP H0830448A JP 6162088 A JP6162088 A JP 6162088A JP 16208894 A JP16208894 A JP 16208894A JP H0830448 A JPH0830448 A JP H0830448A
- Authority
- JP
- Japan
- Prior art keywords
- information
- program
- source code
- analysis
- standard format
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Landscapes
- Stored Programmes (AREA)
- Debugging And Monitoring (AREA)
Abstract
Description
【０００１】[0001]
【産業上の利用分野】本発明は、プログラム仕様整合検
査装置に関し、特にプログラム仕様書とソースコードと
の整合を検査するプログラム仕様整合検査装置に関する
ものである。BACKGROUND OF THE INVENTION 1. Field of the Invention The present invention relates to a program specification matching checking apparatus, and more particularly to a program specification matching checking apparatus for checking the matching between a program specification and a source code.
【０００２】[0002]
【従来の技術】一般に、目的のプログラムを作成する場
合、そのプログラムに要求される内容を記述したプログ
ラム仕様書が作成され、このプログラム仕様書に基づ
き、実際にプログラムが記述されるとともに、作成され
たプログラムの評価が行われる。従来、このようなプロ
グラム仕様書を作成する装置として、予めプログラム仕
様書の標準形式をテンプレートとして定義しておき、こ
のテンプレートにしたがってプログラム仕様書を編集す
ることにより、プログラム仕様書を標準化し、プログラ
ムの生産性や品質を改善するようにしたものが提案され
ている（例えば、特願平３−１７１２３０号公報な
ど）。2. Description of the Related Art Generally, when a desired program is created, a program specification describing the contents required for the program is created, and the program is actually described and created based on the program specification. The program is evaluated. Conventionally, as a device for creating such a program specification, a standard format of the program specification is defined in advance as a template, and the program specification is edited according to the template to standardize the program specification, Have been proposed (for example, Japanese Patent Application No. 3-171230).
【０００３】[0003]
【発明が解決しようとする課題】したがって、このよう
な従来のプログラム仕様書作成装置では、テンプレート
として、プログラム仕様書の目次のみを定義するもので
あるため、実際にプログラム仕様書に記述すべき詳細な
内容、例えば、プログラムを構成する複数のモジュール
内で変数として使用されるパラメータ定義名や属性、各
モジュール内でデータ領域として使用されるデータ定義
名などについて特定されておらず、作成されたプログラ
ムすなわちソースコードを、このようなプログラム仕様
書に基づいて詳細に評価することは困難であり、またソ
ースコードとプログラム仕様書との相違点を機械的に検
出することができないという問題点があった。本発明は
このような課題を解決するためのものであり、ソースコ
ードとプログラム仕様書との整合性を詳細にかつ機械的
に検査できるプログラム仕様整合検査装置を提供するこ
とを目的としている。Therefore, in such a conventional program specification creating apparatus, since only the table of contents of the program specification is defined as a template, the details to be actually described in the program specification are described. Contents, such as parameter definition names and attributes used as variables in multiple modules that make up the program, data definition names used as data areas in each module, etc. That is, it is difficult to evaluate the source code in detail based on such a program specification, and it is impossible to mechanically detect the difference between the source code and the program specification. . The present invention is intended to solve such a problem, and an object of the present invention is to provide a program specification conformity checking device capable of mechanically checking the consistency between a source code and a program specification in detail.
【０００４】[0004]
【課題を解決するための手段】このような目的を達成す
るために、本発明によるプログラム仕様整合検査装置
は、プログラムを作成するための各種設計情報に関する
詳細な情報を示す項目にしたがって入力された情報に基
づいて、各種設計情報の詳細を示す仕様書解析情報を生
成する仕様書解析情報生成手段と、ソースコードを解析
することによりソースコード内に記述されている各種設
計情報の詳細を示すソースコード解析情報を生成するソ
ースコード解析情報生成手段と、仕様書解析情報および
ソースコード解析情報に基づいてプログラム仕様書およ
びソースコードに記述されている各種設計情報を照合
し、その照合結果を出力する照合手段とを備えるもので
ある。In order to achieve such an object, the program specification conformity checking apparatus according to the present invention is input according to an item indicating detailed information regarding various design information for creating a program. A specification analysis information generating means for generating specification analysis information showing details of various design information based on the information, and a source showing details of various design information described in the source code by analyzing the source code. A source code analysis information generating means for generating code analysis information is collated with various design information described in the program specification and the source code based on the specification analysis information and the source code analysis information, and the collation result is output. And collation means.
【０００５】また、仕様書解析情報生成手段は、プログ
ラム仕様書の複数の標準形式を管理する標準形式管理手
段と、この標準形式管理手段により管理されている任意
の標準形式に基づいてプログラム仕様書を編集する編集
手段と、標準形式管理手段に管理されている各標準形式
に対応する複数の仕様書解析処理を有し、編集手段によ
り編集されたプログラム仕様書の元となる標準形式に対
応する仕様書解析処理に基づいてプログラム仕様書を解
析することにより、仕様書解析情報を出力する仕様書解
析手段とを備えるものである。また、仕様書解析情報生
成手段は、プログラムを作成するための各種設計情報に
関する詳細な情報を利用者に対して問い合わせるととも
に、これに応じて入力された情報を出力するユーザイン
ターフェース制御手段と、このユーザインターフェース
手段からの出力を一時的に記憶し、これら情報を仕様書
解析情報として出力する仕様書情報記憶手段とを備える
ものである。Further, the specification analysis information generating means is a standard format managing means for managing a plurality of standard formats of the program specification, and a program specification based on an arbitrary standard format managed by the standard format managing means. It has an editing means for editing and a plurality of specification analysis processes corresponding to each standard format managed by the standard format management means, and corresponds to the standard format which is the source of the program specifications edited by the editing means. And a specification analysis means for outputting the specification analysis information by analyzing the program specification based on the specification analysis processing. Further, the specification analysis information generation means inquires the user of detailed information regarding various design information for creating a program, and outputs the input information in response to the user interface control means, and A specification information storage means for temporarily storing the output from the user interface means and outputting the information as the specification analysis information is provided.
【０００６】[0006]
【作用】したがって、仕様書解析情報生成手段により、
各種設計情報に関する詳細な情報を示す項目にしたがっ
て情報が入力されて各種設計情報の詳細を示す仕様書解
析情報が生成されるとともに、ソースコード解析情報生
成手段により、ソースコードが解析されてソースコード
内に記述されている各種設計情報の詳細を示すソースコ
ード解析情報が生成され、照合手段により、これら仕様
書解析情報およびソースコード解析情報に基づいてプロ
グラム仕様書およびソースコードに記述されている各種
設計情報が照合される。[Operation] Therefore, by the specification analysis information generation means,
Information is input according to the item indicating detailed information about various design information, and specification analysis information indicating details of various design information is generated, and the source code is analyzed by the source code analysis information generating means to analyze the source code. Source code analysis information indicating details of various design information described in is generated, and by collating means, various types described in the program specification and source code based on the specification analysis information and the source code analysis information. Design information is collated.
【０００７】[0007]
【実施例】次に、本発明について図面を参照して説明す
る。図１は本発明の一実施例であるプログラム仕様整合
検査装置のブロック図であり、同図において、１０はプ
ログラム仕様書の標準的な複数の形式を管理する標準形
式管理装置、２０は標準形式管理装置１０で管理されて
いる形式のいずれかに基づき、編集装置２１で編集され
たプログラム仕様書を記憶する仕様書記憶装置、３０は
プログラム仕様書の各標準形式に対応する複数の仕様書
解析処理を有し、仕様書記憶装置２０内に記憶されてい
るプログラム仕様書を、その標準形式に対応する仕様書
解析処理に基づき解析する仕様書解析装置、５０は仕様
書解析装置３０から出力される解析結果を記憶する仕様
書解析情報記憶装置である。Next, the present invention will be described with reference to the drawings. FIG. 1 is a block diagram of a program specification matching check apparatus according to an embodiment of the present invention. In FIG. 1, 10 is a standard format management apparatus for managing a plurality of standard formats of program specifications, and 20 is a standard format. A specification storage device that stores the program specifications edited by the editing device 21 based on any of the formats managed by the management apparatus 10, and 30 is a plurality of specification analysis corresponding to each standard format of the program specifications. A specification analysis device having processing and analyzing a program specification stored in the specification storage device 20 based on a specification analysis process corresponding to the standard format, 50 is output from the specification analysis device 30. It is a specification analysis information storage device that stores an analysis result.
【０００８】６０は作成されたソースコードを記憶する
ソースコード記憶装置、７０はソースコード記憶装置６
０内のソースコードを解析するソースコード解析装置、
８０はソースコード解析装置７０から出力される解析結
果を記憶するソースコード解析情報記憶装置、９０は仕
様書解析情報記憶装置５０内の仕様書解析情報とソース
コード解析情報記憶装置８０内のソースコード解析情報
とを照合し、その照合結果を照合情報記憶装置９１に出
力する照合装置である。標準形式管理装置１０におい
て、１１はプログラム仕様書の標準形式を登録するため
の標準形式登録手段、１２は標準形式登録手段１１によ
り登録された複数の標準形式を記憶する標準形式記憶手
段、１３は標準形式記憶手段１２から所望の標準形式を
検索出力する標準形式検索手段である。Reference numeral 60 is a source code storage device for storing the created source code, and 70 is a source code storage device 6.
A source code analysis device for analyzing the source code in 0,
Reference numeral 80 denotes a source code analysis information storage device that stores the analysis result output from the source code analysis device 70, and 90 denotes the specification analysis information in the specification analysis information storage device 50 and the source code in the source code analysis information storage device 80. The collation device collates the analysis information and outputs the collation result to the collation information storage device 91. In the standard format management device 10, 11 is a standard format registration means for registering a standard format of a program specification, 12 is a standard format storage means for storing a plurality of standard formats registered by the standard format registration means 11, and 13 is a standard format storage means. It is a standard format search means for searching and outputting a desired standard format from the standard format storage means 12.
【０００９】仕様書解析装置３０において、３１はプロ
グラム仕様書の各標準形式に対応した仕様書解析処理を
登録するための仕様書解析処理登録手段、３２は仕様書
解析処理登録手段３１により登録された複数の処理を記
憶する仕様書解析処理記憶手段、３３は仕様書解析処理
記憶手段３２から所望の解析処理を検索出力する仕様書
解析処理検索手段、３４は仕様書解析処理検索手段３３
により検索された解析処理に基づき仕様書記憶装置２０
内に記憶されているプログラム仕様書を解析する仕様書
解析処理実行手段である。ソースコード解析装置７０に
おいて、７１はソースコード記憶装置６０内のソースコ
ードの字句を解析する字句解析手段、７２は字句解析さ
れたソースコードの構文を解析する構文解析手段、７３
は構文解析されたソースコードの解析情報を生成出力す
るソースコード解析情報出力手段である。In the specification analysis device 30, 31 is a specification analysis processing registration means for registering the specification analysis processing corresponding to each standard format of the program specification, and 32 is registered by the specification analysis processing registration means 31. Specification analysis processing storage means for storing a plurality of processes, 33 is a specification analysis processing search means for searching and outputting a desired analysis processing from the specification analysis processing storage means 32, and 34 is a specification analysis processing search means 33.
Specification storage device 20 based on the analysis processing retrieved by
It is a specification analysis processing execution means for analyzing a program specification stored in the storage. In the source code analysis device 70, 71 is a lexical analysis means for analyzing the lexical source code in the source code storage device 60, 72 is a syntax analysis means for analyzing the syntax of the lexically analyzed source code, and 73.
Is a source code analysis information output means for generating and outputting analysis information of the source code subjected to the syntax analysis.
【００１０】次に、図１を参照して、本発明の動作につ
いて説明する。まず、標準形式管理装置１０の標準形式
登録手段１１により、プログラム仕様書の標準形式が登
録されるとともに、この標準形式を他の標準形式と識別
するための標準形式識別子が付与され、標準形式記憶手
段１２に格納される。図２は、標準形式記憶手段１２内
に記憶されている標準形式を示す説明図であり、１０２
はプログラム仕様書の標準形式の詳細内容を示す標準形
式データ、１０１は標準形式データ１０２に対して個々
に付与された標準形式識別子である。Next, the operation of the present invention will be described with reference to FIG. First, the standard format registration means 11 of the standard format management device 10 registers the standard format of the program specification, and also assigns a standard format identifier for distinguishing this standard format from other standard formats. It is stored in the means 12. FIG. 2 is an explanatory diagram showing a standard format stored in the standard format storage means 12, 102
Is a standard format data indicating the detailed contents of the standard format of the program specification, and 101 is a standard format identifier assigned to the standard format data 102.
【００１１】また図３，４は、プログラム仕様書の標準
形式例を示す説明図であり、これら標準形式には、モジ
ュールの定義名、属性、概要の他、モジュール内で変数
として使用されるパラメータの数、定義名およびその属
性、モジュール実行終了時の返値、モジュール内でデー
タ領域として使用されるデータ定義名、属性およびその
初期値など、モジュールの仕様を示す設計情報を記載す
るための詳細かつ具体的な項目が設けられている。な
お、属性とは、その設計情報のデータ型を示すものであ
り、例えば「文字」、「整数」または「実数」などの型
や、情報長などから構成されている。3 and 4 are explanatory views showing examples of standard formats of program specifications. In these standard formats, in addition to the module definition name, attributes, and outline, parameters used as variables in the module are shown. Details to describe the design information indicating the module specifications, such as the number of files, definition name and its attribute, return value at the end of module execution, data definition name used as a data area in the module, attribute and its initial value. And specific items are provided. The attribute indicates the data type of the design information, and is composed of types such as "character", "integer" or "real number", and information length.
【００１２】標準形式記憶手段１２には、このような標
準形式が複数記憶されており、仕様書記憶装置２０を介
した編集装置２１からの指示に応じて、標準形式検索手
段１３により標準形式識別子に基づいて所望の標準形式
が検索され出力され、編集装置２１により、各項目に対
して設計情報が入力されてプログラム仕様書が生成さ
れ、仕様書記憶装置２０に格納される。仕様書解析装置
３０の仕様書解析処理記憶手段３２には、仕様書解析処
理登録手段３１により、各プログラム仕様書の標準形式
に対応した解析処理が登録され格納されている。図５
は、仕様書解析処理記憶手段３２内に記憶されている解
析処理を示す説明図であり、１０５は個々の標準形式に
基づくプログラム仕様書を解析するための解析処理であ
り、それぞれ対応する標準形式を示す標準形式識別子１
０１が付与されている。The standard format storage means 12 stores a plurality of such standard formats, and the standard format search means 13 causes the standard format identifier to be sent in response to an instruction from the editing device 21 via the specification storage device 20. A desired standard format is searched and output based on the above, and the editing device 21 inputs the design information for each item to generate a program specification, which is stored in the specification storage device 20. The analysis processing corresponding to the standard format of each program specification is registered and stored in the specification analysis processing storage means 32 of the specification analysis device 30 by the specification analysis processing registration means 31. Figure 5
FIG. 5 is an explanatory diagram showing analysis processing stored in the specification analysis processing storage means 32. Reference numeral 105 is an analysis processing for analyzing a program specification based on each standard format, and corresponding standard formats. Standard format identifier 1
01 is given.
【００１３】仕様解析処理実行手段３４は、仕様書記憶
装置２０内のプログラム仕様書を作成したときに基準と
した標準形式を示す標準形式識別子に基づいて、仕様書
解析処理検索手段３３により仕様書解析処理記憶手段３
２から所定の仕様書解析処理を検索する。続いて、仕様
書解析処理実行手段３４は、検索された仕様書解析処理
に基づいて仕様書記憶装置２０内のプログラム仕様書を
解析し、その解析結果を仕様書解析情報記憶装置５０に
出力する。図６は、仕様書解析装置３０から出力される
解析結果を示す説明図であり、編集装置２１で作成され
たプログラム仕様書に記述されている各設計情報に関す
る情報が詳細に記載されている。The specification analysis processing execution means 34 causes the specification analysis processing retrieval means 33 to specify the specifications based on a standard format identifier indicating a standard format used as a reference when the program specifications in the specification storage device 20 are created. Analysis processing storage means 3
A predetermined specification analysis process is searched from 2. Subsequently, the specification analysis processing execution means 34 analyzes the program specifications in the specification storage device 20 based on the retrieved specification analysis processing, and outputs the analysis result to the specification analysis information storage device 50. . FIG. 6 is an explanatory diagram showing an analysis result output from the specification analysis device 30, in which information regarding each design information described in the program specification created by the editing device 21 is described in detail.
【００１４】図６において、１１１はプログラム仕様書
の名前、１１２は先頭からの文字数や行・桁数などプロ
グラム仕様書内における各設計情報の位置を示す情報、
１１３は「モジュール名」や「概要」など各設計情報の
種類を示す情報、１１４はこのプログラム仕様書で規定
されるモジュールが所属する親モジュールに関する情
報、１１５はこのモジュールに関する情報、１１６は
「文字」、「整数」あるいは「実数」や情報長など各設
計情報の属性を示す情報である。この仕様書解析情報に
よれば、プログラム仕様書のどの位置に、どのような設
計情報が記載されているかを認識することができる。In FIG. 6, 111 is the name of the program specification, 112 is the information indicating the position of each design information in the program specification such as the number of characters from the beginning and the number of lines and digits.
Reference numeral 113 is information indicating the type of each design information such as "module name" and "outline", 114 is information about a parent module to which the module defined in this program specification belongs, 115 is information about this module, and 116 is "characters". , "Integer" or "real number", information length, and other information indicating attributes of each design information. According to the specification analysis information, it is possible to recognize what position and what design information is written in the program specification.
【００１５】一方、ソースコード記憶装置６０内に記憶
されているソースコードは、ソースコード解析装置７０
の字句解析手段７１により字句が解析されるとともに、
構文解析手段７２によりその構文が解析され、ソースコ
ード解析情報出力手段７３により解析情報が生成され
て、ソースコード解析情報記憶装置８０に出力され記憶
される。図７は、ソースコード解析装置７０から出力さ
れる解析結果を示す説明図であり、ソースコード記憶装
置６０に格納されたソースコードに記述されている各設
計情報に関する情報が詳細に記載されている。On the other hand, the source code stored in the source code storage device 60 is the source code analysis device 70.
While the lexical analysis unit 71 analyzes the lexical information,
The syntax analysis unit 72 analyzes the syntax, the source code analysis information output unit 73 generates analysis information, and the analysis information is output and stored in the source code analysis information storage device 80. FIG. 7 is an explanatory diagram showing an analysis result output from the source code analysis device 70, in which information regarding each design information described in the source code stored in the source code storage device 60 is described in detail. .
【００１６】図７において、１２１はソースコードの名
前、１２２は先頭からの文字数や行・桁数などソースコ
ード内における各設計情報の位置を示す情報、１２３は
「モジュール名」や「概要」など各設計情報の種類を示
す情報、１２４はこのソースコードすなわちモジュール
が所属する親モジュールに関する情報、１２５はこのソ
ースコードに関する情報、１２６は「文字」、「整数」
あるいは「実数」や情報長など設計情報の属性を示す情
報である。この仕様書解析情報によれば、ソースコード
のどの位置に、どのような設計情報が記載されているか
を認識することができる。In FIG. 7, 121 is the name of the source code, 122 is the information indicating the position of each design information in the source code such as the number of characters from the beginning and the number of lines and digits, 123 is the "module name", "outline", etc. Information indicating the type of each design information, 124 is information regarding this source code, that is, the parent module to which the module belongs, 125 is information regarding this source code, 126 is “character”, “integer”
Alternatively, it is information indicating attributes of design information such as “real number” and information length. According to this specification analysis information, it is possible to recognize at what position of the source code what kind of design information is described.
【００１７】照合装置９０は、仕様書解析情報記憶装置
５０内に記憶されている仕様書解析情報（図６）と、ソ
ースコード解析情報記憶装置８０内に記憶されているソ
ースコード解析情報（図７）とから、プログラム仕様書
およびソースプログラムに記述されている各種設計情報
を照合し、例えば、モジュール定義名やモジュール属
性、そのモジュール内で変数として使用されるパラメー
タの数、各定義名および属性、そのモジュール内でデー
タ領域として使用されるデータ定義名やデータ属性、さ
らにこのデータ領域の個々の領域を示す各データメンバ
定義名やデータメンバ属性などの整合性を検査し、その
結果を照合情報記憶装置９１に出力する。The collation device 90 includes the specification analysis information stored in the specification analysis information storage device 50 (FIG. 6) and the source code analysis information stored in the source code analysis information storage device 80 (FIG. 6). 7) and the various design information described in the program specification and the source program are collated, and, for example, the module definition name and the module attribute, the number of parameters used as variables in the module, each definition name and the attribute. , The data definition name and data attribute used as a data area in the module, and the consistency of each data member definition name and data member attribute indicating each area of this data area are checked, and the result is collated information. Output to the storage device 91.
【００１８】図８は、照合装置９０から出力される照合
結果を示す説明図であり、プログラム仕様書とソースコ
ードとで整合しない設計情報について出力される。例え
ば、プログラム仕様書のみに定義されており対応する設
計情報がソースコードから検出されないもの、逆にソー
スコードのみに定義されており対応する設計情報がプロ
グラム仕様書から検出されないもの、あるいはプログラ
ム仕様書とソースコードとの両方に記述されてはいる
が、その設計情報の属性や数などの詳細が一致しないも
のなどが、プログラム仕様書およびソースコード内にお
ける位置とともに出力される。FIG. 8 is an explanatory diagram showing the collation result output from the collating device 90, in which design information that does not match between the program specification and the source code is output. For example, one that is defined only in the program specifications and the corresponding design information is not detected from the source code, conversely, one that is defined only in the source code and the corresponding design information is not detected from the program specifications, or the program specifications. Although not described in both the source code and the source code, details such as attributes and numbers of the design information that do not match are output together with the position in the program specification and the source code.
【００１９】このように、プログラムを作成するための
各種設計情報に関する詳細な情報を示す項目にしたがっ
て入力された情報に基づいて、各種設計情報の詳細を示
す仕様書解析情報を生成するとともに、ソースコードを
解析することによりソースコード内に記述されている設
計情報の詳細を示すソースコード解析情報を生成し、こ
れら仕様書解析情報およびソースコード解析情報に基づ
いてプログラム仕様書およびソースコードに記述されて
いる各種設計情報を照合することにより、プログラム仕
様書とソースコードとの整合検査を行うようにしたの
で、両者の整合性を詳細にかつ機械的に検査することが
可能となり、プログラムの設計効率や評価効率を改善す
ることができる。As described above, the specification analysis information indicating the details of the various design information is generated based on the information input according to the item indicating the detailed information regarding the various design information for creating the program, and the source is also generated. By analyzing the code, the source code analysis information showing the details of the design information described in the source code is generated, and it is described in the program specification and the source code based on the specification analysis information and the source code analysis information. By matching various design information, the consistency check between the program specification and the source code is performed. Therefore, the consistency between the two can be checked in detail and mechanically, and the program design efficiency can be improved. And the evaluation efficiency can be improved.
【００２０】また、プログラム仕様書に対する複数の標
準形式を管理する標準形式管理装置と、各標準形式に対
応する複数の仕様書解析処理を有する仕様書解析装置と
を設けて、作成されたプログラム仕様書の元となる各標
準形式に対応する仕様書解析処理に基づきプログラム仕
様書を解析するようにしたので、プログラム仕様書の形
式が１種類に固定されず、従来からの形式に対しても、
あるいは設計情報に関する新たな情報項目の追加変更が
必要な場合にも、柔軟に対応することが可能となる。Further, a program specification prepared by providing a standard format management device for managing a plurality of standard formats for a program specification and a specification analysis device having a plurality of specification analysis processes corresponding to each standard format. Since the program specification is analyzed based on the specification analysis processing corresponding to each standard format that is the source of the document, the format of the program specification is not fixed to one type, and even for the conventional format,
Alternatively, it is possible to flexibly deal with the case where it is necessary to add or change a new information item regarding the design information.
【００２１】次に、本発明の第２の実施例について、図
９を参照して説明する。図９は、本発明の第２の実施例
によるプログラム仕様整合検査装置のブロック図であ
り、同図において、前述の説明（図１）と同じまたは同
等部分には同一符号を付してある。４０はプログラム仕
様書を編集する仕様書編集装置であり、４１は各種設計
情報に関する詳細な情報を利用者（編集者）に問い合わ
せるとともに、この問い合わせに応じて入力された情報
を出力するユーザインターフェース制御手段、４２はユ
ーザインターフェース手段４１からの出力を記憶し、プ
ログラム仕様書内の各種設計情報に関する詳細な情報す
なわち仕様書解析情報として、仕様書解析情報記憶装置
５０に出力する仕様書情報記憶手段である。Next, a second embodiment of the present invention will be described with reference to FIG. FIG. 9 is a block diagram of a program specification consistency checking apparatus according to the second embodiment of the present invention, in which the same or equivalent parts as those in the above description (FIG. 1) are designated by the same reference numerals. Reference numeral 40 is a specification editing device that edits the program specifications, and 41 is a user interface control that inquires the user (editor) of detailed information regarding various design information and outputs the information input in response to this inquiry. Means 42 is a specification information storage means for storing the output from the user interface means 41 and outputting it to the specification analysis information storage device 50 as detailed information about various design information in the program specifications, that is, as specification analysis information. is there.
【００２２】前述の実施例（図１）では、いずれかの標
準形式に基づいてプログラム仕様書を編集し、その標準
形式に対応する仕様書解析処理によりプログラム仕様書
を解析することにより、プログラム仕様書内の各種設計
情報に関する詳細な情報を生成するものであったが、本
実施例では、仕様書編集装置４０を設けて、ユーザイン
ターフェース制御手段４１により、各種設計情報に関す
る詳細な情報すなわちソースコードとの整合検査に必要
な情報を利用者（編集者）に逐次問い合わせるととも
に、この問い合わせに応じて入力された情報を仕様書情
報記憶手段により記憶し、プログラム仕様書内の各種設
計情報に関する詳細な情報すなわち仕様書解析情報（図
６）として、仕様書解析情報記憶装置５０に出力するよ
うにしたものである。In the above-described embodiment (FIG. 1), the program specifications are edited based on any of the standard formats, and the program specifications are analyzed by the specification analysis processing corresponding to the standard formats. Although the detailed information on various design information in the document is generated, in the present embodiment, the specification editing device 40 is provided and the user interface control unit 41 controls the detailed information on various design information, that is, the source code. The user (editor) is sequentially inquired of the information necessary for the conformity check with and the information input in response to this inquiry is stored in the specification information storage means, and detailed information on various design information in the program specification is stored. Information, that is, specification analysis information (FIG. 6), is output to the specification analysis information storage device 50.
【００２３】図１０は、ユーザインターフェース制御手
段４１から仕様書編集装置４０の表示部（図示せず）に
出力される画面出力例を示す説明図であり、利用者に対
して各種設計情報に関する詳細な情報の入力が促され、
利用者がこの問い合わせに応じて個々の情報を入力する
ことにより、ソースコードとの整合検査に必要な情報が
漏れなく得られるものとなり、得られた情報が仕様諸情
報記憶手段４２を介して仕様書解析情報記憶装置５０に
出力され、前述と同様に、照合装置９０により、ソース
コード解析情報（図７）と比較され整合検査される。FIG. 10 is an explanatory diagram showing an example of a screen output that is output from the user interface control means 41 to the display section (not shown) of the specification editing device 40, and details about various design information for the user. You will be prompted to enter
By inputting individual information in response to this inquiry by the user, the information required for the integrity check with the source code can be obtained without omission, and the obtained information is specified via the specification information storage means 42. It is output to the writing analysis information storage device 50, and similarly to the above, the collation device 90 compares it with the source code analysis information (FIG. 7) and performs a consistency check.
【００２４】このように、仕様書編集装置４０により、
利用者に対して、各種設計情報に関する詳細な情報を利
用者（編集者）に逐次問い合わせるようにしたので、ソ
ースコードとの整合検査に必要な情報を漏れなく得るこ
とが可能となるとともに、これら情報を直接得ることが
可能となり、各種設計情報を得るためにプログラム仕様
書を解析する必要がなくなり、処理が簡略化される。In this way, by the specification editing device 40,
Since the user (editor) is queried for detailed information regarding various design information, it becomes possible to obtain the information necessary for the consistency check with the source code without omission. It becomes possible to directly obtain the information, it is not necessary to analyze the program specification to obtain various design information, and the processing is simplified.
【００２５】[0025]
【発明の効果】以上説明したように、本発明は、仕様書
解析情報生成手段により、各種設計情報に関する詳細な
情報を示す項目にしたがって入力された情報に基づい
て、各種設計情報の詳細を示す仕様書解析情報を生成す
るとともに、ソースコード解析情報生成手段により、ソ
ースコード内に記述されている各種設計情報の詳細を示
すソースコード解析情報を生成し、照合手段により、こ
れら仕様書解析情報およびソースコード解析情報に基づ
いてプログラム仕様書およびソースコードに記述されて
いる各種設計情報を照合することにより、プログラム仕
様書とソースコードとの整合検査を行うようにしたの
で、両者の整合性を詳細かつ機械的に検査することが可
能となり、プログラムの設計効率や評価効率を改善する
ことができる。As described above, according to the present invention, the details of various design information are displayed on the basis of the information input by the specification analysis information generating means in accordance with the item indicating the detailed information on various design information. In addition to generating the specification analysis information, the source code analysis information generation means generates source code analysis information indicating details of various design information described in the source code, and the collation means generates these specification analysis information and By checking the program specifications and various design information described in the source code based on the source code analysis information, the consistency check between the program specifications and the source code is performed. Moreover, it becomes possible to mechanically inspect, and it is possible to improve the design efficiency and evaluation efficiency of programs.
【００２６】また、仕様書解析情報生成手段として、標
準形式管理手段により管理されている任意の標準形式に
基づいて編集手段によりプログラム仕様書を編集し、仕
様書解析手段により、このプログラム仕様書の元となる
標準形式に対応する仕様書解析処理に基づいてプログラ
ム仕様書を解析することにより、仕様書解析情報を出力
するようにしたので、プログラム仕様書の形式が１種類
に固定されず、従来からのプログラム仕様書の形式に対
しても、あるいは設計情報に関する新たな情報項目の追
加変更が必要な場合にも、柔軟に対応することが可能と
なる。Further, as the specification analysis information generating means, the program specification is edited by the editing means based on an arbitrary standard format managed by the standard format management means, and the specification analysis means edits the program specifications. Since the specification analysis information is output by analyzing the program specification based on the specification analysis processing corresponding to the original standard format, the format of the program specification is not fixed to one It is possible to flexibly cope with the format of the program specification from the above, or when it is necessary to add or change a new information item regarding the design information.
【００２７】また、仕様書解析情報生成手段として、ユ
ーザインターフェース制御手段により、プログラムを作
成するための各種設計情報に関する詳細な情報を利用者
に対して問い合わせるとともに、これに応じて入力され
た情報を仕様書解析情報として出力するようにしたの
で、ソースコードとの整合検査に必要な情報を漏れなく
得ることが可能となるとともに、これら情報を直接得る
ことが可能となり、各種設計情報を得るためにプログラ
ム仕様書を解析する必要がなくなり、処理が簡略化され
る。As the specification analysis information generation means, the user interface control means inquires the user of detailed information regarding various design information for creating a program, and the information input in response to this is inquired. Since it is output as the specification analysis information, it is possible to obtain the information required for the consistency check with the source code without omission, and it is possible to directly obtain this information to obtain various design information. Processing is simplified because there is no need to analyze the program specifications.
【図１】 本発明の一実施例によるプログラム仕様整合
検査装置のブロック図である。FIG. 1 is a block diagram of a program specification matching check device according to an embodiment of the present invention.
【図２】 標準形式記憶手段内に記憶されている標準形
式を示す説明図である。FIG. 2 is an explanatory diagram showing a standard format stored in a standard format storage means.
【図３】 プログラム仕様書の標準形式例を示す説明図
である。FIG. 3 is an explanatory diagram showing a standard format example of a program specification.
【図４】 プログラム仕様書の他の標準形式例を示す説
明図である。FIG. 4 is an explanatory diagram showing another standard format example of a program specification.
【図５】 仕様書解析処理記憶手段内に記憶されている
解析処理を示す説明図である。FIG. 5 is an explanatory diagram showing analysis processing stored in a specification analysis processing storage means.
【図６】 仕様書解析情報を示す説明図である。FIG. 6 is an explanatory diagram showing specification analysis information.
【図７】 ソースコード解析情報を示す説明図である。FIG. 7 is an explanatory diagram showing source code analysis information.
【図８】 照合結果出力例を示す説明図である。FIG. 8 is an explanatory diagram showing an example of collation result output.
【図９】 本発明の第２の実施例によるプログラム仕様
整合検査装置のブロック図である。FIG. 9 is a block diagram of a program specification consistency check device according to a second embodiment of the present invention.
【図１０】 仕様書編集装置の画面出力例を示す説明図
である。FIG. 10 is an explanatory diagram showing an example of screen output of the specification editing device.
１０…標準形式管理装置、１１…標準形式登録手段、１
２…標準形式記憶手段、１３…標準形式検索手段、２０
…仕様書記憶装置、２１…編集装置、３０…仕様書解析
装置、３１…仕様書解析処理登録手段、３２…仕様書解
析処理記憶手段、３３…仕様書解析処理検索手段、３４
…仕様書解析処理実行手段、４０…仕様書編集装置、４
１…ユーザインターフェース制御手段、４２…仕様書情
報記憶手段、５０…仕様書解析情報記憶装置、６０…ソ
ースコード記憶装置、７０…ソースコード解析装置、７
１…字句解析手段、７２…構文解析手段、８０…ソース
コード解析情報記憶装置、９０…照合装置、９１…照合
情報記憶装置。10 ... Standard format management device, 11 ... Standard format registration means, 1
2 ... Standard format storage means, 13 ... Standard format search means, 20
... Specification storage device, 21 ... Editing device, 30 ... Specification analysis device, 31 ... Specification analysis processing registration means, 32 ... Specification analysis processing storage means, 33 ... Specification analysis processing search means, 34
… Specification analysis processing execution means, 40… Specification editing device, 4
DESCRIPTION OF SYMBOLS 1 ... User interface control means, 42 ... Specification information storage means, 50 ... Specification analysis information storage device, 60 ... Source code storage device, 70 ... Source code analysis device, 7
1 ... Lexical analysis means, 72 ... Syntax analysis means, 80 ... Source code analysis information storage device, 90 ... Collation device, 91 ... Collation information storage device.
Claims (3)
グラム仕様書と、このプログラム仕様書に基づいて作成
されたソースコードとの整合性を検査するプログラム仕
様整合検査装置において、 プログラムを作成するための各種設計情報に関する詳細
な情報を示す項目にしたがって入力された情報に基づい
て、各種設計情報の詳細を示す仕様書解析情報を生成す
る仕様書解析情報生成手段と、 ソースコードを解析することによりソースコード内に記
述されている各種設計情報の詳細を示すソースコード解
析情報を生成するソースコード解析情報生成手段と、 前記仕様書解析情報およびソースコード解析情報に基づ
いてプログラム仕様書およびソースコードに記述されて
いる各種設計情報を照合し、その照合結果を出力する照
合手段とを備えることを特徴とするプログラム仕様整合
検査装置。1. A program specification consistency check device for checking the consistency between a program specification document that describes program specifications and a source code created based on the program specification document, for creating a program. Based on the information input according to the item indicating detailed information about various design information, the specification analysis information generating means for generating the specification analysis information indicating the details of various design information, and the source by analyzing the source code. Source code analysis information generation means for generating source code analysis information indicating details of various design information described in the code, and description in the program specification and source code based on the specification analysis information and the source code analysis information. Collating means for collating various designed information and outputting the collation result. A program specification matching inspection device characterized in that
装置において、 前記仕様書解析情報生成手段は、 プログラム仕様書の複数の標準形式を管理する標準形式
管理手段と、 この標準形式管理手段により管理されている任意の標準
形式に基づいてプログラム仕様書を編集する編集手段
と、 前記標準形式管理手段に管理されている各標準形式に対
応する複数の仕様書解析処理を有し、前記編集手段によ
り編集されたプログラム仕様書の元となる標準形式に対
応する仕様書解析処理に基づいて前記プログラム仕様書
を解析することにより、前記仕様書解析情報を出力する
仕様書解析手段とを備えることを特徴とするプログラム
仕様整合検査装置。2. The program specification consistency check apparatus according to claim 1, wherein the specification analysis information generating means manages a plurality of standard formats of a program specification by a standard format managing means and the standard format managing means. Edit means for editing the program specifications based on any standard format that is provided, and a plurality of specification analysis processing corresponding to each standard format managed by the standard format management means, by the editing means And a specification analysis unit for outputting the specification analysis information by analyzing the program specification based on a specification analysis process corresponding to the standard format that is the basis of the edited program specification. Program specification conformity checking device.
装置において、 前記仕様書解析情報生成手段は、 プログラムを作成するための各種設計情報に関する詳細
な情報を利用者に対して問い合わせるとともに、これに
応じて入力された情報を出力するユーザインターフェー
ス制御手段と、 このユーザインターフェース手段からの出力を一時的に
記憶し、これら情報を前記仕様書解析情報として出力す
る仕様書情報記憶手段とを備えることを特徴とするプロ
グラム仕様整合検査装置。3. The program specification consistency check apparatus according to claim 1, wherein the specification analysis information generation means inquires of the user of detailed information regarding various design information for creating a program, and User interface control means for outputting the input information in response to the specification information storage means for temporarily storing the output from the user interface means and outputting the information as the specification analysis information. Characteristic program specification matching inspection device.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP6162088A JPH0830448A (en) | 1994-07-14 | 1994-07-14 | Program specification consistency inspecting device |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP6162088A JPH0830448A (en) | 1994-07-14 | 1994-07-14 | Program specification consistency inspecting device |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH0830448A true JPH0830448A (en) | 1996-02-02 |
Family
ID=15747860
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP6162088A Pending JPH0830448A (en) | 1994-07-14 | 1994-07-14 | Program specification consistency inspecting device |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH0830448A (en) |
Cited By (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2007265089A (en) * | 2006-03-29 | 2007-10-11 | Fujitsu Ltd | Software maintenance support program, processing method, and device |
| US7831846B2 (en) | 2006-03-01 | 2010-11-09 | Fujitsu Limited | Information processing device with an acceleration sensor |
| JP2012141916A (en) * | 2011-01-06 | 2012-07-26 | Hitachi Information & Control Solutions Ltd | Program modification supporting method and program modification supporting apparatus |
| KR20220033536A (en) * | 2020-09-07 | 2022-03-17 | 현대오토에버 주식회사 | Apparatus and method for generating functional specifications |
Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH02181224A (en) * | 1988-09-30 | 1990-07-16 | Yokogawa Electric Corp | Software development system |
| JPH0311426A (en) * | 1989-06-08 | 1991-01-18 | Hitachi Ltd | Reusing method for software parts of dynamic system |
| JPH0749776A (en) * | 1993-08-05 | 1995-02-21 | Hitachi Ltd | Software reuse method |
-
1994
- 1994-07-14 JP JP6162088A patent/JPH0830448A/en active Pending
Patent Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH02181224A (en) * | 1988-09-30 | 1990-07-16 | Yokogawa Electric Corp | Software development system |
| JPH0311426A (en) * | 1989-06-08 | 1991-01-18 | Hitachi Ltd | Reusing method for software parts of dynamic system |
| JPH0749776A (en) * | 1993-08-05 | 1995-02-21 | Hitachi Ltd | Software reuse method |
Cited By (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US7831846B2 (en) | 2006-03-01 | 2010-11-09 | Fujitsu Limited | Information processing device with an acceleration sensor |
| JP2007265089A (en) * | 2006-03-29 | 2007-10-11 | Fujitsu Ltd | Software maintenance support program, processing method, and device |
| JP2012141916A (en) * | 2011-01-06 | 2012-07-26 | Hitachi Information & Control Solutions Ltd | Program modification supporting method and program modification supporting apparatus |
| KR20220033536A (en) * | 2020-09-07 | 2022-03-17 | 현대오토에버 주식회사 | Apparatus and method for generating functional specifications |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Evermann et al. | Toward formalizing domain modeling semantics in language syntax | |
| US20050149868A1 (en) | User interface application development program and development apparatus | |
| US5303147A (en) | Computer aided planning method and system | |
| US20060129418A1 (en) | Method and apparatus for analyzing functionality and test paths of product line using a priority graph | |
| JPH0683598A (en) | Job flow specification automatic generating method | |
| Claeys et al. | Intelligent authoring and management system for assembly instructions | |
| KR100284580B1 (en) | Web document automatic generating device and method | |
| Becker et al. | Hanfor: Semantic Requirements Review at Scale. | |
| JPH0830448A (en) | Program specification consistency inspecting device | |
| JPH11265368A (en) | Working procedure management system | |
| CN115098368A (en) | Intelligent verification method and device for recognizing brain picture use case | |
| JPH11102289A (en) | Screen generating method for operation process | |
| JP2002014845A (en) | Method for automatically generating test script part and device for the same | |
| US5551036A (en) | Method and system for generating operation specification object information | |
| JPH10149301A (en) | Script generation device | |
| US20110213728A1 (en) | Requirements check-in/out tool, called r2db | |
| JP2814982B2 (en) | Test data generator | |
| JP3529301B2 (en) | Automatic data file converter | |
| JPH056291A (en) | Method for preparing and managing test resources | |
| JPH10247212A (en) | Function specification preparation supporting device | |
| JPH11110202A (en) | Automatic job control language preparation method | |
| JPH0793144A (en) | Program analyzer | |
| US20110213637A1 (en) | Requirements engineering tool called requirement editor | |
| JPH06214777A (en) | Method and device for developiig program | |
| JPH09101966A (en) | Answer supporting system |