JPH02224144A - テストプログラム作成処理装置 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 〔概要〕 言語処理プログラム用のテストプログラムを属性文法記
述から自動作成するよう処理するテストプログラム作成
処理装置に関し、 属性文法記述中の展開規則の定義の数を減少できるよう
にすることを目的とし、 属性文法記述に従って記述された処理対象文に対しての
乱数的な選択処理により生成される乱数文と、乱数文の
実行結果の１１１認のためのテストルーチンを呼び出す
確認文とを対とするテストプログラムを作成するテスト
プログラム作成処理装置であって、属性文法記述中で定
義される非終端記号の展開規則定義と該定義中のパラメ
タとを、該非終端記号名と対応付けて管理する構造体変
数管理部と、属性文法記述中に記述される引数付きの非
終端記号を検出するときに、構造体変数管理部から該引
数付きの非終端記号の展開規則定義を読み出すとともに
、該読み出された展開規則定義中のパラメタを該引数に
動的に変換していくことで、該引数付きの非終端記号の
本来的の記述内容を特定する記述内容特定部とを備える
よう構成する。

〔産業上の利用分野〕

本発明は、言語処理プログラム用のテストプログラムを
属性文法記述から自動作成するよう処理するテストプロ
グラム作成処理装置に関し、特に、属性文法記述中で定
義しなければならない展開規則の定義の数を減少できる
ようにするテストプログラム作成処理装置に関するもの
である。

作成した言語処理プログラム（ＣＯＢＯＬやＦＯＩ？Ｔ
ｌ１ＡＮ等のコンパイラに限られずに、コマンドを処理
するプログラム等も含む）の機能を検査するために、マ
ニュアルに基づいて検証用のテストプログラムを作成し
て、その実行結果を予想したものと比較していくという
手法がとられることになる。

しかるに、言語処理プログラムの機能の数は多く、しか
も複数の機能の組み合わせまで検査しなければならない
ことから、確認しなければならない機能の数は極めて多
くなることになる。これから、言語処理プログラムの機
能の検査のために必要とされるテストプログラムの作成
に、多大な労力が費やされているというのが現状である
。このような背景の元に、言語処理プログラム用のテス
トプログラムの自動作成処理装置の提供が望まれている
のである。

［従来の技術］ 従来では、人手によって、言語処理プログラム用のテス
トプログラムが作成されていた。すなわち、プログラマ
等が、各種文法規則とその意味を記述したマニュアルか
ら要因分析を行ってテスト項目を設定して、テスト項目
にあった機能の実行とその結果の検証手続きとを記述し
たテストプログラムを作成していたのである。

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

しかしながら、この要因分析やテスト項目の設定には極
めて大きな労力がかかることから、従来技術では、テス
トプログラムの作成に極めて多大な工数がとられてしま
うという問題点があった。

そして、人手による方法では作成するテストプログラム
の内容に限度があることから、従来技術では、言語処理
プログラムの機能の検査を十分行っていないという問題
点もあったのである。

そこで、本出願人は、先に出願の「特願昭６３４６５１
０号（昭和６３年２月２９日出願、゛言語処理プログラ
ム検証方式パ）」で、言語処理プログラム用のテストプ
ログラムの自動作成処理装置の発明を案出した。次に、
第６図に従って、この特許出願の発明の概要について説
明する。

図中、■は構文・意味記述であって、言語処理プログラ
ムの処理対象文を展開規則と意味記述とからなる属性文
法記述に従って記述するもの、２はＴＰ自動作成部であ
って、構文・意味記述ｌがらテストプログラムを自動作
成するもの、３はＴＰ自動作成部２が備える生成規則選
択部であって、構文・意味記述１中の展開規則に対して
乱数的な選択処理を施すことで処理対象文の一態様をな
す乱数文を作成するもの、４はＴＰ自動作成部２が備え
る確認文挿入部であって、作成された乱数文の実行によ
り引き起こされる実行結果の確認を行うためのテストル
ーチンを呼び出す確認文を乱数文に対応付けて挿入する
もの、５はＴＰ自動作成部２が備える記号表であって、
乱数文名等を格納するもの、６はＴＰ自動作成部２によ
り作成される一連の検証プログラムであって、言語処理
プログラムのテストプログラムをなすもの、７は自動判
定部であって、検証プログラム６の乱数文を言語処理プ
ログラムに実行させたときの実行結果が正しいものとな
るのか否かを、その乱数文に対応付けられている確認文
により呼び出されるテストルーチンに従って自動的に判
定するもの、８は結果−覧表であって、自動判定部７の
判定結果をプリントアウトするものである。

