JP5874891B2 - プログラムテスト装置、プログラムテスト方法、およびプログラム - Google Patents
プログラムテスト装置、プログラムテスト方法、およびプログラム Download PDFInfo
- Publication number
- JP5874891B2 JP5874891B2 JP2011075157A JP2011075157A JP5874891B2 JP 5874891 B2 JP5874891 B2 JP 5874891B2 JP 2011075157 A JP2011075157 A JP 2011075157A JP 2011075157 A JP2011075157 A JP 2011075157A JP 5874891 B2 JP5874891 B2 JP 5874891B2
- Authority
- JP
- Japan
- Prior art keywords
- program
- test
- variable
- values
- existing
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
Images
Description
プログラムのテストために、情報処理システムで検討されている入力データとそれに対する出力データの組み合わせをチェック項目として設計し、問題があるパターンや無いパターンをひとつひとつ作成することが行われている。この場合、異常値や境界値などを仕様の要求事項として定義したり、プログラムの作成者によって検討したりして、入力データと出力データとの対応を積み上げていくのが一般的である。
本発明に係るプログラムは、情報処理装置の制御部を、既存プログラムが変更されたテストの対象となる更新プログラムに対する1ないし複数の所定の変数へのテストデータとして、指定された前記変数について入力され得る全ての範囲の値を生成するとともに、生成した値を個々の変数のテストデータとして関連付けたテストの実行条件を生成する手段と、前記既存プログラムに基づく既存システムが前記生成した実行条件で示された前記変数に基づくテスト動作を行なった際の該既存システムの出力を取得して記憶する手段と、前記更新プログラムに基づく新システムが前記生成した実行条件で示された前記変数に基づくテスト動作を行なった際の該新システムの出力を取得して記憶する手段と、前記既存システムおよび前記新システムの両出力を対比すると共に、対比結果に含まれる差分について、認知可能に出力する手段として動作させ、前記制御部に、前記実行条件に含まれる所定の変数に対するテストデータのテスト順を、境界値および限界値について優先した後、試験済みとなる値の間の値である1の値を埋めるように優先付けし、その後更に試験済みとなる値の間の値である1の値を埋めるように優先付けするように繰り返して、前記所定の変数について入力され得る全ての範囲の値のテスト順を定めて、リアルタイムで行われる前記既存システムおよび前記新システムからの出力対比を、任意のタイミング又は予め設定したタイマ値により停止させる動作を行わせることを特徴とする。
本発明に係るプログラムテスト方法は、既存プログラムが変更されたテストの対象となる更新プログラムに対する1ないし複数の所定の変数へのテストデータとして、指定された前記変数について入力され得る全ての範囲の値を生成し、生成した値を個々の変数のテストデータとして関連付けたテストの実行条件を、該実行条件に含まれる所定の変数に対するテストデータのテスト順を、境界値および限界値について優先した後、試験済みとなる値の間の値である1の値を埋めるように優先付けし、その後更に試験済みとなる値の間の値である1の値を埋めるように優先付けするように繰り返して、前記所定の変数について入力され得る全ての範囲の値のテスト順を定めて、前記既存プログラムに基づく既存システムと前記更新プログラムに基づく新システムとのリアルタイムで行う出力対比を任意のタイミング又は予め設定したタイマ値により停止させ得るように生成処理し、前記既存システムが前記生成した実行条件で示された前記変数に基づくテスト動作を行なった際の該既存システムの出力を取得し、前記新システムが前記生成した実行条件で示された前記変数に基づくテスト動作を行なった際の該新システムの出力を取得し、前記既存システムおよび前記新システムの両出力を対比すると共に、対比結果に含まれる差分について、認知可能に出力することを特徴とする。
図1に示す様に、プログラムテスト装置10は、プログラム制御により動作するデータ処理装置20と情報を記憶する記憶装置30から構成され、キーボード等の入力装置40と、ディスプレイ装置や印刷装置等の出力装置50が接続されている。また、プログラムテスト装置10には、既存プログラムに基づく既存システム100と、更新プログラムに基づく新システム200が接続されている。
テストデータを生成する変数としては、数値変数や、文字変数、関数などが挙げられる。文字変数を用いる場合には、文字種と入力文字数範囲を指定することによって、入力され得る全ての範囲(組み合わせ)の値を生成すればよい。
また、テストデータを生成する変数は、新システム200から入力を受け得る範囲に限定して、変数の入力され得る全ての範囲としてもよい。このように限定すれば、テスト時間の削減が図れる。
なお、実行条件として、どのパラメータと値の組から行なうかを示すテスト順が定められて記録されてもよい。テスト順は、例えば、境界値および限界値について優先した後、試験済みとなる値の間の値である1の値を埋めるように優先付けし、その後更に試験済みとなる値の間の値である1の値を埋めるように優先付けするように繰り返して、全ての範囲の値に順番付けしてもよいし、関数などを用いて定めてもよい。この順序に従うことによって、任意のタイミング又は予め設定したタイマ値などによりテストを停止させても、その時までに行ったテストが有効に利用できる。換言すれば、非常に長い時間のテストと成るようなプログラムに対しても、全ての領域に対して順次テストを行える環境を提供できる。
また、実行条件データについては後に動作例に示して説明する。
実行条件記憶部31は、実行条件として実行対象とするプログラムの入力パラメータ(変数)と想定定義域(範囲)を対応付けた形式で記憶する。
入出力データ記憶部32は、既存システム100と新システム200がそれぞれプログラム実行時(テスト時)に出力した値を入力に対応付けられた形式で記憶する。
図3は、動作説明で使用するプログラムリストに含まれる変数を示す説明図である。例示する変数として、図3のようなint test( int a )という関数があったとする。本来はさらにいろいろな変数が使われ、ライン数も格段に多く、出力値は複雑に変数を経由して決定する場合が多いのだが、ここでは分かりやすくするため、敢えて簡潔な例としている。
本例では、変数とする入力パラメータが2つ以上である点で先の具体的動作例と異なっている。テストデータの組み合わせは多くなるが実施は同様である。また、入力パラメータが整数値ではなく実数値の場合でも入力データとして指定してもよい。
例示する変数として、int test2( int a, int b )という関数について、入力データはa、bで定義域をそれぞれ-2,147,483,648≦a≦2,147,483,647、-2,147,483,648≦b≦2,147,483,647(a,bは整数)とする。
既存システム戻り値データ保存手段22は、既存プログラム実行部110から、入力パラメータ4,294,967,296パターン×4,294,967,296パターンで既存システム100が動作した際のそれぞれの値ごとの戻り値データを取得し、入出力データ記憶部32に保存する(ステップS2)。
同様に、新システム戻り値データ保存手段23は、新プログラム実行部210から、入力パラメータ4,294,967,296パターン×4,294,967,296パターンで新システム200が動作した際のそれぞれの値ごとの戻り値データを取得し、入出力データ記憶部32に保存する(ステップS3)。
データ比較出力手段24は、新旧保存されたデータを比較し、不一致箇所を出力装置50から提示する(ステップS4)。
データ比較出力手段24は入出力データ記憶部32に保存した既存システム戻り値データと新システム戻り値データを比較し、結果を出力装置50に出力する。
まず1文字目で全文字種(a,b,c,・・・x,y,z,A,B,C,・・・,Z)を入力データとして評価する。
次に、2文字のパターンは、それぞれの1文字に全1文字を組み合わせる。そして、aに対して全1文字(a,b,c,・・・x,y,z,A,B,C,・・・,Z)を2文字目として2文字とする(aa,ab,ac,・・・ax,ay,az,aA,aB,aC,・・・,aZ)。同様にbに対して全1文字(a,b,c,・・・x,y,z,A,B,C,・・・,Z)を2文字目として2文字とする(ba,bb,bc,・・・bx,by,bz,bA,bB,bC,・・・,bZ)。 これを繰り返し、全2文字のパターンを評価する。
次に、上記全2文字パターンに全1文字パターンを3文字目として組み合わせる。同様に全3文字パターンに全1文字パターンを4文字目として組み合わせる。これを繰り返し、指定された文字数までの文字パターンを評価する。
なお、文字を複数種類組み合わせて用いることも可能であり、その場合には、組み合わせパターンを同様の方法で増やせばよい。
すなわち、上記プログラムテスト装置を用いることによって、プログラムの新規作為時にテストを行なわなかった確認項目に対しても、後発的に発生する変更に伴い生ずる問題を低減させるテストを行なえるプログラムテスト装置を提供できる。
[付記1]
既存プログラムが変更されたテストの対象となる更新プログラムに対する1ないし複数の所定の変数へのテストデータとして、指定された前記変数について入力され得る全ての範囲の値を生成するとともに、生成した値を個々の変数のテストデータとして関連付けたテストの実行条件を生成する手段と、
前記既存プログラムに基づく既存システムが前記生成した実行条件で示された前記変数に基づくテスト動作を行なった際の該既存システムの出力を取得して記憶する手段と、
前記更新プログラムに基づく新システムが前記生成した実行条件で示された前記変数に基づくテスト動作を行なった際の該新システムの出力を取得して記憶する手段と、
前記既存システムおよび前記新システムの両出力を対比すると共に、対比結果に含まれる差分について、認知可能に出力する手段と
を備えることを特徴とするプログラムテスト装置。
上記付記記載のプログラムテスト装置であって、
前記所定の変数として、前記更新プログラムを解析して、新システムの使用する変数と該変数の取り得る範囲を抽出する
ことを特徴とするプログラムテスト装置。
上記付記記載のプログラムテスト装置であって、
前記所定の変数として、文字変数を用いる場合に、文字種と入力文字数範囲を指定してその組み合わせ全てについて、該変数に関連付けた実行条件に含ませる
ことを特徴とするプログラムテスト装置。
上記付記記載のプログラムテスト装置であって、
前記所定の変数の入力され得る全ての範囲について、前記新システムから入力を受け得る範囲に限定して実行条件を生成する
ことを特徴とするプログラムテスト装置。
上記付記記載のプログラムテスト装置であって、
前記既存システムおよび前記新システムを前記実行条件に基づき並列動作させることによって得られる両システムの出力を、取得した順にリアルタイムに対比を行ない、対比結果の差分を順次認知可能に出力する
ことを特徴とするプログラムテスト装置。
上記付記記載のプログラムテスト装置であって、
前記実行条件に含まれる所定の変数に対するテストデータのテスト順を、境界値および限界値について優先した後、試験済みとなる値の間の値である1の値を埋めるように優先付けし、その後更に試験済みとなる値の間の値である1の値を埋めるように優先付けするように繰り返して、前記変数について入力され得る全ての範囲の値のテスト順を定め、
リアルタイムで行われる前記既存システムおよび前記新システムからの出力対比を、任意のタイミング又は予め設定したタイマ値により停止させ得る
ことを特徴とするプログラムテスト装置。
上記付記記載のプログラムテスト装置であって、
前記出力の対比結果の差分に基づき、前記更新プログラムにおける抽出した差分に影響を与えたプログラムリスト列を認知可能に出力する
ことを特徴とするプログラムテスト装置。
上記付記記載のプログラムテスト装置であって、
前記出力の対比結果の差分について、前記既存プログラムと前記更新プログラムとのプログラムリストとしての差分および前記更新プログラムに基づき、更新に関連して変更されるべき出力事項であるか判定する
ことを特徴とするプログラムテスト装置。
情報処理装置の制御部を、
既存プログラムが変更されたテストの対象となる更新プログラムに対する1ないし複数の所定の変数へのテストデータとして、指定された前記変数について入力され得る全ての範囲の値を生成するとともに、生成した値を個々の変数のテストデータとして関連付けたテストの実行条件を生成する手段と、
前記既存プログラムに基づく既存システムが前記生成した実行条件で示された前記変数に基づくテスト動作を行なった際の該既存システムの出力を取得して記憶する手段と、
前記更新プログラムに基づく新システムが前記生成した実行条件で示された前記変数に基づくテスト動作を行なった際の該新システムの出力を取得して記憶する手段と、
前記既存システムおよび前記新システムの両出力を対比すると共に、対比結果に含まれる差分について、認知可能に出力する手段
として動作させることを特徴とするプログラム。
上記付記記載のプログラムであって、
前記制御部に、前記所定の変数として、前記更新プログラムを解析して、新システムの使用する変数と該変数の取り得る範囲を抽出させる
ことを特徴とするプログラム。
上記付記記載のプログラムであって、
前記所定の変数として、文字変数を用いる場合に、文字種と入力文字数範囲を指定してその組み合わせ全てについて、該変数に関連付けた実行条件に含ませる
ことを特徴とするプログラム。
上記付記記載のプログラムであって、
前記所定の変数の入力され得る全ての範囲について、前記新システムから入力を受け得る範囲に限定して実行条件を生成させる
ことを特徴とするプログラム。
上記付記記載のプログラムであって、
前記既存システムおよび前記新システムを前記実行条件に基づき並列動作させることによって得られる両システムの出力を、取得した順にリアルタイムに対比を行なわせ、対比結果の差分を順次認知可能に出力させる
ことを特徴とするプログラム。
上記付記記載のプログラムであって、
前記実行条件に含まれる所定の変数に対するテストデータのテスト順を、境界値および限界値について優先した後、試験済みとなる値の間の値である1の値を埋めるように優先付けし、その後更に試験済みとなる値の間の値である1の値を埋めるように優先付けするように繰り返して、前記変数について入力され得る全ての範囲の値のテスト順を定め、
リアルタイムで行われる前記既存システムおよび前記新システムからの出力対比を、任意のタイミング又は予め設定したタイマ値により停止させ得るように動作させる
ことを特徴とするプログラム。
上記付記記載のプログラムであって、
前記出力の対比結果の差分に基づき、前記更新プログラムにおける抽出した差分に影響を与えたプログラムリスト列を認知可能に出力させる
ことを特徴とするプログラム。
上記付記記載のプログラムであって、
前記出力の対比結果の差分について、前記既存プログラムと前記更新プログラムとのプログラムリストとしての差分および前記更新プログラムに基づき、更新に関連して変更されるべき出力事項であるか判定させる
ことを特徴とするプログラム。
既存プログラムが変更されたテストの対象となる更新プログラムに対する1ないし複数の所定の変数へのテストデータとして、指定された前記変数について入力され得る全ての範囲の値を生成し、
生成した値を個々の変数のテストデータとして関連付けたテストの実行条件を生成し、
前記既存プログラムに基づく既存システムが前記生成した実行条件で示された前記変数に基づくテスト動作を行なった際の該既存システムの出力を取得し、
前記更新プログラムに基づく新システムが前記生成した実行条件で示された前記変数に基づくテスト動作を行なった際の該新システムの出力を取得し、
前記既存システムおよび前記新システムの両出力を対比すると共に、対比結果に含まれる差分について、認知可能に出力する
ことを特徴とするプログラムテスト方法。
上記付記記載のプログラムテスト方法であって、
前記所定の変数として、前記更新プログラムを解析して、新システムの使用する変数と該変数の取り得る範囲を抽出する
ことを特徴とするプログラムテスト方法。
上記付記記載のプログラムテスト方法であって、
前記所定の変数として、文字変数を用いる場合に、文字種と入力文字数範囲を指定してその組み合わせ全てについて、該変数に関連付けた実行条件に含ませる
ことを特徴とするプログラムテスト方法。
上記付記記載のプログラムテスト方法であって、
前記所定の変数の入力され得る全ての範囲について、前記新システムから入力を受け得る範囲に限定して実行条件を生成する
ことを特徴とするプログラムテスト方法。
上記付記記載のプログラムテスト方法であって、
前記既存システムおよび前記新システムを前記実行条件に基づき並列動作させることによって得られる両システムの出力を、取得した順にリアルタイムに対比を行い、対比結果の差分を順次認知可能に出力する
ことを特徴とするプログラムテスト方法。
上記付記記載のプログラムテスト方法であって、
前記実行条件に含まれる所定の変数に対するテストデータのテスト順を、境界値および限界値について優先した後、試験済みとなる値の間の値である1の値を埋めるように優先付けし、その後更に試験済みとなる値の間の値である1の値を埋めるように優先付けするように繰り返して、前記変数について入力され得る全ての範囲の値のテスト順を定め、
リアルタイムで行われる前記既存システムおよび前記新システムからの出力対比を、任意のタイミング又は予め設定したタイマ値により停止させ得るように動作する
ことを特徴とするプログラムテスト方法。
上記付記記載のプログラムテスト方法であって、
前記出力の対比結果の差分に基づき、前記更新プログラムにおける抽出した差分に影響を与えたプログラムリスト列を認知可能に出力する
ことを特徴とするプログラムテスト方法。
上記付記記載のプログラムテスト方法であって、
前記出力の対比結果の差分について、前記既存プログラムと前記更新プログラムとのプログラムリストとしての差分および前記更新プログラムに基づき、更新に関連して変更されるべき出力事項であるか判定させる
ことを特徴とするプログラムテスト方法。
20 データ処理装置
21 テスト実行条件生成手段
22 既存システム戻り値データ保存手段
23 新システム戻り値データ保存手段
24 データ比較出力手段
30 記憶装置
31 実行条件記憶部
32 入出力データ記憶部
40 入力装置
50 出力装置
100 既存システム
110 既存プログラム実行部
200 新システム
210 更新プログラム実行部
Claims (9)
- 既存プログラムが変更されたテストの対象となる更新プログラムに対する1ないし複数の所定の変数へのテストデータとして、指定された前記変数について入力され得る全ての範囲の値を生成するとともに、生成した値を個々の変数のテストデータとして関連付けたテストの実行条件を生成処理する手段と、
前記既存プログラムに基づく既存システムが前記生成した実行条件で示された前記変数に基づくテスト動作を行なった際の該既存システムの出力を取得して記憶する手段と、
前記更新プログラムに基づく新システムが前記生成した実行条件で示された前記変数に基づくテスト動作を行なった際の該新システムの出力を取得して記憶する手段と、
前記既存システムおよび前記新システムの両出力を対比処理すると共に、対比結果に含まれる差分について、認知可能に出力する手段と、
を備え、
前記実行条件に含まれる所定の変数に対するテストデータのテスト順を、境界値および限界値について優先した後、試験済みとなる値の間の値である1の値を埋めるように優先付けし、その後更に試験済みとなる値の間の値である1の値を埋めるように優先付けするように繰り返して、前記所定の変数について入力され得る全ての範囲の値のテスト順を定め、
リアルタイムで行われる前記既存システムおよび前記新システムからの出力対比を、任意のタイミング又は予め設定したタイマ値により停止させ得る
ことを特徴とするプログラムテスト装置。 - 請求項1記載のプログラムテスト装置であって、
前記所定の変数として、前記更新プログラムを解析して、新システムの使用する変数と該変数の取り得る全ての範囲を抽出する
ことを特徴とするプログラムテスト装置。 - 請求項1又は2記載のプログラムテスト装置であって、
前記所定の変数として、文字変数を用いる場合に、文字種と入力文字数範囲を指定してその組み合わせ全てについて、該変数に関連付けて前記実行条件に含ませる
ことを特徴とするプログラムテスト装置。 - 請求項1ないし3の何れか一項に記載のプログラムテスト装置であって、
前記所定の変数の入力され得る全ての範囲について、前記新システムから入力を受け得る範囲に限定して前記実行条件を生成する
ことを特徴とするプログラムテスト装置。 - 請求項1ないし4の何れか一項に記載のプログラムテスト装置であって、
前記既存システムおよび前記新システムを前記実行条件に基づき並列動作させることによって得られる両システムの出力を、取得した順にリアルタイムに対比処理を行ない、対比結果の差分を順次認知可能に出力する
ことを特徴とするプログラムテスト装置。 - 請求項1ないし5の何れか一項に記載のプログラムテスト装置であって、
前記出力の対比結果の差分に基づき、前記更新プログラムにおける抽出した差分に影響を与えたプログラムリスト列を認知可能に出力する
ことを特徴とするプログラムテスト装置。 - 請求項1ないし6の何れか一項に記載のプログラムテスト装置であって、
前記出力の対比結果の差分について、前記既存プログラムと前記更新プログラムとのプログラムリストとしての差分および前記更新プログラムに基づき、更新に関連して変更されるべき出力事項であるか判定する
ことを特徴とするプログラムテスト装置。 - 情報処理装置の制御部を、
既存プログラムが変更されたテストの対象となる更新プログラムに対する1ないし複数の所定の変数へのテストデータとして、指定された前記変数について入力され得る全ての範囲の値を生成するとともに、生成した値を個々の変数のテストデータとして関連付けたテストの実行条件を生成する手段と、
前記既存プログラムに基づく既存システムが前記生成した実行条件で示された前記変数に基づくテスト動作を行なった際の該既存システムの出力を取得して記憶する手段と、
前記更新プログラムに基づく新システムが前記生成した実行条件で示された前記変数に基づくテスト動作を行なった際の該新システムの出力を取得して記憶する手段と、
前記既存システムおよび前記新システムの両出力を対比すると共に、対比結果に含まれる差分について、認知可能に出力する手段
として動作させ、
前記制御部に、
前記実行条件に含まれる所定の変数に対するテストデータのテスト順を、境界値および限界値について優先した後、試験済みとなる値の間の値である1の値を埋めるように優先付けし、その後更に試験済みとなる値の間の値である1の値を埋めるように優先付けするように繰り返して、前記所定の変数について入力され得る全ての範囲の値のテスト順を定めて、
リアルタイムで行われる前記既存システムおよび前記新システムからの出力対比を、任意のタイミング又は予め設定したタイマ値により停止させる
動作を行わせる
ことを特徴とするプログラム。 - 既存プログラムが変更されたテストの対象となる更新プログラムに対する1ないし複数の所定の変数へのテストデータとして、指定された前記変数について入力され得る全ての範囲の値を生成し、
生成した値を個々の変数のテストデータとして関連付けたテストの実行条件を、該実行条件に含まれる所定の変数に対するテストデータのテスト順を、境界値および限界値について優先した後、試験済みとなる値の間の値である1の値を埋めるように優先付けし、その後更に試験済みとなる値の間の値である1の値を埋めるように優先付けするように繰り返して、前記所定の変数について入力され得る全ての範囲の値のテスト順を定めて、前記既存プログラムに基づく既存システムと前記更新プログラムに基づく新システムとのリアルタイムで行う出力対比を任意のタイミング又は予め設定したタイマ値により停止させ得るように生成処理し、
前記既存システムが前記生成した実行条件で示された前記変数に基づくテスト動作を行なった際の該既存システムの出力を取得し、
前記新システムが前記生成した実行条件で示された前記変数に基づくテスト動作を行なった際の該新システムの出力を取得し、
前記既存システムおよび前記新システムの両出力を対比すると共に、対比結果に含まれる差分について、認知可能に出力する
ことを特徴とする情報処理システムによるプログラムテスト方法。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2011075157A JP5874891B2 (ja) | 2011-03-30 | 2011-03-30 | プログラムテスト装置、プログラムテスト方法、およびプログラム |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2011075157A JP5874891B2 (ja) | 2011-03-30 | 2011-03-30 | プログラムテスト装置、プログラムテスト方法、およびプログラム |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2012208830A JP2012208830A (ja) | 2012-10-25 |
JP5874891B2 true JP5874891B2 (ja) | 2016-03-02 |
Family
ID=47188474
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2011075157A Active JP5874891B2 (ja) | 2011-03-30 | 2011-03-30 | プログラムテスト装置、プログラムテスト方法、およびプログラム |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP5874891B2 (ja) |
Families Citing this family (15)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP5825234B2 (ja) * | 2012-09-11 | 2015-12-02 | 横浜ゴム株式会社 | ゴム補強用スチールコードおよびコンベヤベルト |
US8954546B2 (en) | 2013-01-25 | 2015-02-10 | Concurix Corporation | Tracing with a workload distributor |
US9207969B2 (en) * | 2013-01-25 | 2015-12-08 | Microsoft Technology Licensing, Llc | Parallel tracing for performance and detail |
US9021262B2 (en) | 2013-01-25 | 2015-04-28 | Concurix Corporation | Obfuscating trace data |
US8997063B2 (en) | 2013-02-12 | 2015-03-31 | Concurix Corporation | Periodicity optimization in an automated tracing system |
US20130283281A1 (en) | 2013-02-12 | 2013-10-24 | Concurix Corporation | Deploying Trace Objectives using Cost Analyses |
US8924941B2 (en) | 2013-02-12 | 2014-12-30 | Concurix Corporation | Optimization analysis using similar frequencies |
US9665474B2 (en) | 2013-03-15 | 2017-05-30 | Microsoft Technology Licensing, Llc | Relationships derived from trace data |
US9575874B2 (en) | 2013-04-20 | 2017-02-21 | Microsoft Technology Licensing, Llc | Error list and bug report analysis for configuring an application tracer |
JP2015043198A (ja) * | 2013-07-22 | 2015-03-05 | 株式会社東芝 | 解析システム、解析方法および解析プログラム |
JP6205965B2 (ja) * | 2013-08-09 | 2017-10-04 | 富士通株式会社 | テストデータ生成プログラム、テストデータ生成方法、およびテストデータ生成装置 |
US9292415B2 (en) | 2013-09-04 | 2016-03-22 | Microsoft Technology Licensing, Llc | Module specific tracing in a shared module environment |
CN105765528B (zh) | 2013-11-13 | 2019-09-24 | 微软技术许可有限责任公司 | 具有可配置原点定义的应用执行路径跟踪的方法、系统和介质 |
JP7047444B2 (ja) * | 2018-02-16 | 2022-04-05 | トヨタ自動車株式会社 | 車両制御装置、電子制御ユニット、制御方法、制御プログラム、車両、otaマスタ、システム及びセンタ |
US11093379B2 (en) | 2019-07-22 | 2021-08-17 | Health Care Service Corporation | Testing of complex data processing systems |
Family Cites Families (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH03244043A (ja) * | 1990-02-21 | 1991-10-30 | Nec Corp | テストデータ生成装置 |
JP2005141406A (ja) * | 2003-11-05 | 2005-06-02 | Toyota Motor Corp | コンパイラ検査システムおよび同プログラム |
JP2007041804A (ja) * | 2005-08-02 | 2007-02-15 | Sharp Corp | プログラム生成装置、プログラム検証装置および検証プログラム |
JP4874277B2 (ja) * | 2008-03-12 | 2012-02-15 | 株式会社日立ソリューションズ | 自動テスト実行システム |
-
2011
- 2011-03-30 JP JP2011075157A patent/JP5874891B2/ja active Active
Also Published As
Publication number | Publication date |
---|---|
JP2012208830A (ja) | 2012-10-25 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP5874891B2 (ja) | プログラムテスト装置、プログラムテスト方法、およびプログラム | |
US9389849B2 (en) | Test case pattern matching | |
US20170228309A1 (en) | System and method for equivalence class analysis-based automated requirements-based test case generation | |
EP2960799A1 (en) | Defect localization in software integration tests | |
Mahajan et al. | Using visual symptoms for debugging presentation failures in web applications | |
US10162739B2 (en) | Test case generation system and recording medium wherein test case is recorded | |
JPH08241193A (ja) | コード・セグメント解析方法。 | |
EP2238540A1 (en) | Selective code instrumentation for software verification | |
CN106776338B (zh) | 一种测试方法、装置及服务器 | |
US9690682B2 (en) | Program information generating system, method, and computer program product | |
US10936474B2 (en) | Software test program generation | |
JP2008191963A (ja) | ソースコード検証システム、ソースコード検証方法、およびソースコード検証用プログラム | |
US9734042B1 (en) | System, method, and computer program for automated parameterized software testing | |
US10073764B1 (en) | Method for instruction sequence execution analysis and visualization | |
JP2020135171A (ja) | 機械学習プログラム検証装置および機械学習プログラム検証方法 | |
JP2010102620A (ja) | ユーザ操作シナリオ生成装置、方法およびプログラム | |
KR101826618B1 (ko) | 테스트 케이스 생성 방법, 장치 및 컴퓨터 판독가능 기록매체 | |
JP2002163020A (ja) | プログラマブルコントローラにおける異常検出方法およびその装置 | |
US10579761B1 (en) | Method and system for reconstructing a graph presentation of a previously executed verification test | |
JP2009230420A (ja) | ソースコード品質管理装置 | |
JP7077909B2 (ja) | デッドコード解析プログラム、デッドコード解析方法及びデッドコード解析装置 | |
Koutsopoulos et al. | Advancing data race investigation and classification through visualization | |
Srivastava et al. | Cause effect graph to decision table generation | |
JP2005301568A (ja) | 表示情報記憶制御装置および表示情報記憶制御プログラム | |
JP6002507B2 (ja) | ソフトウェア検証用プログラムおよびソフトウェア検証システム |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20140210 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20141020 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20141029 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20141224 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20150527 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20150715 |
|
TRDD | Decision of grant or rejection written | ||
RD04 | Notification of resignation of power of attorney |
Free format text: JAPANESE INTERMEDIATE CODE: A7424 Effective date: 20151216 |
|
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20151224 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20160106 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 5874891 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |