JP2002007169A

JP2002007169A - 文法網羅率計測方式

Info

Publication number: JP2002007169A
Application number: JP2000189832A
Authority: JP
Inventors: Toshio Touchi; 敏夫登内
Original assignee: NEC Corp
Current assignee: NEC Corp
Priority date: 2000-06-23
Filing date: 2000-06-23
Publication date: 2002-01-11
Also published as: US20040015910A1; US7062760B2

Abstract

(57)【要約】【課題】検査対象の言語処理システムで開発したＢＮ
Ｆファイル・字句解析ファイルをそのまま使用した文法
網羅率の計測や、検査工数の削減を実現する。【解決手段】文法網羅率計測器プログラム生成器１０
０は、ＢＮＦファイル２２０を読み込んで構文解析を行
い、当該構文解析に基づいて生成したＢＮＦデータをＢ
ＮＦ規則データベース１３０に格納し、当該ＢＮＦ規則
データベース１３０に基づいて構文解析手段プログラム
およびＢＮＦ規則チェック表プログラムを生成する。文
法網羅率計測器３００は、構文解析手段プログラムおよ
びＢＮＦ規則チェック表プログラムを読み込み、それら
の内容に従ってテスト用入力ファイル３９０に存在する
ＢＮＦ文法規則を表すＢＮＦ規則チェック表３３０内の
ＢＮＦデータをチェックし、当該チェックに基づきテス
ト用入力ファイル３９０に関するＢＮＦ文法規則の網羅
状況を示す情報および網羅率を生成・出力する。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明は、新たな文法（言語
文法）を受理する言語処理システムにおける検査に関
し、特に検査データ（ＢＮＦ（ＢａｃｋｕｓＮｏｒｍ
ａｌ（Ｎａｕｒ）Ｆｏｒｍ）文法規則に則って記述さ
れたテスト用入力ファイルのデータ）の文法網羅率（Ｂ
ＮＦ文法規則に則って記述されたテスト用入力ファイル
において使用されているＢＮＦ文法規則群のＢＮＦ文法
規則群全体に対する割合。以下では、単に「網羅率」と
記述することもある）の測定に用いられる文法網羅率計
測器と当該文法網羅率計測器を実現するためのプログラ
ムを生成する文法網羅率計測器プログラム生成器とによ
って構成される文法網羅率計測方式に関する。

【０００２】

【従来の技術】本発明に対する従来技術（従来の検査デ
ータ生成システムや検査プログラム・データ生成システ
ムに該当する技術）としては、例えば、特開平３−０７
５８４０号公報に記載された技術（テストデータ作成支
援装置），特開平６−２１４７７５号公報に記載された
技術（テストプログラム作成支援装置），および特開平
１−２２００４４号公報に記載された技術（言語処理プ
ログラム検証方式）がある。以下に、これらの技術につ
いて説明する。

【０００３】（１）特開平３−０７５８４０号公報に
記載された技術図１９に示すように、当該従来技術（検査データ生成シ
ステムの一例）は、言語処理プログラムをテストする際
に用いる既存のテスト用ソースプログラム（図１９中の
「テスト用ソース」）の文法網羅性を判定し、その判定
結果をもとにして、既存のテスト用ソースプログラムに
おいて使用していない文法規則を使用するようなソース
プログラムを生成・補充し、文法網羅性を確保したテス
ト用ソースプログラムの集合を得るためのテストデータ
作成支援装置に関するものである。

【０００４】当該従来技術では、各既存テスト用ソース
プログラムの文法は固定的であり、文法網羅判定部はあ
らかじめ決まった文法に対してのみ網羅率を計測してい
た。したがって、この従来技術によって「新しい文法を
有する言語処理システムの検査」に対処するには、検査
データが新規の文法に従っているため、文法網羅判定部
を作り直す必要がある。

【０００５】（２）特開平６−２１４７７５号公報に
記載された技術図２０に示すように、当該従来技術（検査データ生成シ
ステムの一例）は、文パターン生成部がＢＮＦファイル
に記述されたＢＮＦ文法規則に合致するテストデータ
（テストプログラム）を自動生成する。

【０００６】しかし、ＢＮＦ文法規則に適合するテスト
データは無限に存在する。したがって、その中から一部
を取り出しても、それが有意な検査項目を効率的に検査
している可能性は低い。

【０００７】また、当該従来技術では、文法規則から検
査データを自動生成しているので、生成検査データが意
味的に何を検査しているのかは、検査者からは不明であ
る。つまり、検査データを通したからとはいえ、それが
十分な検査かどうかは不明である。

【０００８】さらに、当該従来技術では、検査データの
加工に検査者が関わることができるが、その工数が膨大
となる。

【０００９】（３）特開平１−２２００４４号公報に
記載された技術図２１に示すように、当該従来技術（検査プログラム・
データ生成システムの一例）は、ＴＰ自動作成部が構文
・意味記述を入力し、その中の規則を生成規則選択部が
ランダムに選び、テストプログラム（検証プログラム）
を生成する。

【００１０】当該従来技術では、意味記述を導入するこ
とにより、有意な検査項目を生成することができる。し
かし、通常、言語処理システム開発の際に、文法規則は
機械が可読なように記述するが、意味記述は自然言語で
行うことがほとんどである。そのため、この従来技術を
適用するためには、機械可読なフォーマットで意味記述
を書き直してやる必要があり、そのための検査工数が必
要となる。

【００１１】

【発明が解決しようとする課題】上述したように、従来
から、検査データ生成システム／検査プログラム・デー
タ生成システムは存在していた。

【００１２】しかし、このような従来の検査データ生成
システム／検査プログラム・データ生成システムより
も、検査者が検査項目を意識して検査データを作成し、
そのデータの網羅していない個所を指摘する方が、検査
効率は向上する。

【００１３】特に、言語処理システム開発の際の検査に
おいては、文法に基づく網羅率計測は効果を発揮する。
なぜならば、検査者は検査対象の言語処理システムが受
理する文法毎に検査項目を設定することが多いため、網
羅されていない文法から未検査の検査項目を容易に推測
できるからである。

【００１４】ここで、上述した従来技術では、新たな言
語を設計し、その言語処理システムを検査する際に、テ
ストデータは新たな言語文法に従ったデータであるた
め、文法網羅率計測器（文法網羅率検査器）も新たに構
築する必要があり、新規に文法網羅率計測器を開発する
ための工数が必要になるという問題点があった。

【００１５】本発明の目的は、上述の点に鑑み、新たな
文法を受理する言語処理システムにおいて文法網羅率を
計測する方式（文法網羅率計測器および文法網羅率計測
器プログラム生成器からなる文法網羅率計測方式）を提
供することができ、しかも文法網羅率計測器プログラム
生成器で文法網羅率計測器を実現するプログラムの自動
生成を行う際に、言語処理システム開発で使用した仕様
表現の他に新たな仕様等を作成せずに済む文法網羅率計
測方式を提供することにある。

【００１６】すなわち、本発明においては、言語処理シ
ステムの開発における検査工程において、当該言語処理
システムが受理可能な文法について、テスト用入力ファ
イルがその文法をどの程度網羅しているかを示す文法網
羅率を計測し、かつ、当該文法網羅率を出力（表示等）
することにより、検査者が検査データの妥当性を判別す
ることができる文法網羅率計測器を提供する。また、こ
のような文法網羅率計測器を実現するためのプログラム
を生成する文法網羅率計測器プログラム生成器を提供す
る。これによって、当該文法網羅率計測器プログラム生
成器と当該文法網羅率計測器とからなる文法網羅率計測
方式が実現される。

【００１７】なお、本発明に対する従来技術に関する特
許公報としては、上記の公報の他に、特開平１０−０４
９３７８号公報がある。当該公報に記載された技術（コ
ンパイラ開発装置）は、コンパイラを開発する際に描く
構文図をＢＮＦ形式構文解析生成系コードおよび字句解
析生成系コードに変換する技術に関するものである。当
該技術は、ＢＮＦを使用する技術である点で本発明と共
通しているが、出力するＢＮＦ形式構文解析生成系コー
ドの役割（使用目的）が本発明における「ＢＮＦ文法規
則の網羅状況を示す情報および網羅率の生成・出力」と
は異なっており、その差異に基づいて構成に関しても本
発明とは本質的に相違している。

【００１８】また、上記の各特許公報記載の技術を組み
合わせても、当該各技術が本発明とは本質的に相違して
いる（各技術には「ＢＮＦ文法規則の網羅状況や網羅率
の生成・出力」という観点がない）ので、本発明に至る
ものではない。

【００１９】

【課題を解決するための手段】本発明の文法網羅率計測
方式は、ＢＮＦファイルを読み込み、そのＢＮＦファイ
ルのデータをトークン単位に切り分ける文法網羅率計測
器プログラム生成器内のファイル読み取り手段と、前記
ファイル読み取り手段により切り分けられたトークンに
基づいて前記ファイル読み取り手段により読み込まれた
ＢＮＦファイルに対する構文解析を行い、ＢＮＦ文法規
則に基づいてＢＮＦ文法規則を表すデータ構造であるＢ
ＮＦデータを生成し、当該ＢＮＦデータをＢＮＦ規則デ
ータベースに格納する文法網羅率計測器プログラム生成
器内のＢＮＦ構文解析手段と、前記ＢＮＦ規則データベ
ースに蓄積されたＢＮＦデータに基づいて文法網羅率計
測器内の構文解析手段を実現するための構文解析手段プ
ログラムを生成する文法網羅率計測器プログラム生成器
内の構文解析手段生成手段と、前記ＢＮＦ規則データベ
ースに蓄積されたＢＮＦデータに基づいて文法網羅率計
測器内のＢＮＦ規則チェック表の内容を埋めるためのＢ
ＮＦ規則チェック表プログラムを生成する文法網羅率計
測器プログラム生成器内のＢＮＦ規則チェック表生成手
段と、ＢＮＦ規則番号，ＢＮＦデータ，およびチェック
部の３欄を含むエントリを有するＢＮＦ文法規則の一覧
表である文法網羅率計測器内の前記ＢＮＦ規則チェック
表と、ＢＮＦデータの総数をカウントするための記憶領
域である文法網羅率計測器内のＢＮＦデータカウンタ
と、前記ＢＮＦ規則チェック表の「チェック部」欄にチ
ェックがつけられたＢＮＦデータの数をカウントするた
めの記憶領域である文法網羅率計測器内のチェックカウ
ンタと、ＢＮＦファイルで定義された文法に則った１つ
以上のテスト用入力ファイルを読み込み、その字句解析
を行う文法網羅率計測器内のファイル読み取り手段と、
前記構文解析手段生成手段により生成された構文解析手
段プログラムを解釈することにより動作し、前記ファイ
ル読み取り手段による字句解析が行われたテスト用入力
ファイルの構文解析を行い、当該テスト用入力ファイル
に存在するＢＮＦ文法規則を表すＢＮＦデータに関して
前記ＢＮＦ規則チェック表中の該当するエントリにチェ
ックをつけるように制御する文法網羅率計測器内の前記
構文解析手段と、前記ＢＮＦ規則チェック表内のＢＮＦ
データおよびそのチェック内容を得て、テスト用入力フ
ァイルにおけるＢＮＦ文法規則の網羅状況を示す情報を
生成し、前記ＢＮＦデータカウンタおよび前記チェック
カウンタの値に基づいて網羅率を算出する文法網羅率計
測器内の網羅率出力手段と、前記網羅率出力手段の要求
に応じ、前記網羅率出力手段により生成・算出された情
報をＣＲＴ（ＣａｔｈｏｄｅＲａｙＴｕｂｅ）に出
力する文法網羅率計測器内のＣＲＴ出力手段（プリンタ
等のＣＲＴ以外の出力装置に出力する出力手段（当該出
力装置に応じた出力手段）に代替することも可能であ
る）と、ＢＮＦ規則チェック表プログラムに従い前記Ｂ
ＮＦ規則チェック表のデータの内容を初期設定し、他の
モジュールからの要求に応じて前記ＢＮＦ規則チェック
表に対する読み書きを行う文法網羅率計測器内のＢＮＦ
規則チェック表格納手段とを有する。