このように構成される先の特許出願の発明にあっては、
生成規則選択部３は、構文・意味記述１中の処理対象文
の展開規則に対して乱数的な選択処理を施すことで処理
対象文の一腹様をなす乱数文を作成し、確認文挿入部４
は、乱数文の正しい実行結果を引数とする確認文を挿入
していくことで、言語処理プログラム用のテストプログ
ラムを自動生成してい（よう処理することになる。

このような先の特許出願の発明の実用性を高めていくた
めには、テストプログラムの作成のために用意する属性
文法記述中の展開規則の定義の数を減らせるようにして
いく必要がある。定義しなければならない展開規則の数
が増えると、属性文法記述の作成に手間がかかって、テ
ストプログラムの作成の生産性が著しく低下することに
なるからである。

本発明はかかる事情に鑑みてなされたものであって、本
出願人が出願した先の特許出願のテストプログラム作成
処理装置において、属性文法記述中で定義しなければな
らない展開規則の定義の数を減少できるような手段を講
じていくことで、先の特許出願のテストプログラム作成
処理装置の実用性を高めて、更に有効なものとなるよう
にしていくことを目的とするものである。

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

第１図は本発明の原理構成図である。

図中、１０は属性文法記述であって、検査対象となる言
語処理プログラムの処理対象文についての属性文法を記
述するとともに、この処理対象文の実行結果の確認を行
うテストルーチンの呼び出しのための確認文を記述する
もの、１１は属性文法記述１０をなす展開規則であって
、処理対象文の展開規則を記述するもの、１２は属性文
法記述１０をなす意味記述であって、処理対象文中の意
°味内容を記述するもの、２０は本発明を具備するテス
トプログラム作成処理装置であって、言語処理プログラ
ム用のテストプログラムを自動作成するもの、２１はリ
ーダであって、属性文法記述ＩＯを内部形式に変換する
もの、２２は翻訳処理器であって、リーダ２１により変
換された内部形式を展開して内部形式テストプログラム
を作成する展開処理部２３と、内部形式テストプログラ
ムの作成にあたって必要となる意味記述１２の実行依願
を行う意味記述処理依頼部２７とを備えるも、の、２４
は展開処理部２３が備える乱数発生部であって、展開規
則に関しての選択処理に必要となる乱数を発生させるも
の、２５は展開処理部２３が備える構造体変数管理部で
あって、内部形式テストプログラムの展開処理のために
必要となる変数データを構造的に管理するもの、２６は
展開処理部２３が備える記述内容特定部であって、属性
文法記述１０中に記述される引数付きの非終端記号の本
来の記述内容を特定するもの、２８は意味記述解釈器で
あって、意味記述処理依頼部２７からの起動依頼に応じ
て処理要求のある意味記述１２を実行するもの、２９は
ライタであって、翻訳処理器２２により作成された内部
形式テストプログラムを実行可能なテストプログラムと
してファイル等に出力するもの、３０は出力されたテス
トプログラムである。ここで、属性文法記述１０中に記
述される非終端記号とは、展開規則１１に従って展開さ
れてテキストとなる記号をいうものである。

〔作用〕

