JPH06214775A - テストプログラム作成支援装置 - Google Patents

Abstract

(57)【要約】 【目的】言語処理プログラムのテストに用いるテストプ
ログラムの作成において、文法の網羅性を確保したテス
トプログラムの集合を、容易に作成できること。 【構成】言語処理プログラムの機能である文の構文規則
を入力し、その構文規則から導出される全ての文パター
ンを自動生成する文パターン生成部と、文パターンを表
示し、使用者のキー操作を伺って、文パターンを編集す
ることでテストプログラムを作成するテストプログラム
編集部とからなる。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、言語処理プログラムの
テストに用いるテストプログラムの作成において、文法
の網羅性を確保したテストプログラムの集合を、容易に
作成するためのテストプログラム作成支援装置に関する
ものである。

【０００２】

【従来の技術】言語処理プログラムのテストプログラム
の作成方法として、一般的な方法は人手による作成であ
る。すなわち、検査員等が言語処理プログラムの機能で
ある各文の構文規則が記載されたドキュメントから文の
機能や文法を読み取り、テストに必要であると思われる
文を検査員の経験的な判断により選出し、エディタ等に
よりファイルに書き込んでテストプログラムを作成して
いた。また、このほかに機械的な方法も実施されてい
る。特開平１−２２００４４号公報（昭和６３年２月２
９日出願、”言語処理プログラム検証方式”）では、言
語処理プログラムの各文の文法を示した構文・意味記述
を入力し、乱数的に構文規則をたどり、自動的にテスト
プログラムを作成する方式が報告されている。また、特
開平３−７５８４０号公報（平成１年８月１７日出
願、”テストデータ作成支援装置”）では、言語処理プ
ログラムの各文の文法を示した文法定義ファイルと、既
存のテストプログラムの集合とを入力とし、既存のテス
トプログラムの集合の文法の網羅性を判定し、不足のテ
ストプログラムを自動的に作成する装置が報告されてい
る。ここで、文法の網羅性とは、言語処理プログラムの
各文の構文規則において、各生成規則の使用の程度を示
すものである。

【０００３】

【発明が解決しようとする課題】しかしながら、上記の
方法は現実的な言語プログラムのテストにおいて、それ
ぞれにいくつかの問題点を含んでいる。

【０００４】まず、人手による作成では、文法以外でも
テストプログラム作成時に考慮しなければならない要素
などを作成者の考えにより自由にテストプログラム中に
取り込めるといった利点はあるが、作成されたテストプ
ログラムの集合が、文法の網羅性を確保しているかどう
かは、検査員の能力に左右されるため、網羅性を確保し
たテストプログラムを安定して得られなかった。また、
多数のテストプログラムの集合をエディタで作成する作
業は、多大な労力を必要とするといった問題点があっ
た。

【０００５】また、”言語処理プログラム検証方式”で
は、自動的なテストプログラムの作成を実現している
が、文の生成過程で乱数を使用していることから、文法
の網羅性が確保されないといった問題点があった。

【０００６】”テストデータ作成支援装置”では、自動
的なテストプログラムの作成を実現し、文法の網羅性も
考慮されているが、ここでの網羅性は「個々の生成規則
が少なくとも一度使われたか」という意味であり、「個
々の生成規則の組み合わせにより導出されうる全ての文
を生成したか」という意味では十分ではないといった問
題点があった。図８に「個々の生成規則が少なくとも一
度使われたか」という意味で網羅性を考えた場合と「個
々の生成規則の組み合わせにより導出されうる全ての文
を生成したか」という意味で網羅性を考えた場合にでき
るテストプログラムの相違を示す。前者に７２が後者に
７３が対応する。現実的に言語処理プログラムのテスト
において、７３２、７３３の文によりテストを行うこと
は必要である。

【０００７】さらに、通常、ソースプログラムの形式は
４４に示すように複数の文から構成されることによっ
て、初めて即実行可能な正しい形式のプログラムとな
り、また、見やすさを考えてインデンテーションをつけ
るなどの編集がされている。しかし、２つの自動的な方
法（”言語処理プログラム検証方式”、”テストデータ
作成支援装置”）は、４１に示すような１つの文だけか
らなるテストプログラムしか生成せず、テストプログラ
ムを編集するという点が考慮されていないといった問題
点があった。