【００２０】また、本発明の文法網羅率計測方式は、上
記の文法網羅率計測方式に、全てのＢＮＦ文法規則に関
してＢＮＦ構文解析手段により生成されたＢＮＦデータ
がＢＮＦ規則データベースに蓄積された後に、前記ＢＮ
Ｆ規則データベースにアクセスし、各ＢＮＦデータによ
って表されるＢＮＦ文法規則が意味的に妥当か否かを検
査し、ＢＮＦ文法規則の意味的な不整合を発見した場合
にその旨を示すエラーメッセージを出力する文法網羅率
計測器プログラム生成器内のＢＮＦ意味検査器を加える
構成にすることも可能である。

【００２１】さらに、本発明の文法網羅率計測方式は、
上記の各文法網羅率計測方式に対して、網羅状況を示す
情報および網羅率をＣＲＴに表示（出力）するＣＲＴ出
力手段の代わりに、網羅状況を示す情報および網羅率を
網羅状況報告ファイルに出力するファイル出力手段を有
する構成にすることも可能である。

【００２２】なお、本発明の文法網羅率計測方式は、よ
り一般的には、文法網羅率計測器が検査対象の言語処理
システムの受理する文法（言語文法）に対して網羅率
（文法網羅率）を測定できるように、検査対象の文法を
表すＢＮＦファイルを読み込んで構文解析を行い、当該
構文解析に基づいて生成したＢＮＦデータをＢＮＦ規則
データベースに格納し、当該ＢＮＦ規則データベースに
基づいて構文解析手段プログラム（ＢＮＦファイルで定
義された言語文法の構文解析を行う構文解析手段を実現
するプログラム）およびＢＮＦ規則チェック表プログラ
ム（ＢＮＦ規則チェック表のエントリを設定するプログ
ラム）を生成する文法網羅率計測器プログラム生成器
と、前記文法網羅率計測器プログラム生成器によって生
成された構文解析手段プログラムおよびＢＮＦ規則チェ
ック表プログラムを読み込み、それらの内容に従ってテ
スト用入力ファイルに存在するＢＮＦ文法規則を表すＢ
ＮＦ規則チェック表内のＢＮＦデータをチェックし、当
該チェックに基づきテスト用入力ファイルに関するＢＮ
Ｆ文法規則の網羅状況を示す情報および網羅率を生成・
出力する前記文法網羅率計測器とを有する構成であると
表現することができる。

【００２３】また、本発明の文法網羅率計測方式は、文
法網羅率計測器プログラム生成器および文法網羅率計測
器からなる文法網羅率計測方式における当該文法網羅率
計測器プログラム生成器を、文法網羅率計測器が検査対
象の言語処理システムの受理する文法に対して網羅率を
測定できるように、検査対象の文法を表すＢＮＦファイ
ルを読み込んで構文解析を行い、当該構文解析に基づい
て生成したＢＮＦデータをＢＮＦ規則データベースに格
納し、当該ＢＮＦ規則データベースに基づいて構文解析
手段プログラムおよびＢＮＦ規則チェック表プログラム
を生成するように機能させるためのプログラムを記録し
た記録媒体として実現することも可能である。

【００２４】

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

【００２５】（１）第１の実施の形態図１は、本発明の第１の実施の形態に係る文法網羅率計
測方式の構成を示すブロック図である。

【００２６】図１を参照すると、本実施の形態に係る文
法網羅率計測方式は、文法網羅率計測器プログラム生成
器１００と、文法網羅率計測器３００と、ＢＮＦファイ
ル２２０と、構文解析手段プログラムファイル２３０
と、ＢＮＦ規則チェック表プログラムファイル２４０
と、テスト用入力ファイル３９０と、ＣＲＴ４００とを
含んで構成されている。

【００２７】文法網羅率計測器プログラム生成器１００
は、ファイル読み取り手段１１０と、ＢＮＦ構文解析手
段１２０と、ＢＮＦ規則データベース１３０と、ＢＮＦ
意味検査器１４０と、構文解析手段生成手段１５０と、
ＢＮＦ規則チェック表生成手段１６０と、ファイル出力
手段１７０と、ファイル出力手段１８０と、ファイル名
格納手段１９０と、行番号カウンタ２００と、表示手段
２１０とを含んで構成されている。

【００２８】ファイル読み取り手段１１０は、ＢＮＦフ
ァイル２２０を読み込み、そのＢＮＦファイル２２０の
データを単語であるトークン単位に切り分ける。なお、
ファイル読み取り手段１１０は、ＢＮＦファイル２２０
を読み取る際に、行番号をカウントし、その結果を行番
号カウンタ２００に格納する。

【００２９】ＢＮＦ構文解析手段１２０は、ファイル読
み取り手段１１０が切り分けたトークンを読み取り（受
け取り）、構文解析し、ＢＮＦ文法規則に基づいてＢＮ
Ｆ文法規則を表すデータ構造であるＢＮＦデータを生成
する。

【００３０】ＢＮＦ規則データベース１３０は、ＢＮＦ
構文解析手段１２０によって生成されたＢＮＦデータ
（ＢＮＦファイル２２０で定義されたＢＮＦ文法規則に
対応するＢＮＦデータ）を格納する。

【００３１】ＢＮＦ意味検査器１４０は、全てのＢＮＦ
文法規則に関してＢＮＦ構文解析手段１２０により生成
されたＢＮＦデータがＢＮＦ規則データベース１３０に
蓄積された後に、ＢＮＦ規則データベース１３０にアク
セスする。

【００３２】ＢＮＦ意味検査器１４０は、ＢＮＦ規則デ
ータベース１３０にアクセスし、ＢＮＦデータを得て、
ＢＮＦ文法規則が意味的に妥当（正しい）か否かを検査
する。

【００３３】ＢＮＦ意味検査器１４０は、ＢＮＦ文法規
則の意味的な不整合を発見した場合には、その旨を示す
エラーメッセージと不整合の個所（不具合の発生箇所）
を示す情報を表示手段２１０に出力する。ここで、不具
合の発生個所のファイル名は、ファイル名格納手段１９
０を参照することで得ることができる。また、不具合の
発生個所の行番号は、行番号カウンタ２００を参照する
ことで得ることができる。

【００３４】例えば、ＢＮＦ文法規則「segment::= SEG
MENT:e segNo:e;」では、同じオプション「e」が同一右
辺式で複数回使用されている。これは意味的に不正であ
る。そこで、ＢＮＦ意味検査器１４０は、「同じオプシ
ョン"e"を使用している」という旨のエラーメッセージ
を出力し、ファイル名格納手段１９０が示すファイル名
と行番号カウンタ２００が示す発生行番号とを表示手段
２１０に出力する。

【００３５】構文解析手段生成手段１５０は、文法網羅
率計測器３００内の構文解析手段３２０を実現するプロ
グラム（構文解析手段プログラム）を生成する。

【００３６】ＢＮＦ規則チェック表生成手段１６０は、
文法網羅率計測器３００内のＢＮＦ規則チェック表３３
０の内容を埋めるプログラム（ＢＮＦ規則チェック表プ
ログラム）を生成する。

【００３７】ファイル出力手段１７０は、構文解析手段
生成手段１５０によって生成された構文解析手段プログ
ラムを構文解析手段プログラムファイル２３０に出力す
る。

【００３８】ファイル出力手段１８０は、ＢＮＦ規則チ
ェック表生成手段１６０によって生成されたＢＮＦ規則
チェック表プログラムをＢＮＦ規則チェック表プログラ
ムファイル２４０に出力する。

【００３９】ファイル名格納手段１９０は、ＢＮＦファ
イル２２０のファイル名を指定する情報を格納してい
る。

【００４０】行番号カウンタ２００は、ファイル読み取
り手段１１０が読み取っているＢＮＦファイル２２０の
データを特定する行番号を格納している。

【００４１】表示手段２１０は、ＢＮＦ意味検査器１４
０が発見した意味上の不整合をユーザに知らせる。

【００４２】ＢＮＦファイル２２０は、検査対象の言語
処理システムが入力データとする文法（言語文法）を定
義するＢＮＦファイルである。

【００４３】構文解析手段プログラムファイル２３０
は、構文解析手段生成手段１５０によって生成された構
文解析手段プログラムを格納するファイルである。な
お、この構文解析手段プログラムは、ＢＮＦファイル２
２０中の全てのＢＮＦ文法規則毎に次のａおよびｂに示
す２つのコードを有する。

【００４４】ａ．ＢＮＦ文法規則これは、ＢＮＦファイル２２０中のＢＮＦ文法規則を、
そのまま、出力したものである。例えば、ＢＮＦファイ
ル２２０中のＢＮＦ文法規則「segment::= SEGMENT seg
No:e;」については、このＢＮＦ文法規則がそのまま「s
egment::= SEGMENT segNo:e;」と出力される。

【００４５】ｂ．アクション部これは、ＢＮＦ文法規則に合致した入力を文法網羅率計
測器３００が受理したときにすべき振る舞いを記述した
ものである。文法網羅率計測器３００内の構文解析手段
３２０は、ＢＮＦ文法規則に合致するエントリをＢＮＦ
規則チェック表３３０から見つけ出し、ＢＮＦ規則チェ
ック表３３０の該当エントリにチェックをつける。この
ようなチェックを実現するためのコードを、アクション
部とする。なお、このチェックは、ＢＮＦ文法規則を網
羅したことを示す。例えば、ＢＮＦ文法規則「segmen
t::= SEGMENT segNo:e;」に対するアクション部は、Ｂ
ＮＦ文法規則「segment::= SEGMENT segNo:e;」に合致
するエントリをＢＮＦ規則チェック表３３０から見つけ
出し、このエントリにチェックをつけるコードである。

【００４６】ＢＮＦ規則チェック表プログラムファイル
２４０は、ＢＮＦ規則チェック表生成手段１６０によっ
て生成されたＢＮＦ規則チェック表プログラム（ＢＮＦ
規則チェック表生成手段１６０がＢＮＦ規則データベー
ス１３０中のＢＮＦデータにアクセスすることによって
生成したＢＮＦ規則チェック表３３０中のエントリを埋
めるプログラム）を格納するファイルである。

【００４７】文法網羅率計測器プログラム生成器１００
が実現する文法網羅率計測器３００は、ファイル読み取
り手段３１０と、構文解析手段３２０と、ＢＮＦ規則チ
ェック表３３０と、網羅率出力手段３４０と、ＣＲＴ出
力手段３５０と、ＢＮＦ規則チェック表格納手段３６０
と、ＢＮＦデータカウンタ３７０と、チェックカウンタ
３８０とを含んで構成されている。

【００４８】ファイル読み取り手段３１０は、ＢＮＦフ
ァイル２２０で定義された文法に則った１つ以上のテス
ト用入力ファイル３９０を字句解析し、トークンに分割
する。

【００４９】ここで、ファイル読み取り手段３１０によ
るテスト用入力ファイル３９０の字句解析の処理は、検
査対象の言語処理システムでの字句解析処理と同一であ
る。そのため、次のようにして、容易にファイル読み取
り手段３１０を構築することができる。言語処理システ
ムを構築する際には、ＬｅｘやＪａｖａＬｅｘ等の字句
解析器生成器を使用する。字句解析器生成器の入力が字
句解析ファイルである。検査対象の言語処理システムに
おいて、字句解析ファイルと字句解析器生成器とを使用
し、字句解析器を開発していると仮定する。文法網羅率
計測器３００についても、字句解析器生成器と検査対象
の言語処理システム用の字句解析ファイルとを使用し、
容易にファイル読み取り手段３１０を構築することがで
きる。