本発明では、リーダ２１の処理に従って、属性文法記述
１０を翻訳処理器２２が解釈し易い形式である内部形式
に変換する。この内部形式を受け取ると、展開処理部２
３は、展開規則１１に従って再帰的に展開を実行してい
（ことで、内部形式テストプログラムへの展開を実行す
る。この展開時に意味記述１２の実行が必要となる場合
には、意味記述処理依頼部２７は、意味記述解釈器２８
を起動していくよう処理し、このようにして起動される
意味記述解釈器２８は、構造体変数管理部２５の変数値
を新たなものに更新していく処理を実行する。そして、
展開処理部２３は、この更新された変数値を参照しなが
ら内部形式テストプログラムへの展開を実行してい（と
ともに、この展開にあたって必要となる展開規則１１中
に含まれる選択性の規則に関しては、乱数発生部２４が
発生する乱数値に従って選択対象の選択や値の選択を実
行していく。

そして、内部形式テストプログラムへの展開処理が終了
すると、属性文法記述１０に記述されている確認文中の
パラメータ部分に、処理対象文の一態様として翻訳され
た乱数文の実行結果に関しての値が設定され、言語処理
プログラム用のテストプログラムの基本単位に相当する
内部形式プログラムの作成が終了することになる。内部
形式プロクラムの作成が終了すると、ライタ２９は、内
部形式テストプログラムを実行可能なテストプログラム
３０として出力して処理を終了する。

このようなテストプログラムの自動作成処理にあって、
本発明では、属性文法記述１０中で定義されることにな
る非終端記号の展開規則定義に、パラメタを記述できる
ようにする。すなわち、非終端記号１（パラメタ・・・
・・・）］→展開規則あるいは、複数の展開規則への可
能性を有するときには、 非終端記号［（パラメタ・・・・・・）］→展開規則展
開規則 展開規則＆ と記述できるようにする。そして、属性文法記述１０中
に、この非終端記号の展開規則定義の引用を可能とする
引数付きの非終端記号の記述である「非終端記号　引数
・・・・・・・・・」を記述できるようにする。ここで
、「［・・・・・・１」は、その部分を記述しないこと
も可能であることを表す。

リーダ２工は、このパラメタの付加された非終端記号の
展開規則定義を読み取ると、構造体変数管理部２５の該
当する非終端記号名の変数のＲＵＬＥという属性に、読
み取った展開規則の内部形式を代入するとともに、ＡＲ
Ｇという属性に、読み取ったパラメタの内部形式を代入
する。この処理により、構造体変数管理部２５は、パラ
メタの付加された非終端記号の展開規則定義とその展開
規則定義中で用いられるパラメタとを、非終端記号名と
対応付けて構造的に管理することになる。

次に、リーダ２１は、この非終端記号に関しての引数付
きの非終端記号を読み取ると、内部形式に変換して記述
内容特定部２６に渡すよう処理する。このようにして引
数付きの非終端記号を受は取ると、記述内容特定部２６
は、構造体変数管理部２５から該当する非終端記号の展
開規則定義を読み出すとともに、読み出した展開規則定
義中のパラメタを人力されてきた引数に動的に変換して
いくことで、入力されてきた引数付きの非終端記号の本
来の記述内容を特定するよう処理する。

このようにして、非終端記号の展開規則定義にパラメタ
の記述を認めないときには、属性文法記述１０の中で、 Ａ　　−”ＡＩ　’ＡＡＡｗＡ２″ＢＢＢ’Ａ３＆Ａ’
　　→Ａ　１　　”ｐｐｐ”　Ａ　２　″ロロＱ″　Ａ
３＆Ａ”　→Ａ　１　　”ＸＸＸ’　Ａ　２　”Ｙ’ｌ
Ｙ”Ａ３＆とそれぞれ展開規則定義をしておいてから、
属性文法記述ｌＯの中で、 Ａ、Ａ’Ａ” をそれぞれ必要な箇所で記述するというようにしなけれ
ばならなかったのに対して、本発明によれば、属性文法
記述１０の中で、 Ａ　（ＰＩ　Ｆ２）→ＡＩ　Ｐｉ　Ａ２　Ｆ２　Ａ３＆
と１つだけ展開規則定義をしておいてから、属性文法記
述１０の中で、 「Ａ　”ＡＡＡ”ＢＢＢ’″」 ｒＡ　　’ＰＰＰ”　ＱＱＱ’　Ｊ ｒＡ　　’ＸＸＸ”　ＹＹＹ”　ｊ をそれぞれ必要な箇所で記述するだけで、同じ記述を実
現できることになる。すなわち、類似の記述形式をとる
場合には、すべてのものに対して、いちいち展開規則定
義を定義する必要がなくなることになる。ここで、属性
文法記述中の「”」で区切られる記号は、テストプログ
ラム３０の作成にあたって展開されることのない終端記
号を表している。