【０００８】本発明の目的は、生成規則の組み合せまで
考慮された文法の網羅性が確保され、かつ、人手により
作成したように、見やすく、即実行可能な正しい形式の
テストプログラムの集合を容易に作成できる装置を提供
することにある。

【０００９】

【課題を解決するための手段】本発明が、上記の目的を
達成するための手段を図１、図４により説明する。

【００１０】図１において、構文規則ファイル１は、言
語処理プログラムの各文の構文規則をバッカス記法で記
述し、示したものである。テストプログラム作成支援装
置２は本発明を具備するものであり、文パターン生成部
３とテストプログラム編集部４とからなる。文パターン
生成部３は、構文規則ファイル１を入力し、構文規則か
ら導出される全ての文パターンを逐次に生成する。ここ
で、文パターンとは４１に示すようなもので、あと１回
の導出で終端記号に変換されるような非終端記号を含む
文のパターンである。

【００１１】テストプログラム編集部４は、文パターン
生成部３により生成された文パターンを表示装置５に表
示し、入力装置６による使用者のキー操作を伺い、非終
端記号の終端記号への変換（４２）、文のインデンテー
ション（４３）、他の文の取り込み（４４）を行ってテ
ストプログラム７を完成させる。

【００１２】

【作用】本発明では、文パターン生成部３が構文規則フ
ァイル１を入力し、構文規則を木構造の内部形式に変換
する。さらに、この変換された構文規則を解析すること
によって、構文規則から導出される全ての文パターンを
逐次に生成する。テストプログラム編集部４はこの文パ
ターンを受け取り、１つの文パターンを表示装置５に表
示する。ここで、入力装置６による使用者のキー操作を
伺い、キー操作によって非終端記号の終端記号への変
換、文のインデンテーション、他の文の取り込みを行
う。

【００１３】非終端記号の終端記号への変換は、使用者
が文パターン中の変換したい非終端記号をキー操作によ
り選択し、さらに、その非終端記号に対応する終端記号
の集合の中から任意の終端記号をキー操作により選択す
ることにより行われる。また、非終端記号を終端記号に
変換せずに残しておくと、その非終端記号に対応した全
ての終端記号を選択したことになり、２つ以上の非終端
記号が残されると、それらの非終端記号に対応する終端
記号を組み合わせて選択したことになる。

【００１４】文のインデンテーションは、使用者が文パ
ターン中の改行したい位置をキー操作により指定するこ
とで行われる。また、行われたインデンテーションは、
次の文パターンにも引き継がれる。

【００１５】他の文の取り込みは、使用者が取り込む文
のあるファイルのファイル名をキー操作により指定する
ことで行われる。また、取り込まれた文は、次の文パタ
ーンにも引き継がれる。

【００１６】以上の操作により作成されたテストプログ
ラムは、自動的にファイル名が指定されて、ディスク装
置に登録される。

【００１７】このように本発明では、文の構文規則から
全ての文パターンを自動的に作成するため、最終的に作
成されたテストプログラムの集合が文法の網羅性を確保
することが保証され、また、簡単なキー操作によりテス
トプログラムが編集され、登録できるため、テストプロ
グラム作成作業にかかる工数が従来より大幅に削減でき
る。

【００１８】

【実施例】以下、本発明を実施例に基づいて詳細に説明
する。

【００１９】図１は、本発明を適用したテストプログラ
ム作成支援装置の構成を示すものである。

【００２０】図１において、構文規則ファイル１は、言
語処理プログラム（被テストプログラム）の機能である
各文の構文規則をバッカス記法で記述し示したもの、テ
ストプログラム作成支援装置２は、本発明を具備するも
ので、文パターン生成部３とテストプログラム編集部４
からなるもの、文パターン生成部３は、構文規則ファイ
ル１を入力して、構文規則から導出される全ての文パタ
ーンを逐次に生成するもの、テストプログラム編集部４
は、文パターン生成部３で生成された文パターンを表示
装置５に表示し、入力装置６から使用者の操作によって
与えられる指示により、表示装置５に表示される未完成
のテストプログラムを編集して完成させるもの、テスト
プログラム７は、完成したテストプログラムの集合であ
る。

