JPH08504526A

JPH08504526A - コンピュータにてオブジェクト指向プログラムの少なくとも１つのクラスのテストをする方法

Info

Publication number: JPH08504526A
Application number: JP6513773A
Authority: JP
Inventors: ゼーバルトコルプ，
Original assignee: Siemens AG
Current assignee: Siemens AG
Priority date: 1992-12-17
Filing date: 1993-12-08
Publication date: 1996-05-14
Also published as: EP0674784B1; EP0674784A1; WO1994014117A1; US5794043A; DE59307182D1

Abstract

(57)【要約】本発明によりはじめてオブジェクト指向プログラムのクラスのテストのための方法が提供される。クラスがテストされ、ここで、テスト者によりメソッド呼出を可能にするテストコマンドがインタラクティブに入力されることにより当該クラステストが行われる。テスト性は次のようにして達成される、即ち、あらかじめ、クラス内に許容されたすべてのメソッドに対して所要の呼出パラメータが求められ、そして、コンピュータメモリにて可能なパラメータを記憶し、変化させ得るための事前措置が施される。利点とするところはインタラクティブにテストされ得ることであり、そして、従来のようにテスト評価後に時間をかけて改めて補正して変換しバインドしなければならないということをしなくてもよいようになる。有利には本発明はコミュニケーションソフトウエアの開発の際使用され得る。

Description