【００５０】構文解析手段３２０は、ファイル読み取り
手段３１０の字句解析によって分割されたトークンの構
文解析を行い、ＢＮＦ規則チェック表格納手段３６０を
通して、ＢＮＦ規則チェック表３３０中の該当するＢＮ
Ｆデータに対してチェックをつける。

【００５１】なお、構文解析手段３２０は、文法網羅率
計測器プログラム生成器１００が生成した構文解析手段
プログラムファイル２３０内のプログラムを解釈するこ
とにより動作を行う。

【００５２】構文解析手段３２０は、ファイル読み取り
手段３１０からトークンを受け取り、構文解析を行う。
この構文解析の結果、ＢＮＦファイル２２０で定義され
たＢＮＦ文法規則群の中のどのＢＮＦ文法規則に合致す
るかを判別することができる。そして、合致したＢＮＦ
文法規則に対するＢＮＦ規則チェック表３３０のエント
リにチェックをつけるよう、ＢＮＦ規則チェック表格納
手段３６０に依頼する。

【００５３】ＢＮＦ規則チェック表３３０は、以下のａ
〜ｃに示す３つの欄（ＢＮＦ規則番号，ＢＮＦデータ，
チェック部の３欄）で構成されるエントリを有するＢＮ
Ｆ文法規則の一覧表であり、ＢＮＦデータを管理する。

【００５４】ａ．「ＢＮＦ番号」欄これは、ＢＮＦデータに１から順に一意に与えられる識
別番号を示す欄である。この欄をキーとし、ＢＮＦ規則
チェック表３３０を検索することができる。ＢＮＦ規則
チェック表格納手段３６０が本欄の値を埋め込む。

【００５５】ｂ．「ＢＮＦデータ」欄これは、ＢＮＦデータを登録するための欄である。この
欄をキーとし、ＢＮＦ規則チェック表３３０を検索する
ことができる。ＢＮＦ規則チェック表格納手段３６０が
本欄の内容を埋め込む。

【００５６】ｃ．「チェック部」欄これは、ＢＮＦ文法規則に則る検査入力データ（テスト
用入力ファイル３９０内のデータ）が入力された場合
に、チェックがつけられる欄である。当初、全てのエン
トリの本欄にはチェックがついていない。構文解析手段
３２０が本欄のチェックをつける。

【００５７】なお、ＢＮＦ規則チェック表３３０に対し
て、ＢＮＦ番号を１から順に指定することにより、ＢＮ
Ｆ規則チェック表３３０中の全てのＢＮＦデータおよび
そのチェック内容をもれなく得ることができる。

【００５８】網羅率出力手段３４０は、構文解析手段３
２０がＢＮＦ規則チェック表３３０につけたチェックを
読み取り、網羅状況をＣＲＴ出力手段３５０を介してＣ
ＲＴ４００に表示する。

【００５９】すなわち、網羅率出力手段３４０は、ＢＮ
Ｆ番号を指定し、ＢＮＦ規則チェック表格納手段３６０
を介して、ＢＮＦ規則チェック表３３０から該当するＢ
ＮＦデータおよびそのチェック内容を得ることができ
る。

【００６０】また、網羅率出力手段３４０は、上記のよ
うにして得たＢＮＦデータをＢＮＦ文法規則としてＣＲ
Ｔ出力手段３５０を介してＣＲＴ４００に出力すること
ができる。その際に、「チェック部」欄にチェックがつ
いているＢＮＦ文法規則に印（マーク）をつけて出力す
る。

【００６１】さらに、網羅率出力手段３４０は、ＢＮＦ
データの総数とチェックつきのＢＮＦデータの数とをカ
ウントし、処理の終了時に当該カウントに基づいて網羅
率を計算し、ＣＲＴ出力手段３５０を介してＣＲＴ４０
０にその網羅率を出力する。

【００６２】ＣＲＴ出力手段３５０は、網羅率出力手段
３４０の要求に応じ、網羅率出力手段３４０が与えた文
字列をＣＲＴ４００に出力する。

【００６３】ＢＮＦ規則チェック表格納手段３６０は、
ＢＮＦ規則チェック表３３０のデータの内容を初期設定
し、かつ、他のモジュールからの要求に応じてＢＮＦ規
則チェック表３３０に読み書きを行う。

【００６４】なお、ＢＮＦ規則チェック表格納手段３６
０は、ＢＮＦ規則チェック表プログラムファイル２３０
内のプログラム（ＢＮＦ規則チェック表３３０の初期デ
ータを示すプログラム）に従い、ＢＮＦ規則チェック表
３３０の初期設定を行う。

【００６５】また、ＢＮＦ規則チェック表格納手段３６
０は、構文解析手段３２０が指定するＢＮＦ文法規則を
ＢＮＦ規則チェック表３３０の「ＢＮＦデータ」欄から
探し、対応する「チェック部」欄にチェックをつける。

【００６６】さらに、ＢＮＦ規則チェック表格納手段３
６０は、網羅率出力手段３４０の要求に従い、ＢＮＦ規
則チェック表３３０中のＢＮＦデータを渡したり、その
ＢＮＦデータの「チェック部」欄がチェック済みである
か否かを与える。

【００６７】ＢＮＦデータカウンタ３７０は、網羅率出
力手段３４０がＢＮＦデータの総数をカウントするため
の記憶領域である。

【００６８】チェックカウンタ３８０は、ＢＮＦ規則チ
ェック表３３０の「チェック部」欄にチェックがつけら
れたＢＮＦデータの数を網羅率出力手段３４０がカウン
トするための記憶領域である。

【００６９】図２は、図１中の文法網羅率計測器プログ
ラム生成器１００の処理を示す流れ図である。この処理
は、ＢＮＦファイル読み取りステップＡ１と、ＢＮＦデ
ータ作成ステップＡ２と、意味検査ステップＡ３と、エ
ラー有無判定ステップＡ４と、ＢＮＦデータ取り出しス
テップＡ５と、全ＢＮＦデータ取り出し終了判定ステッ
プＡ６と、ＢＮＦ規則チェック表プログラムコード生成
ステップＡ７と、ＢＮＦデータ取り出しステップＡ８
と、全ＢＮＦデータ取り出し終了判定ステップＡ９と、
ＢＮＦ文法規則作成・出力ステップＡ１０と、アクショ
ン部生成ステップＡ１１とからなる。

【００７０】図３は、図１中の文法網羅率計測器３００
の処理を示す流れ図である。この処理は、構文解析手段
プログラムファイル読み込みステップＢ１と、ＢＮＦ規
則チェック表プログラムファイル読み込みステップＢ２
と、テスト用入力ファイル読み取りステップＢ３と、フ
ァイル終了判定ステップＢ４と、テスト用入力ファイル
構文解析ステップＢ５と、ＢＮＦ規則チェック表チェッ
ク依頼ステップＢ６と、ＢＮＦ規則チェック表チェック
ステップＢ７と、次テスト用入力ファイル存在判定ステ
ップＢ８と、ＢＮＦ規則チェック表アクセスステップＢ
９と、未アクセスＢＮＦデータ存在判定ステップＢ１０
と、ＢＮＦデータカウンタ増加ステップＢ１１と、ＢＮ
Ｆデータ左辺値表示ステップＢ１２と、ＢＮＦデータ対
応チェック有無判定ステップＢ１３と、チェックカウン
タ増加ステップＢ１４と、チェック表示印表示ステップ
Ｂ１５と、ＢＮＦデータ右辺表示ステップＢ１６と、網
羅率計算ステップＢ１７と、網羅率表示ステップＢ１８
とからなる。

【００７１】図４は、ＢＮＦデータのデータ構造を示す
図である。

【００７２】図４に示すように、ＢＮＦデータは、左辺
値と右辺式との組で構成されている。例えば、ＢＮＦ文
法規則「segment::= SEGMENT segNo:e;」を表すＢＮＦ
データでは、「segment」が左辺値となり、「SEGMENT s
egNo:e;」が右辺式となる。

【００７３】右辺式は、０個以上の右辺からなる。例え
ば、先の例の右辺式は、「SEGMENT」および「segNo:e」
の２つの右辺を有する。

【００７４】右辺は、右辺値とオプションとの組で構成
される。例えば、右辺「segNo:e」では、「segNo」が右
辺値であり、「e」がオプションである。ここで、オプ
ションは省略可能である。例えば、右辺「SEGMENT」は
右辺値のみから構成される。

【００７５】ＯＲフラグおよびセミコロンフラグは、Ｂ
ＮＦデータを文字列にするときに使用される。元のＢＮ
Ｆ文法規則で左辺値の代わりに、「|」が使用されてい
る場合には、ＯＲフラグを「true」にする。さもなくば
「false」にする。また、元のＢＮＦ文法規則で行末に
「;」がついている場合には、セミコロンフラグを「tru
e」にする。さもなくば「false」にする。例えば、ＢＮ
Ｆ文法規則「bit ::= OPENPR integer CLOSEPR | ;」
は、２つのＢＮＦ文法規則の「bit ::= OPENPR integer
CLOSEPR」と「bit ::= 」とからなる。前者のＯＲフラ
グおよびセミコロンフラグは共に「false」であり、後
者のＯＲフラグおよびセミコロンフラグは共に「true」
である。

【００７６】図５〜図７は、ＢＮＦファイル２２０の具
体例を示す図である（図５〜図７に示す内容の全てによ
って１つのＢＮＦファイル２２０が構成されている）。

【００７７】図５〜図７に示されるように、ＢＮＦファ
イル２２０は、宣言部とＢＮＦ文法規則群とで構成され
ている。

【００７８】宣言部は、ＢＮＦ文法規則で使用される非
終端記号の宣言（ｎｏｎｔｅｒｍｉｎａｌ文）や終端
記号の宣言（ｔｅｒｍｉｎａｌ文）等の「ＢＮＦ文法規
則を解釈する上で必要となる諸設定」を行う。

【００７９】ＢＮＦ文法規則群は、検査対象の言語処理
システムが受理する文法を定義する。このＢＮＦ文法規
則群の中には、ＢＮＦ文法に合致する入力データを受理
したときの言語処理システムの振る舞いを定めるアクシ
ョン部が定義されている。ただし、文法網羅率計測器プ
ログラム生成器１００は、アクション部を無視して、Ｂ
ＮＦファイル２２０を解釈する。

【００８０】ファイル読み取り手段１１０は、ファイル
名格納手段１９０でファイル名が指定されたＢＮＦファ
イル２２０の中身をトークンと呼ぶ単語単位に切り分け
る。例えば、ＢＮＦファイル２２０がＢＮＦ文法規則
「segment::= SEGMENT segNo:e;」を有する場合を考え
る。この場合には、ファイル読み取り手段１１０は、こ
のＢＮＦ文法規則を、「segment」，「::=」，「SEGMEN
T」，「segNo」，「:」，「e」，および「;」というト
ークンに切り分ける。

【００８１】なお、ファイル読み取り手段１１０は、Ｂ
ＮＦファイル２２０中のコメント，空白，および空行等
の後続の処理に不要な内容については、トークンとせ
ず、後続のＢＮＦ構文解析手段１２０には情報を渡さな
い。

【００８２】また、ファイル読み取り手段１１０は、Ｂ
ＮＦ文法規則にアクション部がついている場合には、後
続のＢＮＦ構文解析手段１２０には情報を渡さない。例
えば、「segment::= SEGMENT segNo:e {: System.out.p
rintln("Segment no = " + e);:};」という入力データ
のように、「検査対象の言語処理システムがこの文法に
合致する入力を与えられると、画面に"Segment no = "
というメッセージとセグメント番号とを出力する動作」
がアクション部で定義されているとする。ちなみに、上
記の例におけるアクション部は、「{:」と「:}」とで囲
まれた部分である。このアクション部は、文法網羅率計
測器プログラム生成器１００には関係しない。したがっ
て、ファイル読み取り手段１１０は、この文法に関する
トークン「segment」，「::=」，「SEGMENT」，「segN
o」，「:」，「e」，および「;」のみをＢＮＦ構文解析
手段１２０に渡し、アクション部については無視する。

