(57)【要約】【課題】ルックアップテーブルのための効率的な自動テストデータ発生方法およびシステムを提供する。【解決手段】自動車用ルックアップテーブルのためのテストデータを発生する方法は、自動車用ルックアップテーブルをカテゴリーに分割し、前記各カテゴリーが対応するアサーションを有するように、カテゴリーと一対一の関係で対応するアサーションのリストを発生し、制約ソルバを用いて各アサーションに対して実行追跡を発生し、さらに、各実行追跡に対してテストデータを発生する、各ステップを含む。【選択図】図１
2010123111.tif 000002
【特許請求の範囲】
【請求項１】
自動車用ルックアップテーブルのためのテストデータを発生させる方法であって、
前記自動車用ルックアップテーブルをカテゴリーに分割し、
各カテゴリーが対応するアサーションを有するように、前記カテゴリーと一対一の関係で対応するアサーションのリストを発生し、
制約ソルバを用いて各アサーションに対して実行追跡を発生し、さらに、
各実行追跡に対してテストデータを発生する、各ステップを備える方法。
【請求項２】
請求項１に記載の方法において、さらに、前記自動車用ルックアップテーブルの入力パラメータを決定するために、前記自動車用ルックアップテーブルを分析するステップを備える、方法。
【請求項３】
請求項２に記載の方法において、前記自動車用ルックアップテーブルは前記入力パラメータに基づいてカテゴリーに分割される、方法。
【請求項４】
請求項３に記載の方法において、前記自動車用ルックアップテーブルのそれぞれの入力パラメータは一個以上のカテゴリーに対応している、方法。
【請求項５】
請求項３に記載の方法において、各アサーションは一個以上の制約を含む、方法。
【請求項６】
請求項５に記載の方法において、前記制約は前記入力パラメータに基づいている、方法。
【請求項７】
請求項６に記載の方法において、さらに、前記自動車用ルックアップテーブルが正確であることを検証するために、前記テストデータを用いて各カテゴリーを分析するステップを備える、方法。
【請求項８】
請求項７に記載の方法において、前記自動車用ルックアップテーブルが正確であることを検証するために、前記テストデータを用いて各カテゴリーを分析するステップは、前記自動車用ルックアップテーブルを用いる機能のコンテキスト内で実行される、方法。
【請求項９】
請求項１に記載の方法において、さらに、特定のカテゴリーに対してテストデータが発生されないデッドテーブルエントリーを識別するステップを備える、方法。
【請求項１０】
請求項９に記載の方法において、さらに、デッドテーブルエントリーのログを形成するステップを備える、方法。
【請求項１１】
自動車用ルックアップテーブルのためのテストデータを発生するための方法であって、
前記自動車用ルックアップテーブルの入力パラメータを決定するために前記自動車用ルックアップテーブルを分析し、
前記入力パラメータに基づいて前記自動車用ルックアップテーブルをカテゴリーに分割し、
各カテゴリーが対応するアサーションを有するように、前記カテゴリーと一対一の関係で対応するアサーションのリストを発生し、
制約ソルバを用いて各アサーションに対して実行追跡を発生し、さらに、
各実行追跡に対してテストデータを発生する、各ステップを備える、方法。
【請求項１２】
請求項１１に記載の方法において、前記各アサーションは一個以上の制約を含む、方法。
【請求項１３】
請求項１２に記載の方法において、前記制約は、前記入力パラメータに基づいた制約である、方法。
【請求項１４】
請求項１１に記載の方法において、さらに、前記自動車用ルックアップテーブルが正確であることを検証するために前記テストデータを使用して各カテゴリーを分析するステップを備える、方法。
【請求項１５】
請求項１４に記載の方法において、前記自動車用ルックアップテーブルが正確であることを検証するために前記テストデータを使用して各カテゴリーを分析するステップは、前記自動車用ルックアップテーブルを使用する機能のコンテキスト内で実行される、方法。
【請求項１６】
請求項１１に記載の方法において、さらに、
テストデータが特定のカテゴリーに対して形成されないデッドテーブルエントリーを識別し、さらに、
デッドテーブルエントリーのログを形成する、各ステップを備える方法。
【請求項１７】
自動車用ルックアップテーブルのためのテストデータを発生するシステムであって、
自動車用ルックアップテーブルを格納する格納ユニットと、
前記格納ユニットに接続されたアサーション発生ユニットであって、当該アサーション発生ユニットは、
自動車用ルックアップテーブルの入力パラメータを決定するために前記自動車用ルックアップテーブルを分析し、
前記入力パラメータに基づいて、前記自動車用ルックアップテーブルをカテゴリーに分割し、
前記各カテゴリーが対応するアサーションを有し、さらに、各アサーションが前記入力パラメータに基づいた一個以上の制約を含むように、前記カテゴリーと一対一の関係で対応するアサーションのリストを発生する、前記アサーション発生ユニットと、
前記アサーション発生ユニットに接続された制約ソルバユニットであって、各アサーションに対して実行追跡を発生する前記制約ソルバユニットと、さらに、
各実行追跡に対してテストデータを発生するテストデータ発生ユニットと、を備えるシステム。
【請求項１８】
請求項１７に記載のシステムにおいて、さらに、前記テストデータユニットに接続された分析ユニットであって、前記自動車用ルックアップテーブルが正確であることを検証するために前記テストデータを使用して各カテゴリーを分析する分析ユニットを備える、システム。
【請求項１９】
請求項１８に記載のシステムにおいて、前記分析ユニットは、前記ルックアップテーブルを使用する機能のコンテキスト内で、前記自動車用ルックアップテーブルが正確であることを検証するためにテストデータを使用して各カテゴリーを分析する、システム。
【請求項２０】
請求項１７に記載のシステムにおいて、さらに、
前記テストデータ発生ユニットに接続されたデッドテーブルエントリー識別ユニットであって、特定のカテゴリーに対してテストデータが形成されないデッドテーブルエントリーを識別し、かつ、デッドテーブルエントリーのログを形成する、デッドテーブルエントリー識別ユニットを備える、システム。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、ルックアップテーブルのための自動テストデータ発生方法およびシステムに関する。
【背景技術】
【０００２】
ルックアップテーブルをテストするために、テストデータを発生する必要がある。テストデータの発生は恐ろしく退屈で多くの時間を要する。さらに、ルックアップテーブルをテストするためにテストデータを使用する場合、ルックアップテーブルは、しばしば、必ずしも正確に実世界をシミュレートしない環境においてテストされる。
【０００３】
従って、ルックアップテーブルのためにテストデータを生成し、かつ、そのルックアップテーブルをより正確にテストするための、より効率的な方法および装置の必要性が存在する。
【発明の概要】
【０００４】
一実施形態では、本発明は、自動車用ルックアップテーブルをカテゴリーに分割し、各カテゴリーが対応するアサーションを有するように、カテゴリーに対して一対一の関係で対応するアサーションのリストを生成し、制約ソルバを使用して各アサーションに対して実行追跡を発生し、さらに、各実行追跡に対してテストデータを発生する、各ステップを含む、自動車用ルックアップテーブルのためのテストデータ発生方法である。
【０００５】
他の実施形態では、本発明は、自動車用ルックアップテーブルの入力パラメータを決定するために前記自動車用ルックアップテーブルを分析し、前記入力パラメータに基づいて前記自動車用ルックアップテーブルをカテゴリーに分割し、前記各カテゴリーがそれに対応するアサーションを持つように、前記カテゴリーと一対一の関係で対応するアサーションのリストを発生し、制約ソルバを用いて各アサーションに対して実行追跡を発生し、さらに、各実行追跡に対してテストデータを発生する、各ステップを含む、自動車用ルックアップテーブルのためのテストデータを発生する方法である。
【０００６】
さらに他の実施形態では、本発明は、自動車用ルックアップテーブルを格納する格納ユニットと、前記格納ユニットに接続されたアサーション発生ユニットとを含み、前記アサーション発生ユニットは、自動車用ルックアップテーブルの入力パラメータを決定し、前記入力パラメータに基づいて前記自動車用ルックアップテーブルをカテゴリーに分割し、さらに、前記各カテゴリーがそれに対応するアサーションを持つように、前記カテゴリーと一対一の関係で対応するアサーションのリストを発生するために、前記自動車用ルックアップテーブルを分析するように構成され、さらに、各アサーションは、一個以上の制約を含み、前記制約は前記入力パラメータに基づいている、自動車用ルックアップテーブルのためのテストデータを発生するシステムである。本発明はさらに、アサーション発生ユニットに接続された制約ソルバユニットであって、各アサーションに対して一個の実行追跡を発生する制約ソルバユニットと、さらに、各実行追跡に対してテストデータを発生するテストデータ発生ユニットを含むことが可能である。
【図面の簡単な説明】
【０００７】
【図１】ルックアップテーブルのための自動テストデータ発生システムの概略図である。
【図２】ルックアップテーブルのための式を示す。
【図３】ルックアップテーブルを示す。
【図４】ルックアップテーブルを示す。
【図５】複数の制約を示す。
【図６】複数のアサーションを示す。
【図７】実行追跡を示す。
【図８】ルックアップテーブルを使用する機能を示す。
【図９】ルックアップテーブルの自動テストデータ発生のためのフローチャートである。
【発明を実施するための形態】
【０００８】
以下に、図面を参照して、本発明の種々の実施形態を実行する装置、システムおよび方法を説明する。図面およびそれに関連する説明は、本発明の幾つかの実施形態を説明するために提供されるもので、本発明の範囲を限定するものではない。図面全体で、参照番号は、参照された要素間での対応関係を示すために、再使用される。
【０００９】
図１は、ルックアップテーブルのための自動テストデータ発生システムの概略図である。図１に示すように、システム２は、格納ユニット４、アサーション発生ユニット６、制約ソルバユニット８、テストデータ発生ユニット１０、分析ユニット１２、および、デッドテーブルエントリー識別ユニット１４を含んでいる。
【００１０】
格納ユニット４はアサーション発生ユニット６に接続されており、且つ、例えば、図２に示すように入力パラメータｘ（ｎ）およびｙ（ｎ）を有する自動車用ルックアップテーブル１８のような、自動車用ルックアップテーブルを格納することが出来る。自動車用ルックアップテーブル１８は、図３に示すように、自動車用ルックアップテーブルリスト１６として表示することが可能である。図４に示すように、自動車用ルックアップテーブル１６はさらに２次元グラフで示すことが可能である。自動車用ルックアップテーブル１６は２次元であるが、ｎを何れかの正の整数とした場合、ｎ次元が可能であることを意図している。
【００１１】
アサーション発生ユニット６は、格納ユニット４および制約ソルバユニット８に接続されている。アサーション発生ユニット６は、自動車用ルックアップテーブル１８の入力パラメータを決定するために自動車用ルックアップテーブル１６を分析し、さらに、例えば図５におけるカテゴリー２０ａおよびカテゴリー２０ｂのように、自動車用ルックアップテーブル１８をカテゴリー２０に分割することができる。さらに、アサーション発生ユニット６は、例えば図６に示すアサーション２０のように、一対一の関係で対応するアサーションのリストを発生することが出来る。図６に示すように、アサーション２０はアサーション２２ａと２２ｂを含むことが出来る。
【００１２】
各アサーション２２は一個以上の制約を含むことが出来る。例えば、アサーション２２ａは、制約（ｘ＜Ｚ（３）＆＆Ｚ（８）＜ｙ＜Ｚ（１４））を持つことが出来るが、一方、アサーション２２ｂは制約（Ｚ（３）＜ｘ＜Ｚ（４）＆＆Ｚ（８）＜ｙ＜Ｚ（１４））を持つことが出来る。各アサーションはこのようにしてｘとｙとをある値に制約する。各カテゴリー２０は、それに対応したアサーション２２を持つことが出来る。２個のアサーションが図示されているが、アサーション２２の数はどのような数でも良い。同様に、各アサーションは、どのような数の制約を有していても良い。
【００１３】
制約ソルバユニット８は、アサーション発生ユニット６とテストデータ発生ユニット１０に接続されている。制約ソルバユニット８は、各アサーションに対して、例えば図７に示すような実行追跡２４である実行追跡を発生する。
【００１４】
テストデータ発生ユニット１０は、制約ソルバユニット８、分析ユニット１２およびデッドテーブルエントリー識別ユニット１４に接続されている。テストデータ発生ユニット１０は、各実行追跡２４に対して例えばテストデータ２６であるテストデータを発生する。図７に示すように、テストデータ２６は、式ａ＝２およびｂ＝１を含む。２個の式しか図示されていないが、各テストデータに対してどのような数の式でも使用することが可能である。
【００１５】
分析ユニット１２はテストデータ発生ユニット１０に接続され、テストデータ２６を用いて自動車用ルックアップテーブル１８が正確であるかを確かめるために、各カテゴリー２０を分析することが出来る。テストデータ２６を用いた各カテゴリー２０のこの分析は、自動車用ルックアップテーブル１８を利用する、図８に示された機能２８のコンテキスト内で実施され得る。すなわち、テストデータ２６は、機能２８内で自動車用ルックアップテーブル１８のための入力として使用することが出来る。
【００１６】
デッドテーブルエントリー識別ユニット１４はテストデータ発生ユニット１０に接続されている。このデッドテーブルエントリー識別ユニット１４は、テストデータ２６のようなテストデータがカテゴリー２０に対して形成されることがない、デッドテーブルエントリー（図示せず）を識別することが出来る。デッドテーブルエントリー識別ユニット１４はさらに、デッドテーブルエントリー（図示せず）のログを形成する。デッドテーブルエントリーは、例えば、入力があるカテゴリー２０内に位置されることを防止する、特別のソフトウエアのセマンティック及び／又はシステム２のデータフローを通じて発生し得る。
【００１７】
図９は、ルックアップテーブルに対する自動テストデータ発生のフローチャートである。処理は、ステップＳ９０２において開始される。ステップＳ９０４において、自動車ルックアップテーブル１８が分析され、例えばｘ（ｎ）およびｙ（ｎ）のように自動車用ルックアップテーブル１８の入力パラメータが決定される。２個の入力パラメータが図示されているが、入力パラメータの数はどのようなものであっても良い。ステップＳ９０６において、自動車用ルックアップテーブル１８が入力パラメータに基づいてカテゴリー２０に分割される。一実施形態では、自動車用ルックアップテーブル１８のそれぞれの入力パラメータは一個以上のカテゴリーに対応している。ステップＳ９０８では、アサーション２２のリストを発生する。一実施形態では、各アサーション２２は一個以上の制約を含んでいる。他の実施形態では、制約は入力パラメータに基づいている。ステップＳ９０４、Ｓ９０６およびＳ９０８は、アサーション発生ユニット６によって実施することが出来る。
【００１８】
ステップＳ９１０において、実行追跡２４を各アサーション２２に対して発生する。これは、例えば、制約ソルバユニット８を用いて達成される。ステップＳ９１２では、テストデータ２６を各実行追跡２４に対して発生する。ステップＳ９１２の使用は、テストデータ発生ユニット１０を使用して実行することが可能である。ステップＳ１４において、ルックアップテーブル１８が正確であるかを確かめるために、テストデータ２６を使用して各カテゴリー２０を分析することが出来る。一実施形態では、各カテゴリー２０のテストデータ２６を使用した分析が、自動車用ルックアップテーブル１８を使用する機能２８のコンテキスト内で実施される。すなわち、テストデータ２６は、機能２８内で自動車用ルックアップテーブル１８のための入力として使用される。ステップＳ９１４は、分析ユニット１０によって実施され得る。
【００１９】
ステップＳ９１６において、例えば、デッドテーブルエントリー識別ユニット１４を介して、デッドテーブルエントリーを識別することができる。ステップＳ９１８において、デッドテーブルエントリーのログを形成することができる。ステップＳ９１８を同様に、デッドテーブルエントリー識別ユニット１４を用いて達成することが出来る。ステップＳ９２０において、処理を終了する。
【００２０】
図示はしていないが、本発明によれば、各テストデータを用いた結果を含むルックアップテーブル上の分析結果に関して、さらに、リポートあるいはチャートを発生することができる。
【００２１】
本発明を使用することによって、自動車用ルックアップテーブルのテストデータを発生し、自動車用ルックアップテーブルを検証するために必要な時間を短縮することが可能で、かつ、自動車用ルックアップテーブルを分析したテスト結果の正確性を向上させることが出来る。例えば、従来の方法および装置を使用して一個の自動車用ルックアップテーブルを発生し、検証するために４０から８０時間を要していたが、本発明によれば、一個の自動車用ルックアップテーブルを発生し検証するために、０．５から１時間を要するのみである。さらに、自動車用ルックアップテーブルを使用する機能のコンテキスト内で自動車用ルックアップテーブルがテストされるため、そのテストは、自動車用ルックアップテーブルの動作条件をより良くシミュレートする環境において実施することが可能となり、自動車用ルックアップテーブルの許容性に対してより正確な結果を提供することが出来る。
【００２２】
本発明は、例えば、マイクロプロセッサ、コンピュータ、および／またはコンピュータにある機能を実行させるコンピュータ可読媒体によって具体化される。
【００２３】
開示例に関する上記の記載は、全ての当業者が開示された方法および装置を実現しあるいは使用することを可能とするように提供されている。これらの例に対する種々の修正は、当業者にとって自明であり、さらに此処に定義した原理は、開示した方法及び装置の精神または範囲を逸脱することなく他の例に適用することができる。記載した実施形態は、全ての面で単に説明のためおよび非限定的であり、本発明の範囲は、従って、上記の記載よりも寧ろ、添付の請求の範囲によって決定されるものである。請求の範囲に等価な意味と範囲内における全ての変更は、その範囲内に包含されるべきである。
【符号の説明】
【００２４】
２    自動テストデータ発生システム
４    格納ユニット
６    アサーション発生ユニット
８    制約ソルバユニット
１０    テストデータ発生ユニット
１２    分析ユニット
１４    デッドテーブルエントリー識別ユニット
【図１】
2010123111.tif 000003
【図２】
2010123111.tif 000004
【図３】
2010123111.tif 000005
【図４】
2010123111.tif 000006
【図５】
2010123111.tif 000007
【図６】
2010123111.tif 000008
【図７】
2010123111.tif 000009
【図８】
2010123111.tif 000010
【図９】
2010123111.tif 000011