【発明の詳細な説明】コンピュータにてオブジェクト指向プログラムの少なくとも１つのクラスのテストをする方法産業上の大型プロジェクトの枠内におけるシステム解法（手法）の規模の増大と共にソフトウエアが当該解法（手法）に寄与する度合いも増大する。大きなソフトウエアプロジェクトを有効に展開処理し得るためには当該プロジェクトを部分プロジェクトに細分化し、個々のプログラムをモジュラー式に作成することが有利であることが明らかになっている。プログラムのモジュラー式作成の場合の際立った側面はまた、個々のプログラムモジュールが他のプロジェクトによっても同様に容易に利用され得ることである。過去何年間に亘って、これに関して特にオブジェクト指向プログラミングの技術が有利であることが判明している。オブジェクト指向プログラミングの基礎及びネーミングに対する導入、紹介は例えば［１］に掲載ざれている。個々のプログラムの再利用可能性に関連して、特に当該プログラムモジュールの品質保全の重要性が高まっている。特に個々のプログラム構造の誤りのない品質は特に開発されたテスト方式により考慮される。ソフトウエアテストの重要な関心事項はテストでカバーされる枠内でソフトウエアの品質を検証することである。その作業の際のテスト実行者を支援するため種々のテスト方式が可能である。それらのテスト方式によっては個々のプログラムモジュールからシステム方式全体一揃いまでソフトウエアの連続一貫したテストを可能にするものである。ここで殊に３つの相互に依拠しあうテストを区別する、即ちコンポーネント、統合化テスト、システムテストである。コンポーネントは個々のプログラムコンポーネント内のエラーを見出すことを目的とする。コンポーネントとは従来は１つ又は複数のモジュールであり、例えばオブジェクト指向プログラミングではクラスである。コンポーネントは統合化テストにより補充される。上記統合化テストによってはテスはインターフェースにて、及び被テストコンポーネント間の通信にてのエラー（誤り）が発見される。終わりに、システムテストが実施され、該テストはカストマの観点からのテストである（例えば交換機全体一揃い一式のテスト）。それの目的はプログラムシステム全体の安定性を“負荷”状態のもとで、換言すれば現実的かつ極端な条件のもとでテストすることである。オブジェクト指向プログラミングの技術の枠内ではコンポーネントテストはクラスに対するテスト方式により準備される。有利には個々のプログラムコンポーネントのテスト、即ちクラスのテストから開始する。プログラムのテストの際、テストされていないクラスに基づく場合、クラスインプリメンテーションの際なされた誤りは見出すのが極めて困難又は見出されず、従って克服するのが困難である。その根拠はプログラム全体の見通しの悪さのほかに当該の機能上の誤りが、個々のオブジェクトの共働の際生じる誤り（通信−ないしインターフェース誤り）と混合することにある。良好にテストされたクラスに対するさらなる重要な理由は当該クラスを再び使用し得る可能性に存する。定性的に劣悪なソフトウエアは明らかに再使用には不適である。クラスは被テスト対象（体）としてはそれ自体のみでは処理不能であり、もって、付加的コストをかけずにはＯＳのデバッガによりデバッグできない。それらの被テスト対象（体）は単にプログラム構造をなすに過ぎないので、それのテストのためにはオブジェクトをそれから導出することがどうしても必要である。その際クラスは次のようにしてテストされる、即ちオブジェクトにて相応のメソッドを呼び出し、実行するのである。呼出さるべきオブジェクトのデータコンポーネントの値と共に行うメソッド呼出のパラメータはテストデータを成す。オブジェクト指向プログラミングの技術は比較的若い。従って、オブジェクト指向ソフトウエアのクラスのテストのための技術的手法は存在しない。プログラマが従来手法で１つのクラスをテストしようとする場合、先ず或１つのテストケースを生成し、即ち、１つのプログラム（これは１つのクラスから１つのオブジェクトを実現値化する）を生成しなければならなくなる。更にプログラマはテストのプリフィールドにてメソッド呼出を当該オブジェクトに対するパラメータ値を含めて当該プログラム内に組み込まなければならなくなり、ここで上記パラメータはできるだけ精確に、自分が見出すべきエラーに適合されるべきものである。それに引き続いて、プログラマは当該プログラムを翻訳変換し、バインドしなければならない。テスト実行後、評価が行われることとなる。テスト実行により当該クラスの動作機能性について情報データが得られる。場合によっては当該過程全体を改めて実施しなければならない。本発明の基礎を成す課題とするところはコンピュータにてオブジェクト指向プログラムの少なくとも１つのクラスのテストのための相互作用的（インタラクティブ）方法を提供することに存する。上記課題は請求の１の構成要件により解決される。本発明の他のすべての発展形態はサブクレームから明らかである。上記の方法において特に有利であるのはクラスが時間的にそれの本来の適用前に且つそれに無関係にオブジェクト指向プログラムテストされ得ることである。本発明の方法の適用上特に有利であるのは、テストのプリフィールドにて既に、テストにとって規定的なすべての特性量が求められ、そして、テストプログラムはただ１度翻訳変換（トランスレート）され、バインドされればよいということである。亦複数クラスの共働動作をも有効にテストし得るため本発明の方法では関与するクラスの外部メソッドインターフェースにて規定されたメソッドに対するすべてのテストに関与するクラスを生成するのである。特に有利には、本発明の方法にてプリフィールドにてオブジェクト初期化又はメソッド呼出のためメモリ割当を行う。メモリ割当の有利な形態は例えばポインタを介するものであり、該ポインタはテスト作動中定義替えされ得る。更に有利には本発明の方法はオブジェクト内部のデータコンポーネントに対するアクセスを行う、それというのは当該データコンポーネントは、通常オブジェクト指向プログラミングの際通常のデータ隠蔽（Ｈｉｄｉｎｇ）のためテスト実行者にはアクセス不能であるからである。更に本発明の方法において有利にはデバッガが接続され、その結果テストの際発見されたエラーが付加的にデバッガを用いて分析され、局所化され得ることである。１つのクラスの動作機能（の様子）をできるだけ完全にテストし得るため、本発明の方法は有効にジェネリック及び継承クラスに対するメソッド情報の生成を行う。次ぎに図を用いて本発明を詳述する。図１は本発明の方法の１実施例を示す。この実施例は例えば交換装置に係わる。プログラミング言語（この言語にてコンピュータはプログラミングされる）は例えばオブジェクトＣＨＩＬＬ（［２］）である。図２は例えばプログラムリスティング（リスト状態）を示す。図３は本発明の方法のブロックダイヤグラムを示す。図１に示すように例えばクラス仕様化（特化）からジェネレータ（生成プログラム）Ｇを用いてメソッド情報が生成され、そして、当該メソッド情報はメソッド呼出の相応のパラメータのための変数メモリ及び被テスト対象（体）クラスのオブジェクトを用意するために用いられる。それに引き続いて、トランスレータＵを用いてテストフレームＴＲがコマンドインタプリタＫＩと共に翻訳変換され、それにより、仕上がりのテストプログラムＴＰが形成される。当該のコマンドインタプリタＫＩは例えばテストコマンド言語（命令シンタクス）は、更に以降の明細書記載中“入力”のところに説明する）にて作成される。而して、例えばテスト終端にてテストシナリオを簡単に作成し得る。例えばコマンドインタプリタは次のような命令を可能にする。例えば本発明の方法では２種類の変数が区別される。１つは純然たるＩＤＳ変数（ＩｎｔｅｒａｃｔｉｖｅＤｅｂｕｇｇｉｎｇＳｙｓｔｅｍ）であり、これは慣用のように宣言され利用され得るものである。もう１つは被テスト対象（体）−又はパラメータクラスのインスタンスとしてコマンドＤＣＬ＿ＯＢＪを介して宣言される。例えば共にバインド（リンク）されたモジュールからの変数はＩＤＳを介して、また、ループ及び分岐のブール式（論理的）条件にて、または右辺でのＩＤＳを以ての割当により使用され得る。ＤＣＬ＿ＯＢＪで仕様化（宣言）された、ＩＤＳのバインディング（結合リンク）は例えばモード“ＲＥＦ被テストクラス”（これはＤＣＬ＿ＲＥＦ＿ＯＢＪで仕様化されるべきものである）及び２つのコマンドＡＳＳＩＧＮ＿ＲＥＦ＿ＯＢＪ及びＡＳＳＩＧＮ＿ＤＥＲＥＦ＿ＰＴＲにより形成される。例えばテストシステムコマンド言語のオペレータはＩＤＳオペレータにて写像される。本発明の方法では例えば次のような命令（該命令はテスト者（端）より相互作用的に入力され、テストの際高い信頼性を確保する）をオブジェクト処理のため用意し得る。テスト者（端）によるテスト入力及びそれによりなされる呼出は有効に別個に管理される。例えばオブジェクト管理部はコンピュータオブジェクトへのコマンド言語でのテストオブジェクトの割当を確保するため設けられる。更に、ハードウエア的に経過処理されるプログラムとのテストメソッド呼出の一貫性を確保する呼出処理部をも有利に設け得る。このためにテストプログラムを新たに生成する必要はない。オブジェクト処理用のコマンドモジュールクラスのオブジェクトの仕様化（宣言）ＤＣＬ＿ＯＢＪオブジェクト名クラス名“（“パラメータリスト”）” 当該コマンドによっては１つのオブジェクトがコマンド言語の平面レベルで用意される。パラメータリストはコンストラクタ呼出に対するパラメータを表す。それは脱落し得る。その際、標準コンストラクタが呼出される。そうでないと、メソッド呼出の場合と同じ規則が適用される。オブジェクト名は記号（シンボル）＆（これには大文字、次いでせいぜい更に２９の大文字、数字又はアンダラインが続く）からならなければならない。そうでないとエラー通報“ＩＬＬＥＧＡＬＯＢＪＥＣＴＮＡＭＥ”が出力される。クラスはテストフレームの生成の際、共に考慮されていなければならず、そうでないとエラー通報“ＵＮＫＮＯＷＮＣＬＡＳＳ”が出力される。或１つのオブジェクトが指定（指示）された名で仕様化（宣言）されている場合はエラー通報“ＯＢＪＥＣＴＡＬＲＥＡＤＹＤＥＣＬＡＲＥＤ”が出力される。コマンドＤＣＬ＿ＯＢＪはＩＤＳコマンドＤＣＬの区別のため選ばれたものである。オブジェクトに対するボインタの仕様化（宣言）ＤＣＬ＿ＲＥＦ＿ＯＢＪボインタ名ＲＥＦクラス名仕様化（宣言）されたポインタはＩＤＳ変数であり、それの存在についてはオブジェクト管理部が知識を得ているＩＤＳの規則は遵守されるべきである。クラス（それについてはオブジェクトが仕様化（宣言）され得る）に対するポインタモードはテストシステムにて内部的に宣言される。ＤＩＳＰＯＳＥ＿ＯＢＪ＿コマンドによるオブジェクトの消去の際、次のことがチェックされる、即ち消去さるべきオブジェクトのクラスに対してＤＩＬ＿ＥＦ＿ＯＢＪで仕様化（宣言）されたポインタが当該オブジェクトを指し示すか否かがチェックされる（参照ＤＩＳＰＯＳＥ＿ＯＢＪコマンド）。モジュールークラスのオブジェクトの消去ＤＩＳＰＯＳＥ＿ＯＢＪオブジェクト名当該コマンドによっては先にＤＣＬ＿ＯＢＪで実現値化されたオブジェクトが再び消去される。オブジェクトはあらかじめ生成されていなければならず、そうでないエラーケースが生じる。これは“ＯＢＪＥＣＴＵＮＤＦＦＩＮＥＤ”で通報される。消去さるべきオブジェクトのクラスに対してＤＣ＿ＬＲＥＦ＿ＯＢＪで仕様化（宣言された）が当該オブジェクトを指し示す場合にはコマンドは実行されず、エラー通報ＹＥＴＲＥＦＥＲＥＮＣＥＤが出力される。但し、ＤＣＬ＿ＲＥＦ＿ＢＪで仕様化（宣言）されたポインタとは別のポインタがオブジェクトに対して存在するか否かはチェックされない。オブジェクトのアドレスの転送ＡＳＳＩＧＮ＿ＲＥＦ＿ＯＢＪオブジェクト名ＩＤＳ変数コマンドはＩＤＳ変数内へ指定されたオブジェクトのアドレスを記述し表す。当該ＩＤＳ変数はＤＣＬ＿ＲＥＦ＿ＯＢＪを以て指定されたオブジェクトのクラスに対するポインタとして仕様化（宣言）されていなければならない。そうでないと、誤り通報“ＵＮＫＮＯＷＮＩＤＳ−ＰＯＩＮＴＥＲ”が出力される。（ＤＣＬ＿ＲＥＦ＿ＯＢＪ）ポインタを有するクラスに対するポリモアヒズムのない）。オブジェクトはあらかじめＤＣＬ＿ＯＢＪで生成されていなければならない、そうでないと、誤り通報“ＵＮＫＮＯＷＮＯＢＪＥＣＴ”が出力される。コマンドの後でＩＤＳ変数はオブジェクトを指し示す。当該コマンドによりテスト実行者に対してコマンド言語のオブジェクトとＩＤＳとの間のバインディングないしリング（連結）が形成される。非参照化ポインタのデータの転送ＡＳＳＩＧＮ＿ＤＥＲＥＦ＿ＰＴＲＩＤＳ変数オブジェクト名コマンドはボインタの指し示すオブジェクトのデータを指定されたオブジェクト内にコピーする。当該コマンドによってはテスト実行者に対してコマンド言語のオブジェクトとＩＤＳとの間のバインディングないしリング（連結）が形成される。当該ＩＤＳ変数はＤＣＬ＿ＲＥＦ＿ＯＢＪを以て指定されたオブジェクトのクラスに対するポインタとして仕様化（宣言）されていなければならない。そうでないと、誤り通報“ＵＮＫＮＯＷＮＩＤＳ−ＰＯＩＮＴＥＲ”が出力される。（ＤＣＬ＿ＲＥＦ＿ＯＢＪ）ポインタを有するクラスに対するポリモアヒズムのない）。ＩＤＳ変数は亦実際に当該クラスの１つのオブジェクトを指し示していなければならない。このことはテストシステムによってはチェックされ得ない。指定されたオブジェクトはあらかじめＤＣＬ＿ＯＢＪで生成されていなければならない、そうでないと、誤り通報“ＵＮＫＮＯＷＮＯＢＪＥＣＴ”が出力される。オブジェクトのデータの出力ＳＨＯＷＯＢＪオブジェクト名コマンドによってはプロトコルデータＡＬＬ，ＯＵＴ内へ及びターミナルへ（これが起動された場合このためのコマンドのＰＲＯＴＳＴＡＴＵＳ）指定されたオブジェクトのデータアトリビュート（属性）の出力が生ぜしめられる。上記コマンドはＩＤＳコマンドＤＩＳＰＬＡＹで実現される。指定されたオブジェクトはあらかじめＤＣＬ＿ＯＢＪで生成されていなければならない、そうでないと、誤り通報“ＵＮＫＮＯＷＮＯＢＪＥＣＴ”が出力される。オブジェクトデータを出力するもう１つの手法（可能性）はコマンドＳＡＹ及びＷＲＩＴＦを用いての、オブジェクトを指し示す非参照的ＩＤＳポインタの指示である。通常メソッドの呼出オブジェクト名メソッド名“（“パラメータリスト”）” 指定されたオブジェクトの場合メソッドはパラメータリストのパラメータで呼出される。当該オブジェクトはあらかじめＤＣＬ＿ＯＢＪで生成されていなければならない。パラメータとしてはたんにＩＤＳ変数又はオブジェクト（これはコマンド言語で仕様化（宣言）されている）のみが許容されている。誤ったモードの場合、誤り通報“ＰＡＲＡＭＥＴＥＲＭＯＤＥＳＤＯＮＯＴＦＩＴＴＯＭＥＴＨＯＤＮＡＭＥ”が出力される。被テスト対象（体）クラスのメソッドにおける可能なオーバーロードのためモード誤り（エラー）は一般に比較的精確には局在（所）化され得ない。パラメータはカンマにより分離されるべきであり、ここで２つの直ぐ順次連続するパラメータ間で、それぞれ精確に１つのカンマが存在するように分離されるべきである。結果によるメソッドの呼出変数：＝オブジェクト名、メソッド名“（“パラメータリスト”）” 通常のメソッドの呼出の際におけると同じ規則が適用される（上記参照）。結果の割り当てられる変数はＩＤＳ変数又はあらかじめＤＣＬ−ＯＢＪで仕様化（宣言）されたオブジェクトは適当モードでなければならない。そうでなければ誤り（エラー）通報が出力されるオブジェクトについての割当Ｏｂｊ：＝Ｏｂｊ；２Ｏｂｊ１のデータコンポーネントにはＯｂｊ２の相応の値が割り当てられる。両オブジェクトはあらかじめＤＶＬ−ＯＢＪで仕様化（宣言）されていなければならず、そうでなければ誤り（エラー）通報“ＵＮＫＮＯＷＮＯＢＪＥＣＴＯｂｊｅｋｔｎａｍｅ”ないし“ＭＯＤＥ−ＭＩＳＳＭＡＴＣＨ”が出力される。オブジェクトについての情報ＯＢＪＬＩＳＴクラス名当該コマンドによっては実際に指定されたクラスに対して仕様化（宣言）されたすべてのオブジェクトの名前の出力が生ぜしめられる。クラス名の代わりにＡＬＬを指定してもよく、そこでそれに対してオブジェクト管理部の存在するすべてのクラスへオブジェクト名が出力される。指定された名前を有するクラスに対してオブジェクト管理が生成されなかった場合には誤リ（エラー）通報“ＵＮＫＮＯＷＮＣＬＡＳＳ”が出力される。オブジェクトポインタについての情報ＯＢＪ＿ＲＥＦ＿ＬＩＳＴクラス名当該コマンドによっては実際に指定されたクラスにたいしてコマンドＤＣＬ＿ＲＥＦ＿ＯＢＪにより仕様化（宣言）されたすべてのポインタ名の出力が生ぜしめられる。クラス名の代わりにＡＬＬを指定してもよく、そこで、ＤＣＬＲＥＦＯＢＪで仕様化（宣言）されたオブジェクト名が出力される。指定された名前を有するクラスに対してオブジェクト管理が生成されなかった場合には誤り（エラー）通報“ＵＮＫＮＯＷＮＣＬＡＳＳ”が出力される。クラスについての情報ＣＬＡＳＳＬＩＳＴ当該コマンドによってはそれに対してオブジェクト管理（機能）の生成されたすべてのクラス名の出力が生ぜしめられる。ここで述べられたことはたんに本発明の方法の実施のための例として解されるべきものであり、オブジェクトーＣＨＬＬの特別なネーミングを考慮している。上記事項は他のオブジェクト指向プログラミング言語、例えばＣ＝＋＋，Ｅｉｆｆｅｌ，ＳＩＭＵＬＡ又はＳｍａｌｌｔａｌｋにも直接転用可能である。当該の手法（方法）は例えば一般性を制限せずに実施することもできる。特に重要であるのは、唯一度テストプログラムを変換しさえすればよく、テスト実行者は本発明の方法により、クラステストに必要なすべてのテスト機能を相互作用的に（インタラクティブに）トリガし得ることである。ここで“インタラクティブ”はつぎのことも意味し得る、即ちテストコマンドデータを生成し、これをスタートし、そして、相応の中断のための判定基準を付与することである。図２には本発明の方法のテスト例をプログラムリストとして示してある。これはクラス仕様化（宣言）及びテストインタープリタに対する相応のコマンドを含む。この例ではジェネリッククラスＳＴＡＧＥＮＬＳはそれの２つの標識（マーキング）ＳＴＡＩＮＴＬＳおよびＳＴＡＴＥＸＬＳを介してテストされる。生成プログラムのためには３つのクラス仕様化（宣言）メンバー１），２），３）を図示のように含む入力としてのデータ集合体が用いられる（データ集合体におけるメンバーの順序は重要でない）。クラスＳＴＡＴＥＸＬＳはＣＨＩＬＬ−モジュールからＴＥＸＭＯＤＥをインポートする。エキスポートをするモジュールは生成プログラム実行のための入力部ではない。当該例では２つのオブジェクト管理クラスＯＭＣＬ００１Ｓ及びＯＭＣＬＯＯ２Ｓ及び２つの呼出処理クラスＯＭＣＬ００１Ｓ及びＯＭＣＬ００２Ｓが生成される、それというのは唯２つのクラスのみが生ぜしめられるからであり、それらのうちのオブジェクトは実現値化され、そこでメソッドが呼出され得、即ちＳＴＡＩＮＴＬＳ及びＳＴＡＴＥＸＬＳが呼出される。メンバーデータ集合体の上述の順序の場合、クラス．．．００ＩＳはＳＴＡＩＮＴＬＳに属し、そして、クラス．．．００２ＳはＳＴＡＴＥＸＬＳに属する。図３は例として本発明の方法の実施の際の種々のコンポーネントの共働の様子を示す。一番上方の個所にはテスト者の入力を解釈変換（インタープリット）するＫＩが存在するオブジェクト管理（部）ＯＶ及び呼出管理（部）ＡＶは被テスト対象（体）と、テスト者（端）のテストシナリオとの一貫性（整合性）を確保する。このことは次のようにして行われる、即ち当該管理（部）は例えばポインタを介してコンピュータにおけるメモリ領域を割り当てるか又は当該メモリ領域に名前を割り付けるのである。斯くてそれにより実行さるべきメソッドの確実なシーケンス経過が確保される。４．入力４．１テストシステムのコマンド言語４．１１一般的規則テストシステムのコマンド言語は（ＨＩＬＬ及びＩＤＳに依拠している。つまり下記のことを意味する。 −−同じ記号（シンボル）セットが使用される、換言すればキーワード及び指示子（記述子）に対して大文字のみが許容される。 ――すべてのコマンドをヤミコロンにより終了する。 ――空ら記号（ブランク）のようなコメントが扱い処理される。 ――キーワード又は記述子間のブランクを指定しなければならず、一方オペレータ間では省かれ得る。付加的に次のようなセッティングが行われる。 ―行（ライン）分離（子）はブランクのように扱われ、換言すれば、多行のコマンドの場合８０番目の記号（ＭＶＳ行に相応）の後１つのブランクが挿入される。よって遅くとも行終端にて１つの語が終わる。 −以下述べる長さは最大値として解される。指示子は最大３１行長である。ストリングは１行（８０記号）の長さであり得る（コマンドＳＡＹないしＷＲＩＴＥで指定される場合）。ループ及び分岐におけるブール的（論理的条件）ステートメント（式、表現）変数宣言は１９０の記号を越えてはならない、それというのはＩＤＳを用いて評価ないし宣言されるからである。有効に入力されたコマンドは明示的は受領確認されないで、次のコマンドの入力が予期される。それの例外を成すのはたんにコマンドＥＮＤ，ＲＥＧＴＳＴＳＴＡＲＴ及びＲＥＧＴＥＳＴＥＮＤである。誤りのある場合コマンドは相応の通報により指示され、ここで、誤り訂正は暗示的には実施されない。誤りのあるコマンドの後インタプリタはターミナルモードで次のコマンドを予期し換言すればコマンドデータ集合体は誤りの後に（アクティブ）状態を脱する。コントロール構造にて誤りが生じると、当該コントロール構造はコマンドと全く同じように中断される。同じ行における更なるコマンドは無視される。回帰テスト中の誤ったコマンドによっては回帰テストの中断が生ぜしめられる（参照６章）。４．１．２コマンド言語の記述コマンドの記述は拡大されたＢａｃｋｕｓ−Ｎａｕｒｆｏｒｍ（ＥＢＮＦ）に依拠しており、ここで次の規則が成立つ。 ――コマンド言語のキーワードは大文字で記述される。 ―選択肢は′１′により表示され、例えばＣｏｍは下記のフオームを有する、：ＦＯＲＭ１｜ＦＯＲＭ２．．．．．．、換言すればコマンドＣｏｍはＦＯＲＭ１またはＦＯＲＭ２のフォーム（形態）で入力され得る。 ――省略し得る部分は括弧′［′及び′］′に入れられ得る。例えばＣｏｍは下記のフォームを有するＴＥＬＬ１［ＴＥＩＬ２］換言すればコマンドＣｏｍはＴＥＩＬ１又はＴＥＩＬ１ＴＥＩＬ２のフォームで表示され得る。 ――相関する部分は括弧′（′及び′）′の中に入れられ得る。例えばＣｏｍは（ＴＥＩＬ１｜ＴＥＩＬ２）ＴＥＩＬ３のフォームを有し、換言すればコマンドＣｏｍはＴＥＩＬ１ＴＥＩＬ３又はＴＥＩＬ２ＴＥＩＬ３のフオームで表示され得る。 ――簡略化され得るコマンド又はコマンドパラメータは名前のアンダーラインを引いた部分である。例えばＫＵＲＺＦＯＲＭはＫＵＲＦにより簡略化され得る。４．１．３シンタクスに対する概説コマンド言語のシンタクスは個々のコマンドと同様に次の章にてＥＢＮＦを用いて記述される。 ――非（ノン）―ターミナルシンボル（これは文法を構造化して文節し得るため用いられる）は尖った括弧内に納められ表示され得る。 ――ターミナルシンボルはＴｅＳコマンド言語に所属するシンボルである。キーワードは大文字で記述され、その他のシンボルは引用記号（例えば（′＜′及び ′＞′）内に入れられる。 ――メタ記号′：：＝′の左側にある非（ノン）ターミナルシンボルは右辺により置換され得る。文法はコンテキストがない、換言すれば左辺部は付加的なターミナルシンボルが存在しない。 ――任意の頻度で（０回も含む）繰り返されてよいシンボルは括弧′｛′及び′ ｝′の中に入れられる。閉じられた′＋′が続く場合、このことの意味するところはシンボルは少なくとも１回は繰り返さなければならないことである。数Ｘがつづく場合は括弧に入れられた部分はＸ回繰り返さなければならないということである。 ――メタシンボル′．′は規則の終端を指示する。 ――非（ノン）―ターミナルシンボル＜ｃｈａｒｓ＞の代わりに、任意の記号列（これは評価のためＩＤＳへ転送される）が予期される。当該記号列はテストシステムによりシンタックス的に分析される。モジュール−クラス−テストに対するコマンド言語の文法