【００８３】図８〜図１０は、文法網羅率計測器３００
の出力の具体例を示す図である（図８〜図１０に示す内
容の全てによって１つの文法網羅率計測器出力例が構成
されている）。

【００８４】次に、図１〜図１０を参照して、上記のよ
うに構成された本実施の形態に係る文法網羅率計測方式
の全体の動作について詳細に説明する。

【００８５】第１に、本実施の形態に係る文法網羅率計
測方式における文法網羅率計測器プログラム生成器１０
０の全体の動作について詳細に説明する。

【００８６】文法網羅率計測器プログラム生成器１００
内のファイル読み取り手段１１０は、ＢＮＦファイル２
２０を文法網羅率計測器プログラム生成器１００に入力
し、そのＢＮＦファイル２２０を読み取り、各ＢＮＦ文
法規則をトークンに分割する（図２のステップＡ１）。

【００８７】例えば、ファイル読み取り手段１１０は、
ＢＮＦ文法規則「packages ::= package1:e1 packages:
e2|;」を入力すると、「packages」，「::=」，「packa
ge1」，「:」，「e1」，「packages」，「:」，「e
2」，および「;」というトークンに切り分ける。

【００８８】ＢＮＦ構文解析手段１２０は、ステップＡ
１で生成されたトークンを受け取り、当該ＢＮＦファイ
ル２２０の構文解析を行い、ＢＮＦ文法規則を表すＢＮ
Ｆデータを生成する（ステップＡ２）。

【００８９】先の例の場合には、２つのＢＮＦ文法規則
「packages ::= package1:e1 packages:e2」および「pa
ckages::=;」を表すＢＮＦデータを生成する。これらの
ＢＮＦ文法規則は、図４に示すような構造を有するＢＮ
Ｆデータを形成する。

【００９０】例えば、上例中の最初のＢＮＦ文法規則を
表すＢＮＦデータは、左辺値の「packages」と、２つの
右辺の「package1:e1」および「packages:e2」とから構
成されている。この場合には、ＢＮＦ文法規則の左辺値
は「|」を使って記述されていないので、ＯＲフラグは
「false」となる。さらに、右辺の「package1:e1」およ
び「packages:e2」は、右辺値とオプションとに分類で
きる。また、このＢＮＦ文法規則の右辺式の最後に
は「;」が付いていないので、セミコロンフラグは「fal
se」となる。

【００９１】さらに、例えば、上例中の２番目のＢＮＦ
文法規則を表すＢＮＦデータは、左辺値の「packages」
と、０個の右辺とから構成されている。この場合には、
ＢＮＦ文法規則の左辺値は「packages」の代わりに
「|」を使用して記述されているので、ＯＲフラグは「t
rue」となる。また、このＢＮＦ文法規則の右辺式の末
尾には「;」が付いているので、セミコロンフラグは「t
rue」となる。

【００９２】ＢＮＦ構文解析手段１２０は、上述のよう
にしてＢＮＦデータを生成するたびに、そのＢＮＦデー
タをＢＮＦ規則データベース１３０に蓄積（格納）する
（ステップＡ２）。

【００９３】例えば、先の例のＢＮＦ文法規則群に関し
ては、１番目のＢＮＦ文法規則「packages ::= package
1:e1 packages:e2」をＢＮＦデータに変換し、そのＢＮ
ＦデータをＢＮＦ規則データベース１３０に蓄積し、次
いで、２番目のＢＮＦ文法規則「packages::= ；」をＢ
ＮＦデータに変換し、そのＢＮＦデータをＢＮＦ規則デ
ータベース１３０に蓄積する。

【００９４】さらに、例えば、図５に示すように、ＢＮ
Ｆファイル２２０において、「package1::= PACKAGE pa
ckageName:e1 BEGIN attributeBody:e2 actionBody:e3
notificationBody:e4 END;」というＢＮＦ文法規則が上
例に続いていれば、これをＢＮＦデータに変換し、その
ＢＮＦデータをＢＮＦ規則データベース１３０に蓄積す
る。

【００９５】ＢＮＦ意味検査器１４０は、ＢＮＦ規則デ
ータベース１３０に格納されているＢＮＦデータにアク
セスする。これにより、ＢＮＦファイル２２０内の各Ｂ
ＮＦ文法規則が意味的に正しいか否かを検査する（ステ
ップＡ３）。

【００９６】例えば、ＢＮＦ文法規則中の左辺値は、あ
らかじめ、非終端記号であるという宣言をする必要があ
る。したがって、当該宣言なしに記述されている左辺値
があれば、当該ＢＮＦ文法規則は意味的にエラー（意味
的な不整合）となる。

【００９７】ＢＮＦ意味検査器１４０は、このようなエ
ラーを発見すると、適切なエラーメッセージを表示手段
２１０に出力（表示）する（ステップＡ３）。その際
に、エラーファイル名についてはファイル名格納手段１
９０を参照することで、エラー行番号については行番号
カウンタ２００を参照することで、エラー発生個所を特
定して、上記の表示を行うことができる。

【００９８】ＢＮＦ意味検査器１４０は、ステップＡ３
の意味検査が終了した際に、１つ以上の意味的な不整合
を発見したか否か（エラーの有無）を判定する（ステッ
プＡ４）。

【００９９】ステップＡ４で「ＢＮＦファイル２２０が
意味的に正しくない」と判定された場合（エラーがあっ
た場合）には、文法網羅率計測器プログラム生成器１０
０はその稼動を停止する（処理を終了する）。

【０１００】一方、ステップＡ４で「ＢＮＦ意味検査器
１４０による意味検査が終了し、ＢＮＦファイル２２０
中の全ＢＮＦ文法規則が意味的に正しいことが判明し
た」と判定された場合（エラーがなかった場合）には、
ＢＮＦ規則チェック表生成手段１６０は、ＢＮＦ規則デ
ータベース１３０中のＢＮＦデータにアクセスし、以下
のａ〜ｃに示すようにして、ＢＮＦ規則チェック表３３
０を実現するプログラム（ＢＮＦ規則チェック表プログ
ラム）を生成する。

【０１０１】ａ．適当な順番で、ＢＮＦ規則データベー
ス１３０からＢＮＦデータを取り出す（ステップＡ
５）。

【０１０２】ｂ．取り出した順番にＢＮＦデータにＢＮ
Ｆ番号を与え、ＢＮＦデータとともにＢＮＦ番号をＢＮ
Ｆ規則チェック表３３０に挿入して行くコード（ＢＮＦ
規則チェック表プログラム中のコード）を生成する（ス
テップＡ７）。その際に、「チェック部」欄は空白にす
るように、当該コードを生成する。

【０１０３】ｃ．上記の一連の操作（ステップＡ５およ
びステップＡ７）を、ＢＮＦ規則データベース１３０中
の全てのＢＮＦデータを１回取り出すまで繰り返す（ス
テップＡ６）。

【０１０４】続いて、構文解析手段生成手段１５０は、
以下のａ〜ｄに示すようにして、構文解析手段３２０を
実現するプログラム（構文解析手段プログラム）を生成
する。

【０１０５】ａ．適当な順番で、ＢＮＦ規則データベー
ス１３０からＢＮＦデータを取り出す（ステップＡ
８）。

【０１０６】ｂ．ステップＡ８で取り出したＢＮＦデー
タが表すＢＮＦ文法規則を生成し、構文解析手段プログ
ラムに出力する（ステップＡ１０）。

【０１０７】ｃ．ステップＡ８で取り出したＢＮＦデー
タが表すＢＮＦ文法規則に合致する入力データを文法網
羅率計測器３００が受け付けた場合の振る舞いを示すコ
ードを、当該ＢＮＦ文法規則のアクション部として生成
・出力する（ステップＡ１１）。このアクション部のコ
ードは、ＢＮＦ規則チェック表３３０で当該ＢＮＦ文法
規則を表すエントリ中の「チェック部」欄にチェックを
つけるコードである。

【０１０８】ｄ．上記の一連の操作（ステップＡ８，ス
テップＡ１０，およびステップＡ１１）を、ＢＮＦ規則
データベース１３０中の全てのＢＮＦデータを１回取り
出すまで繰り返す（ステップＡ９）。

【０１０９】第２に、本実施の形態に係る文法網羅率計
測方式における文法網羅率計測器３００（文法網羅率計
測器プログラム生成器１００が生成したプログラムに基
づく文法網羅率計測器３００）の全体の動作について詳
細に説明する。

【０１１０】まず、初期設定（図３のステップＢ１およ
びステップＢ２参照）が、以下のａおよびｂに示すよう
にして行われる。

【０１１１】ａ．文法網羅率計測器３００内の構文解析
手段３２０は、構文解析手段プログラムファイル２３０
を読み込み、テスト用入力ファイル３９０の文法を表す
ＢＮＦ文法規則とそのＢＮＦ文法規則に合致する入力デ
ータを受理したときの振るまいであるアクション部とを
有する構文解析手段プログラムを得る（ステップＢ
１）。構文解析手段３２０は、この読み込みにより、テ
スト用入力ファイル３９０の構文解析手順を得て、それ
に従い構文解析を行う。

【０１１２】ｂ．ＢＮＦ規則チェック表格納手段３６０
は、ＢＮＦ規則チェック表プログラムファイル２４０を
読み込み、ＢＮＦ規則チェック表３３０の初期データを
設定する（ステップＢ２）。これにより、ＢＮＦファイ
ル２２０中の全てのＢＮＦ文法規則を示すＢＮＦデータ
が、ＢＮＦ規則チェック表３３０に格納される。このと
き、ＢＮＦ規則チェック表３３０の各エントリの「チェ
ック部」欄は空となる。

【０１１３】以上の初期設定の終了後に、ファイル読み
取り手段３１０は、各テスト用入力ファイル３９０内の
データの読み取りを、当該テスト用入力ファイル３９０
の読み取りが終了するまで（ステップＢ４で「ファイル
終了」と判定されるまで）行う（ステップＢ３）。

【０１１４】ファイル読み取り手段３１０は、ステップ
Ｂ３で読み込んだデータの字句解析を行い、テスト用入
力ファイル３９０内の当該データをトークンに分割した
上で、後続の構文解析手段３２０に渡す。

【０１１５】ファイル読み取り手段３１０は、ステップ
Ｂ４で「ファイル終了ではない」と判定した場合には、
構文解析手段３２０によるステップＢ５の処理に制御を
渡す。

【０１１６】構文解析手段３２０は、構文解析手段プロ
グラムファイル２３０の内容に従い、テスト用入力ファ
イル３９０内のデータ（ファイル読み取り手段３１０か
ら渡されたデータ）の構文解析を行う（ステップＢ
５）。

【０１１７】構文解析手段３２０は、ステップＢ５の構
文解析の際において「合致（適応）したＢＮＦ文法規
則」に対応するＢＮＦ規則チェック表３３０中のエント
リの「チェック部」欄にチェックをつけるように、ＢＮ
Ｆ規則チェック表格納手段３６０に依頼する（ステップ
Ｂ６）。

【０１１８】ＢＮＦ規則チェック表格納手段３６０は、
ステップＢ６の依頼に基づき、ＢＮＦ規則チェック表３
３０内の該当するエントリ中の「チェック部」欄にチェ
ックをつける（ステップＢ７）。

【０１１９】ステップＢ７の処理が終了すると、ステッ
プＢ３の処理が実行され、上記のステップＢ３〜ステッ
プＢ７の処理が繰り返される。

【０１２０】なお、ファイル読み取り手段３１０は、当
該テスト用入力ファイル３９０の全データを読み取り終
わった場合（ステップＢ４で「ファイル終了」と判定し
た場合）には、ステップＢ８に進む。

【０１２１】ステップＢ８では、ファイル読み取り手段
３１０は、テスト用入力ファイル３９０が他にも存在す
るか否かを調べる。