更に、このような場合に、非終端記号の引数を繰り返し
て記述できるようにすることも可能である。このような
ときには、記述内容特定部２６が、繰り返されてくる回
数に応じて構造体変数管理部２５から読み出した展開規
則定義中のパラメタを動的にそれらの引数に変換してい
くことで、入力されてきた引数付きの非終端記号の本来
の記述内容を特定するよう処理することになる。これに
より、非終端記号名を重複して記述する必要がなくなる
ことになる。

このように、本発明によれば、本出願人が出願した先の
特許出願のテストプログラム作成処理装置において、属
性文法記述中で定義しなければならない展開規則の定義
の数を大幅に減少できるようになり、テストプログラム
を効率的に生産できるようになるのである。

〔実施例〕

以下、実施例に従って本発明の詳細な説明する。

第２図に、本発明により自動作成されるテストプログラ
ムの使用方法の説明図を示す。図中、第１図で説明した
ものと同じものについては、同一の記号で示しである。

４０は検査対象となる言語処理プログラムであって、属
性文法記述１０に記述されることになる処理対象文のコ
ンパイル処理を実行するもの、４１はテスト用オブジェ
クトプログラムであって、言語処理プログラム４０によ
りコンパイルされたテストプログラム３０のオブジェク
トプログラムであるもの、４２はリンカであって、テス
ト用オブジェクトプログラム４１とライブラリ４３のプ
ログラムとのリンクを実行するもの、４４はリンカ４２
によってテスト用オブジェクトプログラム４１とリンク
されることになるＣＨＥＣＫプログラムであって、テス
トプログラム３０中に記述される乱数文の実行結果の確
認を行うテストルーチンであるもの、４５は実行単位を
なすロードモジュール、４６はロードモジュール４５の
実行結果を表す実行結果出力である。

この図に示すように、本発明に係るテストプログラム作
成処理装置２０は、言語処理プログラム４０の機能の検
証のために必要となるテストプログラム３０を作成する
ために用意されるものであり、この必要とされるテスト
プログラム３０を、マニュアルに従って記述される属性
文法記述１０から自動作成するよう処理することになる
。

第３図に、°“代人文”に関しての属性文法記述１０の
一実施例を示す。この属性文法記述１０は、様々な形式
の゛代人文”を複数個作成して、言語処理プログラム４
０がそれらの“代入文”についての計算処理を行ったと
きに、正しい数値を算出するのか否かをテストするため
にプログラマ等により作成される。第４図に、この属性
文法記述１０から自動作成されることになるテストプロ
グラム３０の一実施例を示す。このテストプログラム３
０は、“代入文パの一態様である乱数文（“代入文°′
の展開規則に対しての乱数的な選択処理により生成され
る）と、ＣＨＥＣＫプログラム４４を呼び出すための確
認文との対を基本単位にして、この基本単位を複数つな
げることで構成される。

具体的に説明するならば、第４図中の ＡＡＥ＝−２９９＊４４Ｂ ＣＡＬＬ　　ＣＨＥＣＫ（１，ＡＡＥ、−１３３９５２
）がテストプログラム３０の基本単位をなすものである
。この基本単位の意味するところは、ＡＡＥ＝−２９９
＊４４８ という乱数文を言語処理プログラム４０で処理させると
、変数名の“’　Ａ　Ａ　Ｅ　”のところに、−１３３
９５２＜＝−２９９本４４８）の値がセットされていれ
ば正しい処理がなされたことになるので、この変数名と
値とを引数にして、ＣＨＥＣＫプログラム４４の呼び出
しを行うＣＡＬＬ　　ＣＨＥＣＫ（１，ＡＡＥ、−１，
３３９５２）という確認文を、この乱数文と対にして作
成するのである。