【手続補正書】特許法第１８４条の８【提出日】１９９４年１１月８日【補正内容】請求の範囲１．コンピュータにてオブジェクト指向プログラムの１つのクラスのテストをする方法において、ａ）少なくとも１つのクラス仕様から、少なくとも１つのメソッド及びそれの所属の呼出パラメータについてメソッド情報を形成し、ｂ）該メソッド情報を用いてテストフレームを生成し、該テストフレームによってはオブジェクトをダイナミックに印加し得るようになり、および／又はオブジェクトをスタチックに備え、また当該のメソッドを呼出パラメータで呼び出し得るようになり、ｃ）１構成部分としてコマンドインタプリタを含むテストプログラムを生成し、該インプリタはテスト実行者により入力されるテストコマンドを翻訳変換（インタープリット）し、また前記テストプログラムはさらなる構成部分としてｂ）にて生成されたテストフレームを含むものであり、ここにおいて、当該のテストプログラムは唯１度変換され、バインドされるようにして当該テストプログラムは生成されるものであり、ｄ）テストプログラムはクラスのテストのために使用されるようにし、ここにおいて、入力されたテストコマンドはその中に含まれているコマンドインプリタにより解釈変換され、それにより種々異なるテストシナリオによっても新たな変換翻訳及びバインディングが必要とされないようにしたことを特徴とするコンピュータにてオブジェクト指向プログラムの１つのクラスのテストをする方法。２．前記メソッド情報は少なくとも、共にテストさるべきそれぞれの個々のクラスについて、外部メソッドインターフェースを介してエキスポート（ｅｘｐｏｒｔ）されるすべてのメソッドに対して生成される請求の範囲１記載の方法。３．前記テストフレームは変数メモリを有し、および／又は利用する請求の範囲１又は２記載の方法。４．前記変数メモリに対してポインタを介してアクセスを行う請求の範囲１から３までのうちいずれか１項記載の方法。５．コマンドインプリタはコンピュータ上に設けられている少なくともデバッガを利用する請求の範囲１記載の方法。６．少なくとも１つのデータコンポーネントは１つのクラスから導出される少なくとも１つのオブジェクトにより読出され、および／又は書込まれる請求の範囲１から５までのうちいずれか１項記載の方法。７．少なくとも１つのクラスに対するメソッド情報が少なくとも１つの継承されたメソッドにより少なくとも１つの継承されたクラスからも形成される請求の範囲１かた６までのうちいずれか１項記載の方法。８．ジェネリッククラスから導出される少なくとも１つのクラスに適用される方法において、当該メソッド情報は少なくとも１つのメソッドに対してもジェネリッククラスから生成される請求の範囲１から７までのうちいずれか１項記載の方法。

