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

Abstract

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

Description

【発明の詳細な説明】 〔概要〕 言語処理プログラム用のテストプログラムを作成するテ
ストプログラム作成処理装置に関し、テストプログラム
の自動作成の提供を目的とし、属性文法記述に従って記
述された処理対象文に対しての乱数的な選択処理により
生成される乱数文と、乱数文の実行結果の確認のための
テストルーチンを呼び出す確認文とを対とするテストプ
ログラムを作成するテストプログラム作成処理装置であ
って、属性文法記述を内部形式に変換するり−ダと、変
換された内部形式の内の非終端記号については、生成規
則に従って再帰的に展開を実行して内部形式テストプロ
グラムに翻訳し、かつこの展開にあたって非終端記号の
種、々の属性を構造体変数として管理するとともに、終
端記号についてはそのまま内部形式テストプログラムと
して扱う翻訳処理器と、意味記述の実行を翻訳処理器か
らの起動依願に応じて実行する意味記述解釈器と、作成
された内部形式テストプログラムを実行可能なテストプ
ログラムとして出力するライタとを備えるよう構成する
。

〔産業上の利用分野〕

本発明は、言語処理プログラム用のテストプログラムを
作成するテストプログラム作成処理装置に関し、特に、
自動的にテストプログラムを作成できるようにするテス
トプログラム作成処理装置に関するものである。

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

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

〔従来の技術〕

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

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

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

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

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

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

このような構成をとる先の特許出願の発明の実用性を高
めていくためには、第６図に示すような、特定の言語で
記述される分かりにくい属性文法記述ではなくて、人間
にとって分かり昌い属性文法記述から直ちにテストプロ
グラムを作成できるようにする手段を講じていく必要が
あるとともに、機能追加があるときにも簡単に対応でき
るようにする手段を講じていく必要があり、更に、作成
されていく一連のテストプログラムの実行順序を自由に
変更できるようにする手段を講じていく必要があるので
ある。

本発明はかかる事情に鑑みてなされたものであって、先
の特許出願のテストプログラム作成処理装置の発明を一
歩進めて、実用性の高いテストプログラムの自動作成処
理装置の提供を目的とするものである。

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

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

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

〔作用〕

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

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

以上のように、本発明では、リーダ２１、翻訳処理器２
２、意味記述解釈器２７及びライタ２８という構成に従
って言語処理プログラム用のテストプログラムの自動作
成を実現した。このようにリーダ２１を備えるようにし
たことから、属性文法記述ｌＯの記述を特定の言語で記
述しなければならないということがなくなり、分かり易
い属性文法記述１０に従ってテストプログラム３ｏを作
成できるようになる。そして、意味記述解釈器２７を翻
訳処理器２２とは別に備えるようにしたことから、機能
追加の要求に対しても意味記述解釈器２７だけの簡単な
変更で対応できるようになる。

しかも、ライタ２８を備えるようにしたことから、一連
のテストプログラム３０の実行順序の変更等が容易に実
行できるようになる。

〔実施例〕

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

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

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

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

第３図に、「代入文」に関しての属性文法記述１０の一
実施例を示すとともに、第４図に、本発明のテストプロ
グラム作成処理装置２０に従って、この「代入文」に関
しての属性文法記述ＩＯから自動作成されることになる
テストプログラム３０の一実施例を示す。この第３図の
属性文法記述１０は、様々な形式の「代入文」を複数個
作成して、言語処理プログラム４０がそれらの「代入文
」についての計算処理を行ったときに、正しい数値を算
出するのか否かをテストするためにプログラマ等により
作成されることになる。この属性文法記述ＩＯと第６図
のそれとを比較すれば明らかなように、本発明の属性文
法記述１０は、人間にとって極めて分かり易い記述形式
となっている。