本発明の詳細な説明に入る前に、第３図の属性文法記述
１０を例にしながら、本発明に係るテストプログラム作
成処理装置２０が実行することになるテストプログラム
３０の自動作成処理について説明する。ここで、テスト
プログラム作成処理装置２０のシステム構成は第１図で
説明したものと同一である。

リーダ２１は、第３図の属性文法記述ＩＯを読み取ると
、この読み取った属性文法記述１０を内部形式に変換す
る。この変換された属性文法記述１０を受は取ると、翻
訳処理器２２は、出発記号の“￥文法記述°゛に続く （設定　項番値　１） に従って、システム変数の“項番値”という変数名のと
ころに、“１′をセットする。この設定処理は、翻訳処
理器２２が″“設定”という記号を解釈したときに、意
味記述解釈器２８が管理する“設定°゛という名の関数
に起動をかけることで実行されることになる。この意味
記述解釈器２８は、具体的には、例えばＬＩＳＰシステ
ムで構成されて、定義されている関数の呼び出しがかか
ると、その関数の処理を実行して処理値を翻訳処理器２
２に返すよう処理することになる。

翻訳処理器２２は、続いて記述される ＜’ａＮＬ’　　代入文　５　１０＞　　＆により、所
定の数（この例では、５から１０までの間の乱数値で指
定される）の“°代入文”についてのテストプログラム
３０を、１つずつ改行して作成する必要があることを知
る。この“代入文°゛は「“」で区切られていないので
、そのままテキストとできない非終端記号である。この
ような非終端記号は、別の位置にどのようにテキストに
展開していけばよいかが記述されているので、翻訳処理
器２２は、その展開規則１１に従って展開処理を実行す
る。

この例では、続いて、 変数　　−“　式 と“代入文”の定義がされており、更に、この定義中の
“変数”の定義が図中の０部分で展開されていて、“式
”の定義が図中の■部分で展開されている。この■及び
■部分の「１」の記号は、いずれか１つのものを乱数に
従って選択することを表している。これから、翻訳処理
器２２は、乱数処理に従って“°代入文”°の゛°変数
”として、例えば“’ＡＡＥ”の変数名を選択し、“代
入文゛の°′式゛とじて、例えば“数１本数２″の式を
選択する。このとき実行する乱数による選択対象の選択
処理は、具体的には、乱数発生部２４が、選択対象の前
に記述されている選択値（この例では、ずぺて“１００
”である）の総和（この例では、“５００″である）の
内にある乱数値を発生させて、その発生した乱数値が属
する選択値の選択対象を選ぶことで行うことになる。ま
た、′数１＊数２°゛のように、更に展開されるものに
ついては、その展開規則に従って展開を続行していく。

この例では、“数１本数２”は、更に０部分で展開され
ているので、その展開に従って、例えば、“数値ｔ　”
として−２９９“を選択し、′数値２°゛として４４８
　”を選択することになる。

このようにして、第４図のテストプログラム３０の先頭
に位置する代入文の一態様であるＡＡＥ−−２９９＊４
４８ というテキストが作成されることになる。

゛代入文”の定義に続いて記述される 「代入　変数　（値　式）１ により、翻訳処理器２２は、意味記述解釈器２８が管理
する′°代入”という名の関数に起動をかけることで、
テスト対象言語変数の“変数”のところに、゛式゛°の
値を設定するよう処理する。いまの場合、°°変数パと
しては°’　Ａ　Ａ　Ｅ　”が選択されているので、こ
の°“ＡＡＥ”という変数名のところに“式°“の値を
設定する。この゛式°゛の値は、具体的には、■部分の
選択規則の“数１＊数２°。

の後に続いて記述されている ｒ値設定（＊（値　数１）（値　数２））１で算出され
る。この算出処理も、意味記述解釈器２８により実行さ
れて、いまの場合では、“数値１　”の値である“’−
２９９”と、“数値２″の値である４４８”との乗算値
である”−１３３９５２”が、この“式”の値として算
出される。これから、’　Ａ　Ａ　Ｅ　”という変数名
のところに、”−１３３９５２”が設定されることにな
る。