【０１２２】ファイル読み取り手段３１０は、ステップ
Ｂ８で「他のテスト用入力ファイル３９０が存在する」
と判定した場合には、新たなテスト用入力ファイル３９
０に対してステップＢ３からの処理を繰り返す。

【０１２３】一方、ファイル読み取り手段３１０は、ス
テップＢ８で「他のテスト用入力ファイル３９０が存在
しない」と判定した場合には、網羅率出力手段３４０に
制御を渡す。

【０１２４】網羅率出力手段３４０は、以下のａ〜ｉに
示すステップＢ９以降の処理によって、網羅状況を示す
情報を出力する処理を行う。

【０１２５】ａ．ＢＮＦ番号の１から順に、ＢＮＦ規則
チェック表格納手段３６０を通し、ＢＮＦ規則チェック
表３３０にアクセスし、ＢＮＦデータおよびそのチェッ
クの有無を得る（ステップＢ９）。

【０１２６】ｂ．次に、直前のステップＢ９の処理にお
いてアクセスしていないＢＮＦデータが残っていたか否
か（全てのＢＮＦデータにアクセスし終わっていなかっ
たかどうか）を判定する（ステップＢ１０）。

【０１２７】ｃ．ステップＢ１０で「アクセスしていな
いＢＮＦデータが残っており直前のステップＢ９でアク
セスできた」と判定した場合には、ステップＢ１１に進
み、ＢＮＦデータカウンタ３７０の値を１増加させる。
このようＢＮＦデータカウンタ３７０の値の増加によ
り、ＢＮＦデータの総個数をカウントしていく。

【０１２８】ｄ．ステップＢ９で得たＢＮＦデータのＯ
Ｒフラグが「false」の場合には、ＣＲＴ出力手段３５
０を介し、ＣＲＴ４００に当該ＢＮＦデータの左辺値を
表示する（ステップＢ１２）。また、当該ＯＲフラグが
「true」の場合には、ＣＲＴ出力手段３５０を介し、Ｃ
ＲＴ４００に「|」を表示する（ステップＢ１２）。

【０１２９】ｅ．ステップＢ９で得たＢＮＦデータに対
する「チェック部」欄（当該ＢＮＦデータを有するエン
トリ中の「チェック部」欄）におけるチェックの有無を
調べる（ステップＢ１３）。

【０１３０】ｆ．ステップＢ１３で「当該ＢＮＦデータ
に対してチェックがある」と判定した場合には、チェッ
クカウンタ３８０の値を１増加させる（ステップＢ１
４）。このようなチェックカウンタ３８０の値の増加に
より、チェックのついたＢＮＦデータをカウントしてい
く。ここで、「チェックのついたＢＮＦデータによって
表されるＢＮＦ文法規則」は、テスト用入力データ３９
０に網羅されたＢＮＦ文法規則を意味する。

【０１３１】ｇ．さらに、ＣＲＴ出力手段３５０を介
し、ステップＢ１３で「チェックがある」と判定された
ＢＮＦデータによって表されるＢＮＦ文法規則の横にチ
ェックを表す印（マーク）をＣＲＴ４００上に表示する
（ステップＢ１５）。このマークは、当該ＢＮＦ文法規
則が網羅されているものであることを、ユーザに提示す
るものである。例えば、図８〜図１０の文法網羅率計測
器出力例で「*」がついているＢＮＦ文法規則が「網羅
されたＢＮＦ文法規則」である。

【０１３２】ｈ．ステップＢ１３で「当該ＢＮＦデータ
に対してチェックがない」と判定した場合またはステッ
プＢ１５の処理を終了した場合には、当該ＢＮＦデータ
の右辺を文字列に変換し、ＣＲＴ出力手段３５０に伝
え、ＣＲＴ４００に表示する（ステップＢ１６）。ここ
で、もし、チェックを表す記号が出力されているなら
ば、その横に配置するようにステップＢ１６の出力（表
示）を行う。

【０１３３】ｉ．ステップＢ１６の処理の終了後に、ス
テップＢ９の処理に戻り、ステップＢ９以下の処理を繰
り返す。

【０１３４】一方、網羅率出力手段３４０は、ステップ
Ｂ１０で「全てのＢＮＦデータにアクセスし終わった」
と判定した場合には、以下のａおよびｂに示す網羅率の
計算処理および表示処理を行う。

【０１３５】ａ．ＢＮＦデータカウンタ３７０およびチ
ェックカウンタ３８０の値に基づいて網羅率を計算する
（ステップＢ１７）。すなわち、チェックカウンタ３８
０の値をＢＮＦデータカウンタ３７０の値で割ることに
より、網羅率を算出する。

【０１３６】ｂ．ＣＲＴ出力手段３５０を介し、ステッ
プＢ１７で計算した網羅率をＣＲＴ４００に表示する
（ステップＢ１８）。

【０１３７】以上で、文法網羅率計測器３００の処理が
終了する。

【０１３８】第３に、具体例を用いて、文法網羅率計測
器プログラム生成器１００の具体的な動作について説明
する。なお、この例では、検査対象の言語処理システム
に入力される言語文法が、図５〜図７に示すＢＮＦファ
イル２２０（ＢＮＦファイル「sample.bnf」）を記述す
る文法であるものとする。

【０１３９】ここで、図１１は、文法網羅率計測器プロ
グラム生成器１００において生成されるＢＮＦデータの
具体例を示す図である。

【０１４０】文法網羅率計測器プログラム生成器１００
は、このＢＮＦファイル２２０を入力する。

【０１４１】なお、このＢＮＦファイル２２０のファイ
ル名「sample.bnf」は、あらかじめファイル名格納手段
１９０に格納されている。また、行番号カウンタ２００
の値は０に初期設定されている。

【０１４２】ファイル読み取り手段１１０は、このＢＮ
Ｆファイル２２０を字句解析し、トークンに分割する
（図２のステップＡ１）。

【０１４３】例えば、図５〜図７のＢＮＦファイル２２
０のうちのＢＮＦ文法規則「bit ::=OPENPR integer CL
OSEPR | ;」を字句解析すると、「bit」，「::=」，「O
PENPR」，「integer」，「CLOSEPR」，「|」，およ
び「;」というトークンに分割する。

【０１４４】この際、ＢＮＦファイル２２０を１行読む
毎に、ファイル読み取り手段１１０は行番号カウンタ２
００の値を１加算していく。

【０１４５】ＢＮＦ構文解析手段１２０は、これらのト
ークンを構文解析し、図１１に示されるＢＮＦデータを
生成する（ステップＡ２）。上例の場合、「bit ::= OP
ENPRinteger CLOSEPR」および「bit ::=」というの２つ
のＢＮＦ文法規則が存在するため、図１１に示す２つの
ＢＮＦデータとなる。

【０１４６】ＢＮＦ構文解析手段１２０は、これらの２
つのＢＮＦデータをＢＮＦ規則データベース１３０に格
納する（ステップＡ２）。

【０１４７】全ての構文解析が終了すると、ＢＮＦ意味
検査器１４０は、ＢＮＦ規則データベース１３０に蓄積
された各ＢＮＦデータが意味的に正しいか否かを検査し
ていく（ステップＡ３）。

【０１４８】例えば、トークン「bit」が非終端記号と
して定義されているか否かを調べ、「sample.bnf」とい
うファイル名のＢＮＦファイル２２０中に「non termin
al … bit, …;」と定義されているため、「意味エラー
とはならない」と判定する。

【０１４９】全てのＢＮＦデータに対して意味検査が終
了すると、ＢＮＦ規則チェック表生成手段１６０は、Ｂ
ＮＦ規則チェック表３３０に埋めるべきコードを作成す
る（ステップＡ５〜ステップＡ７）。

【０１５０】ここで、ＢＮＦ規則チェック表生成手段１
６０は、ＢＮＦ構文解析手段１２０がＢＮＦ規則データ
ベース１３０にＢＮＦデータを格納した順番と同じ順番
で、ＢＮＦ規則データベース１３０からＢＮＦデータを
全て取り出す。

【０１５１】例えば、ＢＮＦ規則チェック表生成手段１
６０がＢＮＦデータ「bit ::= OPENPRinteger CLOSEP
R」を、仮にｎ番目（ｎは正整数）に扱ったとすると、
(ＢＮＦ番号, ＢＮＦデータ, チェック部) の３つ組
（n, bit ::= OPENPR integer CLOSEPR, ""）をＢＮＦ
規則チェック表３３０に登録するコードとして生成し
（「チェック部」欄の""は空白を示す）、ファイル出力
手段１８０を介して、ＢＮＦ規則チェック表プログラム
ファイル２４０に出力する。

【０１５２】また、ＢＮＦデータ「bit ::= ;」につい
ては、（n+1, bit ::=, ""）をＢＮＦ規則チェック表３
３０に登録するコードとして生成し、ファイル出力手段
１８０を介して、ＢＮＦ規則チェック表プログラムファ
イル２４０に出力する。

【０１５３】ＢＮＦ規則チェック表生成手段１６０が全
てのＢＮＦデータに対してＢＮＦ規則チェック表３３０
に埋めるコードを作成し終えると、構文解析手段生成手
段１５０が構文解析手段プログラムファイル２３０内の
プログラムを生成する（ステップＡ８〜ステップＡ１
１）。

【０１５４】例えば、ＢＮＦデータ「bit ::= OPENPR i
nteger CLOSEPR」に対して、ＢＮＦ文法規則を表す文字
列「bit ::= OPENPR integer CLOSEPR」を出力し（ステ
ップＡ１０）、そのアクション部を出力する。アクショ
ン部としては、ＢＮＦ規則チェック表３３０からＢＮＦ
データ「bit ::= OPENPR integer CLOSEPR」のエントリ
を見つけ、それに対する「チェック部」欄にチェックを
つけるコードを出力する（ステップＡ１１）。このアク
ション部は、文法網羅率測定器３００に、ＢＮＦ文法規
則「bit ::= OPENPR integer CLOSEPR」に合致するテス
ト用入力ファイル３９０中の構文（データ）が与えられ
たときに起動する。

【０１５５】第４に、具体例を用いて、文法網羅率計測
器３００の具体的な動作について説明する。

【０１５６】まず、ＢＮＦ規則チェック表格納手段３６
０は、ＢＮＦ規則チェック表プログラムファイル２３０
に基づき、ＢＮＦ規則チェック表３３０の初期設定を行
う（図３のステップＢ２）。例えば、(n, bit ::= OPEN
PR integer CLOSEPR, "")の３つ組からなるデータ（エ
ントリ）をＢＮＦ規則チェック表３３０に追加する。

【０１５７】上記の初期設定や構文解析手段３２０によ
る初期設定の後に、文法網羅率計測器３００は、テスト
用入力ファイル３９０を入力する（ステップＢ３）。

【０１５８】例えば、テスト用入力ファイル３９０の中
に「LENGTH 4 (3);」という行があったとする。この行
の「(3)」は、ＢＮＦ文法規則「bit ::= OPENPR intege
r CLOSEPR」に合致する。

【０１５９】このとき、ファイル読み取り手段３１０
は、テスト用入力ファイル３９０から「(3)」を読み取
り、トークン「(」，「3」，および「)」に分割する。
ここで、「(」は「OPENPR」に該当し、「3」は「intege
r」に該当し、「)」は「CLOSEPR」に該当する。

【０１６０】構文解析手段３２０は、ステップＢ１で読
み込んだ構文解析手段プログラムファイル２３０に従い
構文解析を行い（ステップＢ５）、上記のトークン列は
ＢＮＦ文法規則「bit ::= OPENPR integer CLOSEPR」に
合致することを認識し、そのＢＮＦ文法規則に対するア
クション部を実行する。このアクション部は、ＢＮＦ規
則チェック表格納手段３６０を介して、ＢＮＦ規則チェ
ック表３３０のエントリ(n, bit ::= OPENPR integer C
LOSEPR, "")の「チェック部」欄にチェックをつけ、(n,
bit ::= OPENPR integer CLOSEPR, "OK")とする（ステ
ップＢ６およびステップＢ７）。なお、ここでは、「O
K」がチェックを示すマークであるとする。