この第３図の属性文法記述１０から作成されることにな
るテストプログラム３０は、「代人文」の−態様である
乱数文（「代人文」の生成規則に対しての乱数的な選択
処理により生成される）と、ＣＨＥＣＫプログラム４４
を呼び出すための確認文との対を基本単位にして、この
基本単位を複数つなげることで構成される。具体的に説
明するならば、第４図中の ＡＡＥ＝−２９９＊４４Ｂ ＣＡＬＬ　　ＣＨＥＣＫ（１，ＡＡＥ、−１３３９５２
）がテストプログラム３０の基本単位をなすものである
。この基本単位の意味するところは、ＡＡＥ＝−２９９
＊４４Ｂ という乱数文を言語処理プログラム４０で処理させると
、変数名のｒＡＡＥｊのところに、−１３３９５２（＝
−２９９１４４８）の値がセットされていれば正しい処
理がなされたことになるので、この変数名と値とを引数
にして、ＣＨＥＣＫプログラム４４の呼び出しを行うＣ
ＡＬＬ　　ＣＨＥＣＫ（１，ＡＡＥ、−１３３９５２）
というｉｎ認文を、この乱数文と対にして記述するので
ある。ここで、確認文中の引数の１゛°は碓認文の通番
を表している。

従来では、このようなテストプログラム３０は、スヘて
人手によって作成されていた。これに対して、本発明で
は、第３図に示すような極めて分かり易い属性文法記述
１０から、このような人手により作成されていたテスト
プログラム３０を自動作成するよう処理することになる
。この属性文法記述１０が特定の言語（例えばＬＩＳＰ
）でな（て、このような誰にでも分かる記述で構成でき
るようになったのは、第１図でも説明したように、リー
ダ２１を備えるようにしたからである。

次に、第３図の属性文法記述１０を例にとりながら、本
発明のテストプログラム３０の作成処理について詳細に
説°明する。

リーダ２１（第１図で説明したものである）は、第３図
の属性文法記述１０を読み取ると、この読み取った属性
文法記述１０を翻訳処理器２２（第１図で説明したもの
である）が処理し易い形式である内部形式に変換する。

このようにして、内部形式の形で属性文法記述１０を受
は取ると、翻訳処理器２２は、内部形式の記号が意味す
るところの内容に従って、以下のような処理を実行する
ことで、第４図のテストプログラム３０を自動作成して
いくことになる。

すなわち、出発記号の「￥文法記述」に続いて記述され
る （設定　項番値　１） に従って、システム変数表の１項番値」という変数名の
ところに、“１°°をセットする。この設定処理は、翻
訳処理器２２が「設定」という記号を解釈したときに、
意味記述解釈器２７（第１図で説明したものである）が
管理する「設定」という名の関数に起動をかけることで
実行されることになる。この意味記述解釈器２７は、具
体的には、例えばＬＩＳＰシステムで構成されて、定義
されている関数の呼び出しがかかると、その関数の処理
を実行して処理値を翻訳処理器２２に返すよう処理する
ことになる。また、「項番値」というシステム変数は、
具体的には、作成されるテストプログラム３０中の確認
文の通番を管理する。

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

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

このようにして、第４図のテストプログラム３０の先頭
に位置する代入文の一態様であるＡＡＥ＝−２９９＊４
４Ｂ というテキストが作成されることになる。なお、■部分
の展開規則中に記述されている （ＮＥＱ＊ＧＮＴＥＲＭＶ＊Ｏ） は、除算処理の分母の値が“０゛°でないことが条件に
なることを表している。

「代入文Ｊの定義に続いて記述される ｒ代入　変数　（値　式）１ により、翻訳処理器２２は、意味記述解釈器２７が管理
する「代入」という名の関数に起動をかけることで、テ
スト対象言語用の変数表の「変数」のところに、１式」
の値を設定するよう処理する。

いまの場合、「変数」としてはｒＡＡＥ、が選択されて
いるので、このｒＡＡＥＪという変数名のところに１式
」の値を設定する。この「弐」の値は、具体的には、■
部分の選択規則の「数１本数２」の後に続いて記述され
ている ｒ値設定（＊（値　数１）（値　数２））Ｊで算出され
る。この算出処理も、意味記述解釈器２７により実行さ
れて、いまの場合では、「数値１」の値である”’−２
９９”と、「数値２」の値である４４８°゛との乗算値
である“−１３３９５２１が、この「式」の値として算
出される。これから、ｒＡＡＥｊという変数名のところ
に、“−１３３９５２”が設定されることになる。

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