“代入文”の定義の最後では、“確認”を展開すること
が要求されている。この″確認パがいかなるものである
かは、図中の０部分で展開されている。これから、翻訳
処理器２２は、この０部分の展開規則に従って、“°項
番°゛の値の“１”と、゛変数°゛の“ＡＡＥ”と、“
変数値゛の“−１３３９５２”とを引数として、ＣＨＥ
ＣＫプログラム４４の呼び出しを行う ＣＡＬＬ　　ＣＨＥＣＫ（１，ＡＡＥ、−１３３９５２
）という確認文の展開を実行する。このようにして、Ａ
ＡＥ＝−２９９＊４４Ｂ ＣＡＬＬ　　ＣＨＥＣＫ（１，ＡＡＥ、−１３３９５２
）という内部形式テストプログラムの作成が終了するこ
とになる。そして、最後に、０部分の更新規則に従って
、意味記述解釈器２８に起動をかけて、次の乱数文のた
めに、システム変数の″゛項番値′。

の変数名の値を１つ歩進させる処理を行うよう処理する
。

翻訳処理器２２は、以下同様の処理を繰り返していくこ
とで、第４図に示したような内部形式テストプログラム
の作成を実行することになる。そして、属性文法記述１
０に対応する内部形式テストプログラムの作成が終了す
ると、ライタ２９は、この作成した内部形式テストプロ
グラムを実行可能なテストプログラムとして出力してテ
ストプログラム３０の作成処理を終了する。

このように、翻訳処理器２２は、属性文法記述１０中の
展開規則１１に従って再帰的に展開を実行していくこと
で、内部形式テストプログラムへの展開を実行する。こ
の展開時に、属性文法記述１０中の意味記述１２の実行
が必要となる場合には、意味記述解釈器２８を起動して
いくよう処理し、この起動される意味記述解釈器２８は
、構造体変数管理部２５の変数データを新たなものに更
新してい（処理を実行する。そして、翻訳処理器２２は
、内部形式テストプログラムへの展開を、この更新され
た変数データを参照しながら実行していくとともに、展
開にあたって必要となる展開規則１１中に含まれる選択
性の規則に関しては、乱数発生部２４により発生される
乱数値に従って選択対象を選択することで行うことにな
る。

次に、本発明の特徴部分について説明する。本発明では
、〔作用〕の欄でも説明したように、属性文法記述１０
中で定義されることになる非終端記号の展開規則定義に
パラメタを付加して記述できるようにするとともに、こ
のパラメタの付加された非終端記号の展開規則定義の引
用を可能とする引数付きの非終端記号を、属性文法記述
１０中に記述できるようにすることを特徴とする。すな
わち、非終端記号の展開規則定義として、という記述形
式をとるものの他に、パラメタを付加した記述である 非終端記号（パラメタ・・・・・・）→展開規則という
記述形式を認め、そして、属性文法記述ＩＯ中に、この
非終端記号の展開規則定義を引用する引数付きの非終端
記号の記述である 「非終端記号　引数・・・・・・・・・」という記述を
記述できるようにするのである。

具体的に説明するならば、例えば、非終端記号の“確認
”の展開規則定義を下記のようにパラメタを付加して記
述するようにし、 確認（変数変数の値）→ ’ＣＡＬＬ　ＣＨＥＣＫ（’項番”、”ｉ数”、”ｉ数
）ｆａ”）”但し、「”」で区切られたところは 「“」と同じく終端記号を表す。

そして、この“確認°゛の展開規則定義を引用する非終
端記号を、属性文法記述１０中で、下記のように引数付
きで記述するようにするのである。

「確認　Ａ　　３Ｊ ［確認　Ｂ　　５Ｊ 「確認　Ｃ８Ｊ 但し、これらの記述はまとまって 記述されているとは限らない。

次に、第５図のフローチャートを参照しつつ、本発明が
、このような記述形式に対してどのように処理するのか
について説明する。