【０１６１】構文解析手段３２０が全てのテスト用入力
ファイル３９０の構文解析を終えた後に、網羅率出力手
段３４０が、ＢＮＦ規則チェック表格納手段３６０を介
して、ＢＮＦ規則チェック表３３０中の全てのエントリ
のデータ（ＢＮＦデータおよびそのチェックの有無）
に、ＢＮＦ番号の１から順にアクセスする（ステップＢ
９）。

【０１６２】また、網羅率出力手段３４０は、ＢＮＦデ
ータにアクセスするたびに、ＢＮＦデータカウンタ３７
０を１増加させる（ステップＢ１１）。

【０１６３】その上で、例えば、網羅率出力手段３４０
は、以下のａ〜ｈに示すような処理を行う。

【０１６４】ａ．ＢＮＦ規則チェック表３３０中のＢＮ
Ｆ番号ｎをアクセスすると、エントリ（n, bit ::= OPE
NPR integer CLOSEPR, "OK"）を得る。

【０１６５】ｂ．そして、ＯＲフラグが「false」なの
で、ＣＲＴ出力手段３５０を介して、ＣＲＴ４００にＢ
ＮＦデータの左辺値「bit」を出力する（ステップＢ１
２）。

【０１６６】ｃ．また、エントリ（n, bit ::= OPENPR
integer CLOSEPR, "OK"）の「チェック部」欄はチェッ
ク済みなので、チェックカウンタ３８０の値を１増加さ
せる（ステップＢ１４）。

【０１６７】ｄ．さらに、ＣＲＴ出力手段３５０を介し
て、チェック済みを示す印（マーク）の「*」をＣＲＴ
４００に出力する（ステップＢ１５）。

【０１６８】ｅ．またさらに、ＣＲＴ出力手段３５０を
介して、右辺式「OPENPR integer CLOSEPR」をＣＲＴ４
００に出力する（ステップＢ１６）。なお、セミコロン
フラグが「false」なので、「;」は出力しない。

【０１６９】ｆ．上記のＢＮＦ番号ｎに続いて、ＢＮＦ
番号ｎ＋１をアクセスすると、エントリ（n+1, bit ::=
OPENPR integer CLOSEPR, ""）を得る。

【０１７０】ｇ．そして、ＯＲフラグが「true」なの
で、ＣＲＴ出力手段３５０を介して、ＣＲＴ４００に
「|」を出力する（ステップＢ１２）。このとき、「チ
ェック部」欄にチェックがないので、チェックカウンタ
３８０の値の増加や、印「*」の出力を行わない。

【０１７１】ｈ．また、セミコロンフラグが「true」な
ので、ＣＲＴ出力手段３５０を介して、右辺式「;」を
ＣＲＴ４００に出力する（ステップＢ１６）。

【０１７２】以上のようにして、網羅率出力手段３４０
は、全てのＢＮＦデータにアクセスし終えると、チェッ
クカウンタ３８０の値をＢＮＦデータカウンタ３７０の
値で割って網羅率を計算し（ステップＢ１７）、算出し
た網羅率をＣＲＴ出力手段３５０を介してＣＲＴ４００
に出力する（ステップＢ１８）。

【０１７３】（２）第２の実施の形態図１２は、本発明の第２の実施の形態に係る文法網羅率
計測方式の構成を示すブロック図である。

【０１７４】図１２を参照すると、本実施の形態に係る
文法網羅率計測方式は、文法網羅率計測器プログラム生
成器５００と、文法網羅率計測器３００と、ＢＮＦファ
イル２２０と、構文解析手段プログラムファイル２３０
と、ＢＮＦ規則チェック表プログラムファイル２４０
と、テスト用入力ファイル３９０と、ＣＲＴ４００とを
含んで構成されている。

【０１７５】文法網羅率計測器プログラム生成器５００
は、ファイル読み取り手段１１０と、ＢＮＦ構文解析手
段１２０と、ＢＮＦ規則データベース１３０と、構文解
析手段生成手段１５０と、ＢＮＦ規則チェック表生成手
段１６０と、ファイル出力手段１７０と、ファイル出力
手段１８０とを含んで構成されている。

【０１７６】なお、文法網羅率計測器プログラム生成器
５００以外の構成要素は、第１の実施の形態に係る文法
網羅率計測方式の構成要素と同一のものである。

【０１７７】図１２を参照すると、本発明の第２の実施
の形態における文法網羅率計測器プログラム生成器５０
０は、図１中の文法網羅率計測器プログラム生成器１０
０（第１の実施の形態における文法網羅率計測器プログ
ラム生成器１００）に対して、ＢＮＦ意味検査器１４
０，ファイル名格納手段１９０，行番号カウンタ２０
０，および表示手段２１０を省いた点で異なっている。

【０１７８】図１３は、図１２中の文法網羅率計測器プ
ログラム生成器５００の処理を示す流れ図である。この
処理は、ＢＮＦファイル読み取りステップＡ１と、ＢＮ
Ｆデータ作成ステップＡ２と、ＢＮＦデータ取り出しス
テップＡ５と、全ＢＮＦデータ取り出し終了判定ステッ
プＡ６と、ＢＮＦ規則チェック表プログラムコード生成
ステップＡ７と、ＢＮＦデータ取り出しステップＡ８
と、全ＢＮＦデータ取り出し終了判定ステップＡ９と、
ＢＮＦ文法規則作成・出力ステップＡ１０と、アクショ
ン部生成ステップＡ１１とからなる。

【０１７９】次に、図１２および図１３を参照して、本
実施の形態に係る文法網羅率計測方式の全体の動作につ
いて説明する。

【０１８０】図１３中のステップＡ１，Ａ２，およびＡ
５〜Ａ１１で示される本実施の形態の動作は、図２中の
ステップＡ１，Ａ２，およびＡ５〜Ａ１１で示される第
１の実施の形態の動作と同一であるため、これらの動作
については説明を省略する。

【０１８１】第１の実施の形態では、ステップＡ２の処
理の後に、ＢＮＦ意味検査器１４０よる意味検査が行わ
れていた。

【０１８２】これに対して、本実施の形態では、ステッ
プＡ２の処理の後に、ＢＮＦ意味検査器１４０による意
味検査が行われずに、ステップＡ５の処理に移行する。

【０１８３】次に、本実施の形態に係る文法網羅率計測
方式の効果について説明する。

【０１８４】本実施の形態では、ＢＮＦ意味検査器１４
０が省かれているため、意味検査の処理を行わずに済
み、より高速に文法網羅率測定器３００を実現するため
のプログラムを生成することができる。

【０１８５】なお、ＢＮＦファイル２２０は、検査対象
の言語処理システムの開発に使用されており、その段階
で、意味的にも正しいことが保証されている。そのた
め、言語処理システム開発に使用されたＢＮＦファイル
と同一のファイルをＢＮＦファイル２２０として使用す
る限り、本実施の形態のようにＢＮＦファイル２２０に
対する意味検査工程を省略しても問題が発生しない蓋然
性が高い。

【０１８６】（３）第３の実施の形態図１４は、本発明の第３の実施の形態に係る文法網羅率
計測方式の構成を示すブロック図である。

【０１８７】図１４を参照すると、本実施の形態に係る
文法網羅率計測方式は、文法網羅率計測器プログラム生
成器１００／５００（図１中の文法網羅率計測器プログ
ラム生成器１００であっても図１２中の文法網羅率計測
器プログラム生成器５００であっても可能であることを
意味する）と、文法網羅率計測器７００と、ＢＮＦファ
イル２２０と、構文解析手段プログラムファイル２３０
と、ＢＮＦ規則チェック表プログラムファイル２４０
と、テスト用入力ファイル３９０と、網羅状況報告ファ
イル７２０とを含んで構成されている。

【０１８８】文法網羅率計測器７００は、ファイル読み
取り手段３１０と、構文解析手段３２０と、ＢＮＦ規則
チェック表３３０と、網羅率出力手段３４０と、ＢＮＦ
規則チェック表格納手段３６０と、ＢＮＦデータカウン
タ３７０と、チェックカウンタ３８０と、ファイル出力
手段７１０とを含んで構成されている。

【０１８９】なお、文法網羅率計測器７００および網羅
状況報告ファイル７２０以外の構成要素は、第１の実施
の形態／第２の実施の形態に係る文法網羅率計測方式の
構成要素と同一のものである。

【０１９０】図１４を参照すると、本発明の第３の実施
の形態は、第１の実施の形態／第２の実施の形態におけ
る文法網羅率計測器３００内のＣＲＴ出力手段３５０お
よびＣＲＴ４００の代わりに、文法網羅率計測器７００
内のファイル出力手段７１０および網羅状況報告ファイ
ル７２０とを設けている点で、第１の実施の形態／第２
の実施の形態と異なっている。

【０１９１】ファイル出力手段７１０は網羅率出力手段
３４０が生成した網羅状況を示す情報（ＢＮＦ文法規則
および網羅個所の印）および網羅率を文字列の形で受け
取り、それらを示す情報（文法網羅率測定器７００が測
定した結果）を網羅状況報告ファイル７２０として出力
する。

【０１９２】網羅状況報告ファイル７２０は、文法網羅
率測定器７００が測定した結果を内容とするファイルで
ある。

【０１９３】図１５は、図１４中の文法網羅率計測器７
００の処理を示す流れ図である。この処理は、構文解析
手段プログラムファイル読み込みステップＢ１と、ＢＮ
Ｆ規則チェック表プログラムファイル読み込みステップ
Ｂ２と、テスト用入力ファイル読み取りステップＢ３
と、ファイル終了判定ステップＢ４と、テスト用入力フ
ァイル構文解析ステップＢ５と、ＢＮＦ規則チェック表
チェック依頼ステップＢ６と、ＢＮＦ規則チェック表チ
ェックステップＢ７と、次テスト用入力ファイル存在判
定ステップＢ８と、ＢＮＦ規則チェック表アクセスステ
ップＢ９と、未アクセスＢＮＦデータ存在判定ステップ
Ｂ１０と、ＢＮＦデータカウンタ増加ステップＢ１１
と、ＢＮＦデータ左辺値網羅状況報告ファイル出力ステ
ップＤ１と、ＢＮＦデータ対応チェック有無判定ステッ
プＢ１３と、チェックカウンタ増加ステップＢ１４と、
チェック表示印網羅状況報告ファイル出力ステップＤ２
と、ＢＮＦデータ右辺網羅状況報告ファイル出力ステッ
プＤ３と、網羅率計算ステップＢ１７と、網羅率網羅状
況報告ファイル出力ステップＤ４とからなる。

【０１９４】次に、図１４および図１５を参照して、本
実施の形態に係る文法網羅率計測方式の全体の動作につ
いて説明する。

【０１９５】図１５中のステップＢ１〜Ｂ１１，Ｂ１
３，Ｂ１４，およびＢ１７で示される本実施の形態の動
作は、図３中のステップＢ１〜Ｂ１１，Ｂ１３，Ｂ１
４，およびＢ１７で示される第１の実施の形態の動作と
同一であるため、これらの動作については説明を省略す
る。

【０１９６】ここで、以下のａ〜ｄに、本実施の形態に
係る文法網羅率計測方式における文法網羅率計測器７０
０の独特な動作（第１の実施の形態／第２の実施の形態
における文法網羅率計測器３００とは異なる動作）につ
いて列挙する。

【０１９７】ａ．第１の実施の形態／第２の実施の形態
では、ステップＢ１２にて、網羅率出力手段３４０が、
ＯＲフラグに応じて、ＢＮＦデータの左辺値を表す文字
列または文字列「|」をＣＲＴ出力手段３５０を介しＣ
ＲＴ４００に表示していた。これに対して、本実施の形
態では、網羅率出力手段３４０が、ＯＲフラグに応じ
て、ＢＮＦデータの左辺値を表す文字列または文字列
「|」をファイル出力手段７１０を介し網羅状況報告フ
ァイル７２０に出力する（図１５のステップＤ１）。