【００２１】図２は、簡単な文の構文規則を記述したも
ので、構文規則ファイル１の例を示すものである。

【００２２】図２（２１）において、各行は、文の構文
規則を示した生成規則、生成規則の右辺中の”＜”、”
＞”で囲まれた記号は、非終端記号、括弧で囲まれてい
ない記号は、終端記号、”｜”はｏｒのを表わす記号で
あり、先頭行の左辺の記号はこの構文規則における出発
記号である。尚、構文規則を木構造で表したときの最下
段以外の全ての部分の生成規則が２１にあたる。

【００２３】図２（２２）において、各行の右辺の各記
号は終端記号であり、使用者によるテストプログラムの
編集において、左辺の非終端記号に対する選択肢とな
る。尚、構文規則を木構造で表したときの最下段の部分
の生成規則が２２にあたる。

【００２４】図３は、文パターン生成部２により逐次に
生成される文パターンであり、２１をもとに生成された
ものである。

【００２５】図４は、文編集部３により、一つの文パタ
ーンをもとに一つのテストプログラムが完成されていく
過程を示したものである。

【００２６】図４において、４１は文パターン生成部２
により生成された一つの文パターン、４２は４１の全て
の非終端記号を終端記号に変換してできた一つの文、４
３は４２にインデンテーションをつけたもの、４４は４
２の前後に他の文を取り込んでできた完成した一つのテ
ストプログラムである。

【００２７】図５及び図６は、文編集部３により、一つ
の文パターンをもとに複数のテストプログラムが完成さ
れていく過程を示したものである。

【００２８】図５及び図６において、５１は文パターン
生成部２により生成された一つの文パターンと前の状態
から引き継いだ他の文、５２は５１のいくつかの非終端
記号を終端記号に変換したもの、５３は完成した複数の
テストプログラムである。

【００２９】図７は、非終端記号の終端記号への変換の
過程を示したものである。

【００３０】以上のように構成された本実施例のテスト
プログラム作成支援装置を用いて、図２に示す構文規則
を持つ言語処理プログラムのテストプログラムを作成す
る過程を説明する。

【００３１】まず、文パターン生成部３は、図２に示す
構文規則を入力し、構文規則を木構造の内部形式に変換
する。さらに、文パターン生成部３は、木構造の構文規
則をルートより２２の生成規則の直前までたどり一つの
文パターンを生成する。例えば３０の１行目の文パター
ンを作成するとき、文パターン生成部３は、２１の１行
目の生成規則を（DELETE <ファイル名> WHERE <比較述
語>）→（DELETE <ファイル名> WHERE <値式> <比較演
算子> <値式>）→（DELETE <ファイル名> WHERE<列名>
<比較演算子> <列名>）のように生成する。このように
して文パターン生成部３は、３０に示す文パターンを逐
次に生成し、最終的にはこの構文規則の最下段（２２）
を除く生成規則から導出される全ての文パターンを生成
する。

【００３２】次に、生成された文パターンは、一つずつ
テストプログラム編集部４に渡され、４１に示すように
表示装置５に表示される。表示された文パターン中の非
終端記号（２２の左辺）は、入力装置６のカーソルキー
（←→キー）の操作によって変換する非終端記号が示さ
れ、カーソルキー（↓キー）によって図７に示す順序で
終端記号（２２の右辺の一つ）に変換される。そして、
文パターン中の全ての非終端記号が終端記号に変換され
ると、４２に示すような文ができる。