リーダ２１は、属性文法記述１０を読み取って内部形式
に変換するときに、パラメタの付加された非終端記号を
内部形式に変換するときには、構造体変数管理部２５の
該当する非終端記号名のＲＵＬＥという属性に、読み取
った展開規則の内部形式を代入する。すなわち、上述で
例示した゛確認′”の展開規則定義で説明するならば、
”ＣＡＬＬ　ＣＨＥＣＫ（”項番”、′変数”、′変数
の値”）”という屑開規則の （”項番”、′変数”、′変数の値”）”という括弧内
の各展開要素の内部形式を、ＲＵＬＥという属性に代入
するのである。続いて、リーダ２１は、構造体変数管理
部２５の該当する非終端記号名のＡＲＣという属性に、
読み取ったパラメタの内部形式を代入する。すなわち、
上述で例示した“確認”の展開規則定義で説明するなら
ば、〈変数変数の値） という括弧内の内部形式を、ＡＲＧという属性に代入す
るのである。なお、リーダ２１は、パラメタの付加され
ていない非終端記号を内部形式に変換するときには、Ｒ
ＵＬＥという属性にはパラメタの付加されている場合と
同じものの内部形式を代入するよう処理することになる
が、ＡＲＧという属性には代入するものを持たないので
代入処理は行わないことになる。

次に、リーダ２１は、この非終端記号に関しての引数付
きの非終端記号を読み取ると、内部形式に変換して記述
内容特定部２６に渡すよう処理する。すなわち、上述で
例示した゛確認”の展開規則定義を引用する非終端記号
の記述である［確認　Ａ　　３Ｊ の例で説明するならば、 （ＡＲＧ　　確認　Ａ　　３） のような内部形式に変換するよう処理することになる。

このようにして、内部形式に変換された引数付きの非終
端記号を受は取ると、記述内容特定部２６は、第５図（
ａ）のフローチャートのステップ１で示すように、該当
する非終端記号名の構造体変数のＲＵＬＥとＡＲＧとい
う属性から、それぞれ内部形式展開規則とパラメタとを
取り出す。続いて、ステップ２で、この取り出した内部
形式展開規則をコピーする。そして、次のステップ３で
、コピーした内部形式展開規則に付加されているパラメ
タと入力されてきた引数とに対して、第５図（ｂ）のフ
ローチャートの処理を繰り返すよう処理する。すなわち
、第５図（ｂ）のフローチャートに示すように、パラメ
タと内部形式展開規則中の内部形式展開要素とが一致す
るのかを判断して、一致するときには、内部形式展開要
素を与えられた引数と置き換えていく処理を実行するの
である。

このようにしてステップ３の処理を終了すると、入れ子
構造をとるときにはその入れ子構造に従って、ステップ
４で示すように、内部形式展開規則をコピーして、ステ
ップ３と同様の処理を実行していくことになる。以上の
処理を実行することで、記述内容特定部２６は、人力さ
れてきた引数付きの非終端記号の本来の記述内容を特定
できることになる。

上述に例示した 「確認　Ａ　　３Ｊ 「確認　Ｂ　　５Ｊ 「確認　Ｃ８Ｊ の例で説明するならば、「確認　Ａ　　３」の記述の本
来の意味するところは、定義されている”確認”の展開
規則定義中のパラメタを対応する引数に変換することで
求まる 確認（Ａ３）→’ＣＡＬＬ　Ｃ）ＩＥＣに（″項番２ど
Ａ”、′３”）０であり、「確認　Ｂ　５」の記述の本
来の意味するところは、 確認（Ｂ　５）→”ＣＡＬＬ　ＣＨＥＣＫｃ項番”１′
Ｂ“、’　５　”）’であり、ｒ確ｔｖ　　Ｃ８Ｊの記
述の本来の意味するところは、 確認（Ｃ８）→”ＣＡＬＬ　ＣＩＩＥ（Ｊ（″項番”、
２Ｃ″、′８″）”であるということを特定するのであ
る。