このようにして、翻訳処理器２２は、以下同様の処理を
繰り返していくことで、第４図に示したような内部形式
テストプログラムの作成を実行することになる。すなわ
ち、乱数に従って、代入文の様々な態様を実現して、内
部形式テストプログラムの自動作成を実行するのである
。そして、属性文法記述１０に対応する内部形式テスト
プログラムの作成が終了すると、ライタ２８（第１図で
説明したものである）は、この作成した内部形式テスト
プログラムを実行可能なテストプログラムとして出力し
てテストプログラム３０の作成処理を終了する。

以上の具体例で説明したように、本発明では、翻訳処理
器２２は、属性文法記述１０中の非終端記号については
、展開規則（主に、終端記号と非終端記号と意味記述と
からなる）に従って再帰的に内部形式非終端記号に翻訳
していくとともに、属性文法記述１０中の終端記号につ
いては、殆ど翻訳せずにそのままのものとして解釈し、
属性文法記述１０中の意味記述（非終端記号を展開して
いくための関数の起動指示や、非終端記号を扱う関数の
起動指示等）については、意味記述解釈器２７に起動を
依鯨してい（よう処理する。そして、内部形式の非終端
記号を種々の属性からなる構造体変数として扱うよう処
理することで、この展開処理を実現することになる。こ
の構造体変数として扱われる属性としては、例えば、展
開結果（展開規則によりどのように展開したかを内部形
式終端記号、内部形式非終端記号の順序集合体として保
持）、値（式の計算結果や変数名など非終端記号を展開
した結果の意味的値を保持）、変数表（テスト対象言語
用の変数情報やテストプログラム作成上必要となる変数
情報を保持）等がある。

〔発明の効果〕

このように、本発明によれば、直観的に分かり昌い属性
文法記述から、応用範囲の広い言語処理プログラム用の
テストプログラムが効率的に自動作成できるようになる
。しかも、機能追加は主に意味記述解釈器２７に対して
行えばよいので、柔軟性にも富むことになる。そして、
リーダ２１が付加されていることから、テストプログラ
ムの生成規則の機能拡張や変更に対しても柔軟に対応で
きるとともに、ライタ２８が付加されていることから、
テストプログラムの作成順番と出力順番を変更したりす
るといったような加工を施すこともできることになる。

これから、本発明を用いることで、テスト効率が著しく
高められるとともに、テストの質も著しく高められるこ
とになる。

【図面の簡単な説明】

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

Claims (1)

1. 【特許請求の範囲】 生成規則と意味記述とからなる属性文法記述に従って記
   述された言語処理プログラムの処理対象文に対して、生
   成規則に関しての乱数的な選択処理を施すことで該処理
   対象文の一態様をなす乱数文を生成するとともに、該乱
   数文の実行結果の確認を行うテストルーチンの呼び出し
   のための確認文を、該属性文法記述中に該処理対象文と
   対応付けて記述することで該乱数文と対にして生成して
   、言語処理プログラム用のテストプログラムとなすテス
   トプログラム作成処理装置であって、 上記属性文法記述を内部形式に変換するリーダ（２１）
   と、 該リーダ（２１）により変換された内部形式の内の非終
   端記号については、生成規則に従って再帰的に展開を実
   行して対応する内部形式テストプログラムに翻訳し、か
   つこの展開にあたって必要とされる非終端記号の種々の
   属性を構造体変数として管理するとともに、終端記号に
   ついてはそのまま内部形式テストプログラムとして扱う
   よう処理する翻訳処理器（２２）と、 該翻訳処理器（２２）による内部形式テストプログラム
   の作成にあたって必要となる意味記述の実行を、該翻訳
   処理器（２２）からの起動依頼に応じて実行する意味記
   述解釈器（２７）と、 上記翻訳処理器（２２）により作成された内部形式テス
   トプログラムを実行可能なテストプログラムとして出力
   するライタ（２８）とを備えることを、特徴とするテス
   トプログラム作成処理装置。