【０１９８】ｂ．第１の実施の形態／第２の実施の形態
では、ステップＢ１５にて、網羅率出力手段３４０が、
ＢＮＦ文法規則の横にチェックを表す印をＣＲＴ出力手
段３５０を介しＣＲＴ４００に表示していた。これに対
して、本実施の形態では、網羅率出力手段３４０が、Ｂ
ＮＦ文法規則の横にチェックを表す印をファイル出力手
段７１０を介し網羅状況報告ファイル７２０に出力する
（ステップＤ２）。

【０１９９】ｃ．第１の実施の形態／第２の実施の形態
では、ステップＢ１６にて、網羅率出力手段３４０が、
ＢＮＦデータの右辺をＣＲＴ出力手段３５０に伝え、Ｃ
ＲＴ４００に表示していた。これに対して、本実施の形
態では、網羅率出力手段３４０が、ＢＮＦデータの右辺
を表す文字列をファイル出力手段７１０に伝え、網羅状
況報告ファイル７２０に出力する（ステップＤ３）。

【０２００】ｄ．第１の実施の形態／第２の実施の形態
では、ステップＢ１８にて、網羅率出力手段３４０が、
網羅率をＣＲＴ出力手段３５０を介しＣＲＴ４００に表
示していた。これに対して、本実施の形態では、網羅率
出力手段３４０が、網羅率をファイル出力手段７１０を
介し網羅状況報告ファイル７２０に出力する（ステップ
Ｄ４）。

【０２０１】次に、本実施の形態に係る文法網羅率計測
方式の具体的な動作について説明する。

【０２０２】例えば、ＢＮＦ文法規則「attributes ::=
attribute SEMICOLON attributes」が、「チェック
部」欄にチェックがあるＢＮＦデータのＢＮＦ文法規
則、つまり、網羅済みのＢＮＦ文法規則であるとする。

【０２０３】網羅率出力手段３４０は、ＢＮＦデータの
左辺値を表す文字列「attributes」をファイル出力手段
７１０に伝え、当該ＢＮＦ文法規則に関する網羅状況を
示す情報を網羅状況報告ファイル７２０に出力する（ス
テップＤ１）。

【０２０４】ここで、本ＢＮＦ文法規則はチェック済み
なので、ステップＢ１４およびステップＤ２の処理に進
む（ステップＢ１３）。

【０２０５】網羅率出力手段３４０は、チェックカウン
タを１増加させ（ステップＢ１４）、その後に、ＢＮＦ
データが網羅されていることを表す文字列「*」をファ
イル出力手段７１０に伝え、その文字列を網羅状況報告
ファイル７２０に出力する（ステップＤ２）。

【０２０６】さらに、網羅率出力手段３４０は、ＢＮＦ
データの右辺を表す文字列「attribute SEMICOLON attr
ibutes」をファイル出力手段７１０に伝え、網羅状況報
告ファイル７２０に出力する（ステップＤ３）。

【０２０７】最後に、網羅率の表示に関するステップＤ
４について述べる。ステップＢ１７において、網羅率を
計算したところ、３４％だとする。このときに、網羅率
出力手段３４０は、ファイル出力手段７１０を介し文字
列「34%」を網羅状況報告ファイル７２０に出力する
（ステップＤ４）。

【０２０８】次に、本実施の形態に係る文法網羅率計測
方式における特有の効果について説明する。

【０２０９】図８〜図１０の文法網羅率計測器出力例で
示されるように、網羅状況の報告に関するデータは長大
になる。そこで、本実施の形態のように当該データをフ
ァイル（網羅状況報告ファイル７２０）に収めることに
より、ユーザにとって非網羅箇所の検出が容易になると
いう効果が生じる。すなわち、ユーザにとって、テキス
トエディタ等を介し当該ファイルにアクセスする方が、
非網羅個所の発見に役にたつ。

【０２１０】（４）第１の実施の形態および第２の実
施の形態の変形形態（拡張形態）上述の第１の実施の形態および第２の実施の形態に係る
文法網羅率計測方式に対しては、ＣＲＴ４００を他の出
力装置に変えるという変形形態を考えることができる。
他の出力装置としては、例えば、プリンタが考えられ
る。この場合には、ＣＲＴ出力手段３５０は当該出力装
置に応じた出力手段（例えば、プリンタ出力手段）に代
替される。

【０２１１】（５）第４の実施の形態図１６は、本発明の第４の実施の形態に係る文法網羅率
計測方式の構成を示すブロック図である。

【０２１２】図１６を参照すると、本発明の第４の実施
の形態に係る文法網羅率計測方式は、図１に示した第１
の実施の形態に係る文法網羅率計測方式に対して、文法
網羅率計測器プログラム生成器プログラムを記録した記
録媒体９１０を備える点が異なっている。この記録媒体
９１０は、磁気ディスク，半導体メモリ，その他の記録
媒体であってよい。

【０２１３】文法網羅率計測器プログラム生成器プログ
ラムは、記録媒体９１０から文法網羅率計測器プログラ
ム生成器１００（ファイル読み取り手段１１０，ＢＮＦ
構文解析手段１２０，ＢＮＦ規則データベース１３０，
ＢＮＦ意味検査器１４０，構文解析手段生成手段１５
０，ＢＮＦ規則チェック表生成手段１６０，ファイル出
力手段１７０，ファイル出力手段１８０，ファイル名格
納手段１９０，行番号カウンタ２００，および表示手段
２１０を備える文法網羅率計測器プログラム生成器１０
０）に読み込まれ、当該文法網羅率計測器プログラム生
成器１００の動作をファイル読み取り手段１１０，ＢＮ
Ｆ構文解析手段１２０，ＢＮＦ規則データベース１３
０，ＢＮＦ意味検査器１４０，構文解析手段生成手段１
５０，ＢＮＦ規則チェック表生成手段１６０，ファイル
出力手段１７０，ファイル出力手段１８０，ファイル名
格納手段１９０，行番号カウンタ２００，および表示手
段２１０として制御する。文法網羅率計測器プログラム
生成器プログラムの制御による文法網羅率計測器プログ
ラム生成器１００の動作は、第１の実施の形態における
文法網羅率計測器プログラム生成器１００の動作と全く
同様になるので、その詳しい説明を割愛する。

【０２１４】（６）第５の実施の形態図１７は、本発明の第５の実施の形態に係る文法網羅率
計測方式の構成を示すブロック図である。

【０２１５】図１７を参照すると、本発明の第５の実施
の形態に係る文法網羅率計測方式は、図１２に示した第
２の実施の形態に係る文法網羅率計測方式に対して、文
法網羅率計測器プログラム生成器プログラムを記録した
記録媒体９２０を備える点が異なっている。この記録媒
体９２０は、磁気ディスク，半導体メモリ，その他の記
録媒体であってよい。

【０２１６】文法網羅率計測器プログラム生成器プログ
ラムは、記録媒体９２０から文法網羅率計測器プログラ
ム生成器５００（ファイル読み取り手段１１０，ＢＮＦ
構文解析手段１２０，ＢＮＦ規則データベース１３０，
構文解析手段生成手段１５０，ＢＮＦ規則チェック表生
成手段１６０，ファイル出力手段１７０，およびファイ
ル出力手段１８０を備える文法網羅率計測器プログラム
生成器５００）に読み込まれ、当該文法網羅率計測器プ
ログラム生成器５００の動作をファイル読み取り手段１
１０，ＢＮＦ構文解析手段１２０，ＢＮＦ規則データベ
ース１３０，構文解析手段生成手段１５０，ＢＮＦ規則
チェック表生成手段１６０，ファイル出力手段１７０，
およびファイル出力手段１８０として制御する。文法網
羅率計測器プログラム生成器プログラムの制御による文
法網羅率計測器プログラム生成器５００の動作は、第２
の実施の形態における文法網羅率計測器プログラム生成
器５００の動作と全く同様になるので、その詳しい説明
を割愛する。

【０２１７】（７）第６の実施の形態図１８は、本発明の第６の実施の形態に係る文法網羅率
計測方式の構成を示すブロック図である。

【０２１８】図１８を参照すると、本発明の第６の実施
の形態に係る文法網羅率計測方式は、図１４に示した第
３の実施の形態に係る文法網羅率計測方式に対して、文
法網羅率計測器プログラム生成器プログラムを記録した
記録媒体９３０を備える点が異なっている。この記録媒
体９３０は、磁気ディスク，半導体メモリ，その他の記
録媒体であってよい。

【０２１９】文法網羅率計測器プログラム生成器プログ
ラムは、記録媒体９３０から文法網羅率計測器プログラ
ム生成器１００／５００（図１６に示す文法網羅率計測
器プログラム生成器１００または図１７に示す文法網羅
率計測器プログラム生成器５００）に読み込まれ、当該
文法網羅率計測器プログラム生成器１００／５００の動
作を「ファイル読み取り手段１１０，ＢＮＦ構文解析手
段１２０，ＢＮＦ規則データベース１３０，ＢＮＦ意味
検査器１４０，構文解析手段生成手段１５０，ＢＮＦ規
則チェック表生成手段１６０，ファイル出力手段１７
０，ファイル出力手段１８０，ファイル名格納手段１９
０，行番号カウンタ２００，および表示手段２１０」ま
たは「ファイル読み取り手段１１０，ＢＮＦ構文解析手
段１２０，ＢＮＦ規則データベース１３０，構文解析手
段生成手段１５０，ＢＮＦ規則チェック表生成手段１６
０，ファイル出力手段１７０，およびファイル出力手段
１８０」として制御する。文法網羅率計測器プログラム
生成器プログラムの制御による文法網羅率計測器プログ
ラム生成器１００／５００の動作は、第３の実施の形態
における文法網羅率計測器プログラム生成器１００／５
００の動作と全く同様になるので、その詳しい説明を割
愛する。

【０２２０】

【発明の効果】以上説明したように、本発明によると、
以下に示すような効果が生じる。

【０２２１】第１の効果は、検査対象の言語処理システ
ムで開発したＢＮＦファイルおよび字句解析ファイルを
そのまま使用し、文法網羅率計測器を生成することがで
きるということである。

【０２２２】このようにして生成された文法網羅率計測
器により、検査用データ（テスト用入力ファイルのデー
タ）の量および質の妥当性を知ることができる。また、
網羅されていないＢＮＦ文法規則を調べることにより、
どのようなＢＮＦ文法規則を追加すればよいかを考える
参考とすることができる。

【０２２３】第２の効果は、上記のような文法網羅率計
測器をすでにあるファイルを利用して自動的に生成でき
るため、検査工数の削減を達成できるということであ
る。

【０２２４】このように文法網羅率計測器を自動的に生
成可能なのは、構文解析手段生成手段およびＢＮＦ規則
チェック表生成手段が、ＢＮＦファイルに基づき、検査
対象の言語処理システムの受理文法に合致した構文解析
手段プログラムファイルおよびＢＮＦ規則チェック表プ
ログラムファイルを生成するためである。

【図面の簡単な説明】

【図１】本発明の第１の実施の形態に係る文法網羅率計
測方式の構成を示すブロック図である。

【図２】図１中の文法網羅率計測器プログラム生成器の
処理を示す流れ図である。

【図３】図１中の文法網羅率計測器の処理を示す流れ図
である。

【図４】本発明の文法網羅率計測方式で取り扱われるＢ
ＮＦデータの構造を示す図である。

【図５】文法網羅率計測器プログラム生成器の入力（Ｂ
ＮＦファイル）の具体例を示す図である。

【図６】文法網羅率計測器プログラム生成器の入力（Ｂ
ＮＦファイル）の具体例を示す図である。