このように、本発明によれば、非終端記号の展開規則定
義の中にパラメタを付加するとともに、引数を使ってそ
の展開規則定義を引用するようにしたことから、属性文
法記述１０中で必要とされることになる展開規則の定義
の数を大幅に減少できるようになるのである。

更に、属性文法記述１０の記述性の向上を図るために、
引数付き非終端記号の繰り返し記号を定義することも可
能である。例えば、上述の［確認　Ａ　　３Ｊ 「確認　Ｂ　　５Ｊ ［確認　Ｃ８Ｊ を連続して一度に記述する必要があるときには、（″１
ｊＮＬ’確認’（（Ａ　３）（Ｂ　　５）（Ｃ８））１
というように引数を繰り返して記述させるようにするこ
とで、いちいち３つの記述をしなくて済むようにするの
である。ここで、”ａＮＬ”は改行を表す終端記号であ
る。このような記述形式で入力されてくるときには、記
述内容特定部２６は、繰り返しの数に応じて構造体変数
管理部２５から読み出した展開規則定義中のパラメタを
各々の対応する引数に変換していくことで、入力されて
きた弓敗付きの非終端記号の本来の記述内容を特定する
よう処理することになる。

〔発明の効果〕

このように、本発明によれば、属性文法記述から言語処
理プログラム用のテストプログラムを自動作成するテス
トプログラム作成処理装置にあって、属性文法記述中で
定義しなければならない展開規則の定義の数を大幅に減
少できるようになる。

これから、テストプログラムの作成効率が著しく高めら
れることになるとともに、テストの質も向上できるよう
になる。

【図面の簡単な説明】

第１図は本発明の原理構成図、 第２図は本発明により自動作成されるテストプログラム
の使用方法を説明する説明図、第３図は属性文法記述の
一実施例図、 第４図は第３図の属性文法記述から作成されるテストプ
ログラムの説明図、 第５図は本発明が実行するフローチャート、第６図は先
に出願の発明の説明図である。 図中、ＩＯは属性文法記述、ｉｔは展開規則、１２は意
味記述、２０はテストプログラム作成処理装置、２１は
リーグ、２２は翻訳処理器、２３は展開処理部、２４は
乱数発生部、２５は構造体変数管理部、２６は記述内容
特定部、２７は意味記述処理依願部、２８は意味記述解
釈器、２９はライタ、３０はテストプログラムである。

Claims (2)

【特許請求の範囲】
1. （１）展開規則と意味記述とからなる属性文法記述に従
   って記述された言語処理プログラムの処理対象文に対し
   て、展開規則に関しての乱数的な選択処理を施すことで
   該処理対象文の一態様をなす乱数文を生成するとともに
   、該乱数文の実行結果の確認を行うテストルーチンの呼
   び出しのための確認文を、該属性文法記述中に該処理対
   象文と対応付けて記述することで該乱数文と対にして生
   成して、言語処理プログラム用のテストプログラムとな
   すテストプログラム作成処理装置であって、上記属性文
   法記述中で定義される非終端記号の展開規則定義と、該
   展開規則定義中で用いられるパラメタとを、該非終端記
   号名と対応付けて構造的に管理する構造体変数管理部（
   ２５）と、上記属性文法記述中に記述される引数付きの
   非終端記号を検出するときに、上記構造体変数管理部（
   ２５）から該当する非終端記号の展開規則定義を読み出
   すとともに、該読み出した展開規則定義中のパラメタを
   該引数に動的に変換していくことで、該引数付きの非終
   端記号の本来の記述内容を特定する記述内容特定部（２
   ６）とを備えることを、特徴とするテストプログラム作
   成処理装置。
2. （２）請求項１記載のテストプログラム作成処理装置に
   おいて、 記述内容特定部（２６）は、引数付きの非終端記号の該
   引数が繰り返されてくるときに、該繰り返しの数に応じ
   て展開規則定義中のパラメタを該引数に動的に変換して
   いくことで、該引数付きの非終端記号の本来の記述内容
   を特定するよう処理することを、 特徴とするテストプログラム作成処理装置。