Claims

【特許請求の範囲】１．コンピュータにてオブジェクト指向プログラムの１つのクラスのテストをする方法において、ａ）少なくとも１つのクラス仕様から、少なくとも１つのメソッド及びそれの所属の呼出パラメータについてメソッド情報を形成し、ｂ）該メソッド情報を用いてテストプログラムの所定構成部分を生成し、該所定テストプログラム構成部分によってはテストの際に必要なコンピュータ作動手段の少なくとも１つの割当が行われ得るものであり、ｃ）１構成部分としてコマンドインタプリタを含むテストプログラムを生成し、該インプリタはテスト実行者により入力されるテストコマンドを翻訳変換（インタープリット）し、また前記テストコマンドはさらなる構成部分としてｂ）にて生成されたテストプログラムの構成部分を含むものであり、ｄ）テストプログラムはテストコマンドを用いてクラスのテストのために使用されることを特徴とするコンピュータにてオブジェクト指向プログラムの１つのクラスのテストをする方法。２．前記メソッド情報は少なくとも、共にテストさるべきそれぞれの個々のクラスについて、外部メソッドインターフェースを介してエキスボート（ｅｘｐｏｒｔ）されるすべてのメソッドに対して生成される請求の範囲１記載の方法。３．コンピュータ作動手段はメモリである請求の範囲１又は２記載の方法。４．前記作動手段の割当をポインタを介して行う請求の範囲１から３までのうちいずれか１項記載の方法。５．コマンドインプリタはコンピュータのＯＳ内に設けられている少なくとも１つのデバッガを利用する請求の範囲１記載の方法。６．少なくとも１つのデータコンポーネントは１つのクラスから導出される少なくとも１つのオブジェクトにより読出され、および／又は書込まれる請求の範囲１から５までのうちいずれか１項記載の方法。７．少なくとも１つのクラスに対するメソッド情報が少なくとも１つの継承されたメソッドにより少なくとも１つの継承されたクラスからも形成される請求の範囲１かた６までのうちいずれか１項記載の方法。８．ジェネリッククラスから導出される少なくとも１つのクラスに適用される方法において、当該メソッド情報は少なくとも１つのメソッドに対してもジェネリッククラスから生成される請求の範囲１から７までのうちいずれか１項記載の方法。