【図７】文法網羅率計測器プログラム生成器の入力（Ｂ
ＮＦファイル）の具体例を示す図である。

【図８】文法網羅率計測器の出力の具体例を示す図であ
る。

【図９】文法網羅率計測器の出力の具体例を示す図であ
る。

【図１０】文法網羅率計測器の出力の具体例を示す図で
ある。

【図１１】ＢＮＦデータの具体例を示す図である。

【図１２】本発明の第２の実施の形態に係る文法網羅率
計測方式の構成を示すブロック図である。

【図１３】図１２中の文法網羅率計測器プログラム生成
器の処理を示す流れ図である。

【図１４】本発明の第３の実施の形態に係る文法網羅率
計測方式の構成を示すブロック図である。

【図１５】図１４中の文法網羅率計測器の処理を示す流
れ図である。

【図１６】本発明の第４の実施の形態に係る文法網羅率
計測方式の構成を示すブロック図である。

【図１７】本発明の第５の実施の形態に係る文法網羅率
計測方式の構成を示すブロック図である。

【図１８】本発明の第６の実施の形態に係る文法網羅率
計測方式の構成を示すブロック図である。

【図１９】本発明に対する従来の技術の第１の具体例の
構成を示すブロック図である。

【図２０】本発明に対する従来の技術の第２の具体例の
構成を示すブロック図である。

【図２１】本発明に対する従来の技術の第３の具体例の
構成を示すブロック図である。

【符号の説明】

１００，５００文法網羅率計測器プログラム生成器１１０，３１０ファイル読み取り手段１２０ＢＮＦ構文解析手段１３０ＢＮＦ規則データベース１４０ＢＮＦ意味検査器１５０構文解析手段生成手段１６０ＢＮＦ規則チェック表生成手段１７０，１８０，７１０ファイル出力手段１９０ファイル名格納手段２００行番号カウンタ２１０表示手段２２０ＢＮＦファイル２３０構文解析手段プログラムファイル２４０ＢＮＦ規則チェック表プログラムファイル３００，７００文法網羅率計測器３２０構文解析手段３３０ＢＮＦ規則チェック表３４０網羅率出力手段３５０ＣＲＴ出力手段３６０ＢＮＦ規則チェック表格納手段３７０ＢＮＦデータカウンタ３８０チェックカウンタ３９０テスト用入力ファイル４００ＣＲＴ７２０網羅状況報告ファイル９１０，９２０，９３０記録媒体

Claims

【特許請求の範囲】

【請求項１】文法網羅率計測器が検査対象の言語処理
システムの受理する文法に対して網羅率を測定できるよ
うに、検査対象の文法を表すＢＮＦファイルを読み込ん
で構文解析を行い、当該構文解析に基づいて生成したＢ
ＮＦデータをＢＮＦ規則データベースに格納し、当該Ｂ
ＮＦ規則データベースに基づいて構文解析手段プログラ
ムおよびＢＮＦ規則チェック表プログラムを生成する文
法網羅率計測器プログラム生成器と、前記文法網羅率計
測器プログラム生成器によって生成された構文解析手段
プログラムおよびＢＮＦ規則チェック表プログラムを読
み込み、それらの内容に従ってテスト用入力ファイルに
存在するＢＮＦ文法規則を表すＢＮＦ規則チェック表内
のＢＮＦデータをチェックし、当該チェックに基づきテ
スト用入力ファイルに関するＢＮＦ文法規則の網羅状況
を示す情報および網羅率を生成・出力する前記文法網羅
率計測器とを有することを特徴とする文法網羅率計測方
式。
【請求項２】ＢＮＦファイルを読み込み、そのＢＮＦ
ファイルのデータをトークン単位に切り分ける文法網羅
率計測器プログラム生成器内のファイル読み取り手段
と、前記ファイル読み取り手段により切り分けられたト
ークンに基づいて前記ファイル読み取り手段により読み
込まれたＢＮＦファイルに対する構文解析を行い、ＢＮ
Ｆ文法規則に基づいてＢＮＦ文法規則を表すデータ構造
であるＢＮＦデータを生成し、当該ＢＮＦデータをＢＮ
Ｆ規則データベースに格納する文法網羅率計測器プログ
ラム生成器内のＢＮＦ構文解析手段と、前記ＢＮＦ規則
データベースに蓄積されたＢＮＦデータに基づいて文法
網羅率計測器内の構文解析手段を実現するための構文解
析手段プログラムを生成する文法網羅率計測器プログラ
ム生成器内の構文解析手段生成手段と、前記ＢＮＦ規則
データベースに蓄積されたＢＮＦデータに基づいて文法
網羅率計測器内のＢＮＦ規則チェック表の内容を埋める
ためのＢＮＦ規則チェック表プログラムを生成する文法
網羅率計測器プログラム生成器内のＢＮＦ規則チェック
表生成手段と、ＢＮＦ規則番号，ＢＮＦデータ，および
チェック部の３欄を含むエントリを有するＢＮＦ文法規
則の一覧表である文法網羅率計測器内の前記ＢＮＦ規則
チェック表と、ＢＮＦデータの総数をカウントするため
の記憶領域である文法網羅率計測器内のＢＮＦデータカ
ウンタと、前記ＢＮＦ規則チェック表の「チェック部」
欄にチェックがつけられたＢＮＦデータの数をカウント
するための記憶領域である文法網羅率計測器内のチェッ
クカウンタと、ＢＮＦファイルで定義された文法に則っ
た１つ以上のテスト用入力ファイルを読み込み、その字
句解析を行う文法網羅率計測器内のファイル読み取り手
段と、前記構文解析手段生成手段により生成された構文
解析手段プログラムを解釈することにより動作し、前記
ファイル読み取り手段による字句解析が行われたテスト
用入力ファイルの構文解析を行い、当該テスト用入力フ
ァイルに存在するＢＮＦ文法規則を表すＢＮＦデータに
関して前記ＢＮＦ規則チェック表中の該当するエントリ
にチェックをつけるように制御する文法網羅率計測器内
の前記構文解析手段と、前記ＢＮＦ規則チェック表内の
ＢＮＦデータおよびそのチェック内容を得て、テスト用
入力ファイルにおけるＢＮＦ文法規則の網羅状況を示す
情報を生成し、前記ＢＮＦデータカウンタおよび前記チ
ェックカウンタの値に基づいて網羅率を算出する文法網
羅率計測器内の網羅率出力手段と、前記網羅率出力手段
の要求に応じ、前記網羅率出力手段により生成・算出さ
れた情報をＣＲＴに出力する文法網羅率計測器内のＣＲ
Ｔ出力手段と、ＢＮＦ規則チェック表プログラムに従い
前記ＢＮＦ規則チェック表のデータの内容を初期設定
し、他のモジュールからの要求に応じて前記ＢＮＦ規則
チェック表に対する読み書きを行う文法網羅率計測器内
のＢＮＦ規則チェック表格納手段とを有することを特徴
とする文法網羅率計測方式。
【請求項３】全てのＢＮＦ文法規則に関してＢＮＦ構
文解析手段により生成されたＢＮＦデータがＢＮＦ規則
データベースに蓄積された後に、前記ＢＮＦ規則データ
ベースにアクセスし、各ＢＮＦデータによって表される
ＢＮＦ文法規則が意味的に妥当か否かを検査し、ＢＮＦ
文法規則の意味的な不整合を発見した場合にその旨を示
すエラーメッセージを出力する文法網羅率計測器プログ
ラム生成器内のＢＮＦ意味検査器を含むことを特徴とす
る請求項２記載の文法網羅率計測方式。
【請求項４】網羅状況を示す情報および網羅率をＣＲ
Ｔに表示するＣＲＴ出力手段の代わりに、網羅状況を示
す情報および網羅率を網羅状況報告ファイルに出力する
ファイル出力手段を有することを特徴とする請求項２ま
たは請求項３記載の文法網羅率計測方式。
【請求項５】網羅状況を示す情報および網羅率をＣＲ
Ｔに表示するＣＲＴ出力手段の代わりに、網羅状況を示
す情報および網羅率をＣＲＴ以外の出力装置に出力する
当該出力装置に応じた出力手段を有することを特徴とす
る請求項２または請求項３記載の文法網羅率計測方式。
【請求項６】文法網羅率計測器プログラム生成器およ
び文法網羅率計測器からなる文法網羅率計測方式におけ
る当該文法網羅率計測器プログラム生成器を、文法網羅
率計測器が検査対象の言語処理システムの受理する文法
に対して網羅率を測定できるように、検査対象の文法を
表すＢＮＦファイルを読み込んで構文解析を行い、当該
構文解析に基づいて生成したＢＮＦデータをＢＮＦ規則
データベースに格納し、当該ＢＮＦ規則データベースに
基づいて構文解析手段プログラムおよびＢＮＦ規則チェ
ック表プログラムを生成するように機能させるためのプ
ログラムを記録した記録媒体。
【請求項７】文法網羅率計測器プログラム生成器およ
び文法網羅率計測器からなる文法網羅率計測方式におけ
る当該文法網羅率計測器プログラム生成器を、ＢＮＦフ
ァイルを読み込み、そのＢＮＦファイルのデータをトー
クン単位に切り分けるファイル読み取り手段，前記ファ
イル読み取り手段により切り分けられたトークンに基づ
いて前記ファイル読み取り手段により読み込まれたＢＮ
Ｆファイルに対する構文解析を行い、ＢＮＦ文法規則に
基づいてＢＮＦ文法規則を表すデータ構造であるＢＮＦ
データを生成し、当該ＢＮＦデータをＢＮＦ規則データ
ベースに格納するＢＮＦ構文解析手段，前記ＢＮＦ規則
データベースに蓄積されたＢＮＦデータに基づいて文法
網羅率計測器内の構文解析手段を実現するための構文解
析手段プログラムを生成する構文解析手段生成手段，お
よび前記ＢＮＦ規則データベースに蓄積されたＢＮＦデ
ータに基づいて文法網羅率計測器内のＢＮＦ規則チェッ
ク表の内容を埋めるためのＢＮＦ規則チェック表プログ
ラムを生成するＢＮＦ規則チェック表生成手段として機
能させるためのプログラムを記録した記録媒体。
【請求項８】文法網羅率計測器プログラム生成器およ
び文法網羅率計測器からなる文法網羅率計測方式におけ
る当該文法網羅率計測器プログラム生成器を、ＢＮＦフ
ァイルを読み込み、そのＢＮＦファイルのデータをトー
クン単位に切り分けるファイル読み取り手段，前記ファ
イル読み取り手段により切り分けられたトークンに基づ
いて前記ファイル読み取り手段により読み込まれたＢＮ
Ｆファイルに対する構文解析を行い、ＢＮＦ文法規則に
基づいてＢＮＦ文法規則を表すデータ構造であるＢＮＦ
データを生成し、当該ＢＮＦデータをＢＮＦ規則データ
ベースに格納するＢＮＦ構文解析手段，前記ＢＮＦ規則
データベースに蓄積されたＢＮＦデータに基づいて文法
網羅率計測器内の構文解析手段を実現するための構文解
析手段プログラムを生成する構文解析手段生成手段，前
記ＢＮＦ規則データベースに蓄積されたＢＮＦデータに
基づいて文法網羅率計測器内のＢＮＦ規則チェック表の
内容を埋めるためのＢＮＦ規則チェック表プログラムを
生成するＢＮＦ規則チェック表生成手段，および全ての
ＢＮＦ文法規則に関して前記ＢＮＦ構文解析手段により
生成されたＢＮＦデータが前記ＢＮＦ規則データベース
に蓄積された後に、前記ＢＮＦ規則データベースにアク
セスし、各ＢＮＦデータによって表されるＢＮＦ文法規
則が意味的に妥当か否かを検査し、ＢＮＦ文法規則の意
味的な不整合を発見した場合にその旨を示すエラーメッ
セージを出力するＢＮＦ意味検査器として機能させるた
めのプログラムを記録した記録媒体。