【００３３】さらに、文中の改行したい位置をカーソル
キー（←→キー）の操作により指定し改行キーを押下、
タブキーにより前方のスペースを挿入すると、４３に示
すように文のインデンテーションが行われる。また、ア
ルファベットキーの操作により、取り込む文のあるファ
イルのファイル名を指定すると文が取り込まれ、４４に
示すようなテストプログラムが完成する。最後に、実行
キーを押下すると自動的にファイル名が指定され、ディ
スク装置に登録される。（尚、４２、４３、４４を行う
順序はどのような順序でも構わない）このようにして、
一つのテストプログラムの作成が終わると、現在の終端
記号をさらに別の終端記号に変換して、次々にテストプ
ログラムを作成する。このとき、インデンテーションや
取り込まれた文はそのまま引き継がれる。また、一つの
文パターンに対して十分なテストプログラムを作成した
ときは、スペースキーの押下により次の文パターンを表
示して、同様の操作を繰り返す。最後の文パターンにつ
いて、テストプログラムの作成が終わると、この構文規
則によって導出されうる全ての文のパターンを網羅した
のテストプログラムが完成する。

【００３４】次に、複数のテストプログラムを同時に作
成する過程を図５を用いて説明する。

【００３５】まず、上記の過程と同様に文パターン生成
部３よりテストプログラム編集部４に文パターンが渡さ
れ、５１に示すように表示装置５に表示される。表示さ
れた文パターン中の決定したいいくつかの非終端記号を
終端記号にカーソルキー（←→↓）の操作により変換
し、そのほかの非終端記号はそのまま残す（５２）。最
後に、ディスクへの登録を行うと、残された非終端記号
が自動的に終端記号に変換され、５３のように複数のテ
ストプログラムができる。また、この例のように複数の
非終端記号が残された場合、それぞれの非終端記号に対
応する終端記号が組み合わされてテストプログラムが作
成される。

【００３６】

【発明の効果】以上説明したように、本発明によれば、
文の構文規則を入力し、その構文規則から導出される全
ての文パターンを自動的に生成することにより、文法の
網羅性を確保した品質の良いテストプログラムの集合を
作成することができる。また、簡単なキー操作により、
非終端記号の終端記号への変換、文のインデンテーショ
ン、他の文の取り込みなどのテストプログラムの編集、
登録が可能なため、テストプログラム作成作業にかかる
工数を従来より大幅に削減できる。

【図面の簡単な説明】

【図１】本発明における実施例の言語処理プログラム用
テストプログラム作成支援装置のブロック図である。

【図２】構文規則ファイルの内容図である。

【図３】文パターンの内容図である。

【図４】テストプログラム編集部の処理内容図である。

【図５】テストプログラム編集部の処理内容図である。

【図６】図５に続くテストプログラム編集部の処理内容
図である。

【図７】テストプログラム編集部における非終端記号の
終端記号への変換の処理内容図である。

【図８】本発明と従来技術における文法の網羅性を比較
するための構文規則とテストプログラムの内容図であ
る。

【符号の説明】

１…構文規則ファイル、 ２…テストプログラム作成支援装置、 ３…文パターン生成部、 ４…テストプログラム編集部、 ５…表示装置、 ６…入力装置、 ７…テストプログラム、 ２１…上位生成規則、 ２２…下位生成規則、 ３０…文パターン、 ４１…文パターン、 ４２…文、 ４３…インデンテーションされた文、 ４４…完成したテストプログラム、 ５１…文パターンを含む未完成のテストプログラム、 ５２…非終端記号を含む未完成のテストプログラム、 ５３…完成した複数のテストプログラム、 ６０…変換順序、 ７１…構文規則、 ７２…テストプログラム、 ７３…テストプログラム。

Claims (2)

【特許請求の範囲】
1. 【請求項１】言語処理プログラムの動作の正当性を検証
   するためのテストプログラムの作成において、言語処理
   プログラムの機能である文のバッカス記法で記述された
   構文規則をもとに、その構文規則を木構造で表したとき
   の最下段を除く全ての生成規則の組み合わせにより導出
   されうる全ての文のパターンを、逐次に生成することを
   特徴とするテストプログラム作成支援装置。
2. 【請求項２】文のパターンを画面に表示し、文のパター
   ン中の非終端記号を使用者がキー操作により選択した終
   端記号に変換する機能、文を見やすくするためにインデ
   ンテーションをする機能、作成した文以外の必要な文を
   作成した文の前後に取り込む機能などのテストプログラ
   ム編集機能と編集したテストプログラムをファイルとし
   て、ディスク装置に出力する機能を持つことを特徴とす
   るテストプログラム作成支援装置。