JP6520074B2 - テストダブルの生成 - Google Patents
テストダブルの生成 Download PDFInfo
- Publication number
- JP6520074B2 JP6520074B2 JP2014238059A JP2014238059A JP6520074B2 JP 6520074 B2 JP6520074 B2 JP 6520074B2 JP 2014238059 A JP2014238059 A JP 2014238059A JP 2014238059 A JP2014238059 A JP 2014238059A JP 6520074 B2 JP6520074 B2 JP 6520074B2
- Authority
- JP
- Japan
- Prior art keywords
- test
- double
- proxies
- refined
- abstract
- 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
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3668—Software testing
- G06F11/3672—Test management
- G06F11/3684—Test management for test design, e.g. generating new test cases
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
- G06F11/0703—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation
- G06F11/0706—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation the processing taking place on a specific hardware platform or in a specific software environment
- G06F11/0745—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation the processing taking place on a specific hardware platform or in a specific software environment in an input/output transactions management context
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
- G06F11/0703—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation
- G06F11/0793—Remedial or corrective actions
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Quality & Reliability (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Computer Hardware Design (AREA)
- Debugging And Monitoring (AREA)
- Stored Programmes (AREA)
Description
Claims (17)
- テスト対象関数の被呼出し関数用のテストダブルプロキシを生成するための方法であって、前記方法は、
テスト対象関数によって呼び出される全ての被呼出し関数用の抽象テストスタブを有するテストダブルプロキシの初期の組を生成することであって、前記抽象テストスタブは、生成される前記テストダブルプロキシの初期の組に属するテストスタブであり、前記テストダブルプロキシは、プロキシファイル内のテストスタブを含むテストダブルであり、前記テストダブルプロキシの初期の組内の前記テストダブルプロキシのそれぞれは、前記被呼出し関数のうちの異なる被呼出し関数に対応していることと、
前記抽象テストスタブのうちの第1の抽象テストスタブの精緻化が前記テスト対象関数のテストカバレッジを向上させると判定することに応答して、前記テストダブルプロキシの初期の組内の第1のテストダブルプロキシ用の前記抽象テストスタブのうちの前記第1の抽象テストスタブの代わりに、第1の精緻化されたテストスタブを含むテストダブルプロキシの第1の精緻化された組を生成することと、
テストダブルプロキシの直後の精緻化された組を生成する前に、テストダブルプロキシの現在の組を反復して精緻化することを含み、
前記テストダブルプロキシの現在の組は、前記テストダブルプロキシの初期の組又は前記テストダブルプロキシの直後の精緻化された組に先行するテストダブルプロキシの精緻化された組を含み、
前記テストダブルプロキシの直後の精緻化された組を生成する前に、前記テストダブルプロキシの現在の組を反復して精緻化することは、
前記抽象テストスタブの全てのサブセットが前記テストダブルプロキシの現在の組内において精緻化されたか否かを判定することと、
前記テストダブルプロキシの現在の組内の前記抽象テストスタブの全てのサブセットが精緻化されたことを判定することに応答して、前記テストダブルプロキシの直後の精緻化された組を生成することと、
前記テストダブルプロキシの現在の組内の前記抽象テストスタブの全てのサブセットが精緻化されてはいないことを判定することに応答して、精緻化されていない前記テストダブルプロキシの現在の組内の前記抽象テストスタブの現在のサブセットを一時的に精緻化することと、
前記抽象テストスタブの前記一時的に精緻化された現在のサブセットを有する前記テストダブルプロキシの現在の組の現在のサブセットと前記テストダブルプロキシの現在の組の現在の残りの部分の両方を使用して、前記テスト対象関数をシンボリックに実行することと、
前記テストダブルプロキシの現在の組の前記現在のサブセットと前記テストダブルプロキシの現在の組の残りの部分の両方を使用した前記テスト対象関数のシンボリック実行がタイムアウトすることに応答して、或いは、前記テストダブルプロキシの現在の組の前記現在のサブセットと前記テストダブルプロキシの前記現在の組の前記残りの部分の両方を使用した前記テスト対象関数のシンボリック実行が、タイムアウトせず、且つ、前記テスト対象関数の以前のテストカバレッジを向上しないことに応答して、前記抽象テストスタブの前記一時的に精緻化された現在のサブセットを精緻化解除することと、
前記テストダブルプロキシの現在の組の前記現在のサブセットと前記テストダブルプロキシの現在の組の前記残りの部分の両方を使用した前記テスト対象関数のシンボリック実行が、タイムアウトせず、且つ、前記テスト対象関数の以前のテストカバレッジを向上することに応答して、前記テストダブルプロキシの直後の精緻化された組内において、前記抽象テストスタブの前記一時的に生成された現在のサブセットを永続的な精緻化として含むこと、
を含む、方法。 - 前記テストダブルプロキシの第1の精緻化された組内の前記抽象テストスタブのうちの第2の抽象テストスタブを、ユーザによって特定されたテストスタブに精緻化するために有効であるユーザ入力を受信することをさらに含む、請求項1に記載の方法。
- 前記テストダブルプロキシを反復して向上することは、1つ又は複数の反復のそれぞれにおいて、
テストダブルプロキシの直前の組内において、前記テスト対象関数のシンボリック実行に基づいて、前記抽象テストスタブのうちの少なくとも1つを精緻化されたテストスタブに精緻化することにより、テストダブルプロキシの現在の精緻化された組を自動的に生成することと、
前記テストダブルプロキシの現在の精緻化された組内において、前記抽象テストスタブのうちの少なくとも1つをユーザによって特定されたテストスタブに精緻化するために有効であるユーザ入力を受信することを含み、
現在の反復における前記ユーザによって特定されたテストスタブを有する前記テストダブルプロキシの前記現在の精緻化された組は、直後の反復における前記テストダブルプロキシの直前の組となる、請求項2に記載の方法。 - 前記抽象テストスタブの少なくとも1つを精緻化されたテストスタブに精緻化することは、前記精緻化されたテストスタブに精緻化される前記抽象テストスタブのうちの少なくとも1つを、前記被呼出し関数のうちの対応する被呼出し関数に対する呼出しを含むオリジナル動作テストスタブと置換することを含む、請求項3に記載の方法。
- 前記抽象テストスタブのうちの少なくとも1つをユーザによって特定されたテストスタブに精緻化するために有効であるユーザ入力を受信することは、前記ユーザによって特定されたテストスタブに精緻化される前記抽象テストスタブのうちの前記少なくとも1つを、前記被呼出し関数のうちの対応する被呼出し関数を近似するスマートテストスタブと置換するために有効であるユーザ入力を受信することを含む、請求項3に記載の方法。
- 前記テスト対象関数によって呼び出される全ての前記被呼出し関数用の前記抽象テストスタブを有する前記テストダブルプロキシの初期の組を生成することは、前記被呼出し関数のそれぞれごとに、
前記被呼出し関数のうちの対応する被呼出し関数が変数を返さない場合、何もしないテストスタブ、又は、
前記被呼出し関数のうちの対応する被呼出し関数が変数を返す場合、シンボリック変数を返すパラメータ化されたテストスタブを生成することを含む、請求項1に記載の方法。 - 前記テストダブルプロキシの第1の精緻化された組を生成する前に、
前記テストダブルプロキシの初期の組を使用して前記テスト対象関数をシンボリックに実行することと、
前記テストダブルプロキシの初期の組によって提供される前記テスト対象関数の前記テストカバレッジを判定することと、
前記テストダブルプロキシの初期の組に含まれている前記抽象テストスタブのサブセットを一時的に精緻化することであって、第1のテストダブルプロキシ内の前記抽象テストスタブのうちの前記第1の抽象テストスタブを、前記第1の精緻化されたテストスタブに一時的に精緻化することを含み、前記抽象テストスタブの前記精緻化されたサブセットは、前記第1の精緻化されたテストスタブを含むことと、
前記抽象テストスタブの前記一時的に精緻化されたサブセットを有する前記テストダブルプロキシの初期の組の第1のサブセットと前記テストダブルプロキシの初期の組の残りの部分の両方を使用して、前記テスト対象関数をシンボリックに実行することと、
前記抽象テストスタブの前記一時的に精緻化されたサブセットを有する前記テストダブルプロキシの初期の組の前記第1のサブセット及び前記テストダブルプロキシの初期の組の前記残りの部分によって提供される前記テスト対象関数のテストカバレッジが、全ての抽象テストスタブを有する前記テストダブルプロキシの初期の組によって提供されるテストカバレッジとの比較において、向上されると判定することと、
前記テストカバレッジが向上されると判定することに応答して、前記テストダブルプロキシの第1の精緻化された組内において前記抽象テストスタブの前記一時的に精緻化されたサブセットを永続的な精緻化として含むこと、
をさらに含む、請求項1に記載の方法。 - プロセッサと、
前記プロセッサに通信可能に連結されるとともに格納されたコンピュータ命令を有する非一時的なコンピュータ読み取り可能な媒体とを有する装置であって、
前記コンピュータ命令は、
テスト対象関数によって呼び出される全ての被呼出し関数用の抽象テストスタブを有するテストダブルプロキシの初期の組を生成することを前記プロセッサが実行可能である抽象化モジュールであって、前記抽象テストスタブは、生成される前記テストダブルプロキシの初期の組に属するテストスタブであり、前記テストダブルプロキシは、プロキシファイル内のテストスタブを含むテストダブルであり、前記テストダブルプロキシの初期の組内の前記テストダブルプロキシのそれぞれは、前記被呼出し関数のうちの異なる被呼出し関数に対応している、抽象化モジュールと、
前記抽象テストスタブのうちの第1の抽象テストスタブの精緻化が前記テスト対象関数のテストカバレッジを向上させると判定することに応答して、前記テストダブルプロキシの初期の組内の第1のテストダブルプロキシ用の前記抽象テストスタブのうちの前記第1の抽象テストスタブの代わりに、第1の精緻化されたテストスタブを含むテストダブルプロキシの第1の精緻化された組を生成することを前記プロセッサが実行可能である精緻化モジュールと、
ユーザインターフェイスモジュールと、シンボリック実行モジュールと、及び/又はテストカバレッジモジュールと、を含み、
前記精緻化モジュール、前記ユーザインターフェイスモジュール、前記シンボリック実行モジュール、及び/又は前記テストカバレッジモジュールは、テストダブルプロキシの直後の精緻化された組の生成の前に、テストダブルプロキシの現在の組を反復して生成することを前記プロセッサが実行可能であり、
前記テストダブルプロキシの現在の組は、前記テストダブルプロキシの初期の組又は前記テストダブルプロキシの直後の精緻化された組に先行するテストダブルプロキシの精緻化された組を含み、
前記精緻化モジュール、前記ユーザインターフェイスモジュール、前記シンボリック実行モジュール、及び/又は前記テストカバレッジモジュールは、以下のように、前記テストダブルプロキシの現在の組を反復して生成することを前記プロセッサが実行可能であり、
前記精緻化モジュールは、前記テストダブルプロキシの直後の精緻化された組の生成の前に、前記抽象テストスタブの全てのサブセットが前記テストダブルプロキシの現在の組内において精緻化されたか否かを判定することを前記プロセッサがさらに実行可能であり、
前記精緻化モジュールは、前記抽象テストスタブの全てのサブセットが前記テストダブルプロキシの現在の組内において精緻化されたことを判定することに応答して、前記テストダブルプロキシの直後の精緻化された組を生成することを前記プロセッサが実行可能であり、
前記テストダブルプロキシの現在の組内の前記抽象テストスタブの全てのサブセットが精緻化されてはいないことを判定することに応答して、前記精緻化モジュールは、精緻化されていない前記テストダブルプロキシの現在の組内の前記抽象テストスタブの現在のサブセットを一時的に精緻化することを前記プロセッサがさらに実行可能であり、
前記シンボリック実行モジュールは、前記テストダブルプロキシの直後の精緻化された組の生成の前に、前記抽象テストスタブの前記一時的に精緻化された現在のサブセットを有する前記テストダブルプロキシの現在の組の現在のサブセットと前記テストダブルプロキシの現在の組の現在の残りの部分の両方を使用して、前記テスト対象関数をシンボリックに実行することを前記プロセッサがさらに実行可能であり、
前記テストダブルプロキシの現在の組の前記現在のサブセットと前記テストダブルプロキシの現在の組の前記残りの部分の両方を使用した前記テスト対象関数のシンボリック実行がタイムアウトすることに応答して、或いは、前記テストダブルプロキシの現在の組の前記現在のサブセットと前記テストダブルプロキシの現在の組の前記残りの部分の両方を使用した前記テスト対象関数のシンボリック実行が、タイムアウトせず、且つ、前記テスト対象関数の以前のテストカバレッジを向上しないことに応答して、前記精緻化モジュールは、前記テストダブルプロキシの直後の精緻化された組の生成の前に、前記抽象テストスタブの前記一時的に精緻化された現在のサブセットを精緻化解除することを前記プロセッサがさらに実行可能であり、
前記テストダブルプロキシの現在の組の前記現在のサブセットと前記テストダブルプロキシの現在の組の前記残りの部分の両方を使用した前記テスト対象関数のシンボリック実行が、タイムアウトせず、且つ、前記テスト対象関数の以前のテストカバレッジを向上することに応答して、前記精緻化モジュールは、前記テストダブルプロキシの直後の精緻化された組内において前記抽象テストスタブの前記一時的に精緻化された現在のサブセットを永続的な精緻化として含むことを前記プロセッサがさらに実行可能である、装置。 - 前記ユーザインターフェイスモジュールは、前記テストダブルプロキシの第1の精緻化された組内の前記抽象テストスタブのうちの第2の抽象テストスタブを、ユーザによって特定されたテストスタブに精緻化するために有効であるユーザ入力を受信することを前記プロセッサが実行可能である、請求項8に記載の装置。
- 前記精緻化モジュール及び前記ユーザインターフェイスモジュールは、前記テストダブルプロキシを反復して向上することを前記プロセッサが実行可能であって、1つ又は複数の反復のそれぞれにおいて、
前記精緻化モジュールは、テストダブルプロキシの直前の組内において、前記テスト対象関数のシンボリック実行に基づいて、前記抽象テストスタブのうちの少なくとも1つを精緻化されたテストスタブに精緻化することにより、テストダブルプロキシの現在の精緻化された組を自動的に生成することを前記プロセッサが実行可能であることと、
前記ユーザインターフェイスモジュールは、前記テストダブルプロキシの現在の精緻化された組内において、前記抽象テストスタブのうちの少なくとも1つをユーザによって特定されたテストスタブに精緻化するために有効であるユーザ入力を受信することを前記プロセッサが実行可能であることを含み、
現在の反復における前記ユーザによって特定されたテストスタブを有する前記テストダブルプロキシの現在の精緻化された組は、直後の反復における前記テストダブルプロキシの直前の組になる、請求項9に記載の装置。 - 前記シンボリック実行モジュールは、前記テストダブルプロキシの第1の精緻化された組の生成の前に、前記テストダブルプロキシの初期の組を使用して前記テスト対象関数をシンボリックに実行することを前記プロセッサが実行可能であり、
前記テストカバレッジモジュールは、前記テストダブルプロキシの第1の精緻化された組の生成の前に、前記テストダブルプロキシの初期の組によって提供される前記テスト対象関数のテストカバレッジを判定することを前記プロセッサが実行可能であり、
前記精緻化モジュールは、前記テストダブルプロキシの第1の精緻化された組の生成の前に、前記抽象テストスタブのサブセットを一時的に精緻化することを前記プロセッサがさらに実行可能であって、第1のテストダブルプロキシ内の前記抽象テストスタブのうちの前記第1の抽象テストスタブを前記第1の精緻化されたテストスタブに一時的に精緻化することを実行可能であることを含み、前記抽象テストスタブの前記精緻化されたサブセットは、前記第1の精緻化されたテストスタブを含み、
前記シンボリック実行モジュールは、前記テストダブルプロキシの第1の精緻化された組の生成の前に、前記抽象テストスタブの前記一時的に精緻化されたサブセットを有する前記テストダブルプロキシの初期の組の第1のサブセットと前記テストダブルプロキシの初期の組の残りの部分の両方を使用して、前記テスト対象関数をシンボリックに実行することを前記プロセッサがさらに実行可能であり、
前記テストカバレッジモジュールは、前記テストダブルプロキシの第1の精緻化された組の生成の前に、前記抽象テストスタブの前記一時的に精緻化されたサブセットを有する前記テストダブルプロキシの初期の組の前記第1のサブセット及び前記テストダブルプロキシの初期の組の残りの部分によって提供される前記テスト対象関数の前記テストカバレッジが、全ての抽象テストスタブを有する前記テストダブルプロキシの初期の組によって提供される前記テストカバレッジと比較して、向上されると判定することを前記プロセッサがさらに実行可能であり、
前記精緻化モジュールは、前記テストカバレッジが向上されると判定することに応答して、前記テストダブルプロキシの第1の精緻化された組内において、前記抽象テストスタブの前記一時的に精緻化されたサブセットを永続的な精緻化として含むことを前記プロセッサがさらに実行可能である、請求項10に記載の装置。 - テスト対象関数によって呼び出される全ての被呼出し関数用の抽象テストスタブを有するテストダブルプロキシの初期の組を生成することであって、前記抽象テストスタブは、生成される前記テストダブルプロキシの初期の組に属するテストスタブであり、前記テストダブルプロキシは、プロキシファイル内のテストスタブを含むテストダブルであり、前記テストダブルプロキシの初期の組内の前記テストダブルプロキシのそれぞれは、前記被呼出し関数のうちの異なる被呼出し関数に対応していることと、
前記抽象テストスタブのうちの第1の抽象テストスタブの精緻化が前記テスト対象関数のテストカバレッジを向上させると判定することに応答して、前記テストダブルプロキシの初期の組内の第1のテストダブルプロキシ用の前記抽象テストスタブのうちの第1の抽象テストスタブの代わりに、第1の精緻化されたテストスタブを含むテストダブルプロキシの第1の精緻化された組を生成することと、
テストダブルプロキシの直後の精緻化された組を生成する前に、テストダブルプロキシの現在の組を反復して精緻化することを含み、
前記テストダブルプロキシの現在の組は、前記テストダブルプロキシの初期の組又は前記テストダブルプロキシの直後の精緻化された組に先行するテストダブルプロキシの精緻化された組を含み、
前記テストダブルプロキシの直後の精緻化された組を生成する前に、前記テストダブルプロキシの現在の組を反復して精緻化することは、
前記抽象テストスタブの全てのサブセットが前記テストダブルプロキシの現在の組内において精緻化されたか否かを判定することと、
前記テストダブルプロキシの現在の組内の前記抽象テストスタブの全てのサブセットが精緻化されたことを判定することに応答して、前記テストダブルプロキシの直後の精緻化された組を生成することと、
前記テストダブルプロキシの現在の組内の前記抽象テストスタブの全てのサブセットが精緻化されてはいないことを判定することに応答して、精緻化されていない前記テストダブルプロキシの現在の組内の前記抽象テストスタブの現在のサブセットを一時的に精緻化することと、
前記抽象テストスタブの前記一時的に精緻化された現在のサブセットを有する前記テストダブルプロキシの現在の組の現在のサブセットと前記テストダブルプロキシの現在の組の現在の残りの部分の両方を使用して、前記テスト対象関数をシンボリックに実行することと、
前記テストダブルプロキシの現在の組の前記現在のサブセットと前記テストダブルプロキシの現在の組の残りの部分の両方を使用した前記テスト対象関数のシンボリック実行がタイムアウトすることに応答して、或いは、前記テストダブルプロキシの現在の組の前記現在のサブセットと前記テストダブルプロキシの前記現在の組の前記残りの部分の両方を使用した前記テスト対象関数のシンボリック実行が、タイムアウトせず、且つ、前記テスト対象関数の以前のテストカバレッジを向上しないことに応答して、前記抽象テストスタブの前記一時的に精緻化された現在のサブセットを精緻化解除することと、
前記テストダブルプロキシの現在の組の前記現在のサブセットと前記テストダブルプロキシの現在の組の前記残りの部分の両方を使用した前記テスト対象関数のシンボリック実行が、タイムアウトせず、且つ、前記テスト対象関数の以前のテストカバレッジを向上することに応答して、前記テストダブルプロキシの直後の精緻化された組内において、前記抽象テストスタブの前記一時的に生成された現在のサブセットを永続的な精緻化として含むこと、
を含む動作をプロセッサに実行させるコンピュータプログラム。 - 前記テストダブルプロキシの第1の精緻化された組内の前記抽象テストスタブのうちの第2の抽象テストスタブを、ユーザによって特定されたテストスタブに精緻化するために有効であるユーザ入力を受信することをさらに含む、請求項12に記載のコンピュータプログラム。
- 前記動作は、前記テストダブルプロキシを反復して向上することをさらに含み、1つ又は複数の反復のそれぞれにおいて、
テストダブルプロキシの直前の組内において、前記テスト対象関数のシンボリック実行に基づいて、前記抽象テストスタブのうちの少なくとも1つを精緻化されたテストスタブに精緻化することにより、テストダブルプロキシの現在の精緻化された組を自動的に生成することと、
前記テストダブルプロキシの現在の精緻化された組内において、前記抽象テストスタブのうちの少なくとも1つをユーザによって特定されたテストスタブに精緻化するために有効であるユーザ入力を受信することを含み、
現在の反復における前記ユーザによって特定されたテストスタブを有する前記テストダブルプロキシの現在の精緻化された組は、直後の反復における前記テストダブルプロキシの直前の組となる、請求項13に記載のコンピュータプログラム。 - 前記抽象テストスタブのうちの少なくとも1つを精緻化されたテストスタブに精緻化することは、前記精緻化されたテストスタブに精緻化される前記抽象テストスタブの前記少なくも1つを、前記被呼出し関数のうちの対応する被呼出し関数に対する呼出しを含むオリジナル動作テストスタブと置換することを含み、
前記抽象テストスタブのうちの少なくとも1つをユーザによって特定されたテストスタブに精緻化するために有効であるユーザ入力を受信することは、前記ユーザによって特定されたテストスタブに精緻化される前記抽象テストスタブのうちの前記少なくとも1つを、前記被呼出し関数のうちの対応する被呼出し関数を近似するスマートテストスタブと置換するために有効であるユーザ入力を受信することを含む、請求項14に記載のコンピュータプログラム。 - 前記テスト対象関数によって呼び出される全ての前記被呼出し関数用の前記抽象テストスタブを有する前記テストダブルプロキシの初期の組を生成することは、前記被呼出し関数のそれぞれごとに、
前記被呼出し関数のうちの前記対応する被呼出し関数が変数を返さない場合、何もしないテストスタブ、又は、
前記被呼出し関数のうちの対応する被呼出し関数が変数を返す場合、シンボリック変数を返すパラメータ化されたテストスタブを生成することを含む、請求項14に記載のコンピュータプログラム。 - 前記動作は、テストダブルプロキシの直後の精緻化された組の生成の前に、テストダブルプロキシの現在の組を反復して精緻化することをさらに含み、
前記テストダブルプロキシの現在の組は、前記テストダブルプロキシの初期の組又は前記テストダブルプロキシの直後の精緻化された組に先行するテストダブルプロキシの精緻化された組を含む、請求項12に記載のコンピュータプログラム。
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US14/170,208 | 2014-01-31 | ||
US14/170,208 US9317405B2 (en) | 2014-01-31 | 2014-01-31 | Test double generation |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2015146179A JP2015146179A (ja) | 2015-08-13 |
JP6520074B2 true JP6520074B2 (ja) | 2019-05-29 |
Family
ID=53754925
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2014238059A Active JP6520074B2 (ja) | 2014-01-31 | 2014-11-25 | テストダブルの生成 |
Country Status (2)
Country | Link |
---|---|
US (1) | US9317405B2 (ja) |
JP (1) | JP6520074B2 (ja) |
Families Citing this family (9)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US9697109B2 (en) * | 2014-06-26 | 2017-07-04 | Parasoft Corporation | Dynamically configurable test doubles for software testing and validation |
US9626276B2 (en) * | 2014-11-26 | 2017-04-18 | Sap Se | Generating a test version of a method to be called during runtime and fulfilling a collaboration contract |
JP6512032B2 (ja) * | 2015-08-21 | 2019-05-15 | 富士通株式会社 | スタブ化対象判定装置、方法、及びプログラム |
US9979680B2 (en) | 2016-07-21 | 2018-05-22 | Fujitsu Limited | Smart notification scheduling and modality selection |
CN106294182B (zh) * | 2016-08-24 | 2021-02-09 | 腾讯科技(深圳)有限公司 | 一种确定众测反馈有效性的方法、测试设备及系统 |
US11010283B2 (en) * | 2016-11-08 | 2021-05-18 | Microsoft Technology Licensing, Llc | Mock-based unit test(s) for an end-to-end test of a code snippet |
JP6879046B2 (ja) * | 2017-05-15 | 2021-06-02 | トヨタ自動車株式会社 | テスト方法及びプログラム |
US10394699B1 (en) * | 2017-09-11 | 2019-08-27 | Cadence Design Systems, Inc. | Method and system for reusing a refinement file in coverage grading |
CN110704303B (zh) * | 2019-09-05 | 2021-07-20 | 深圳开源互联网安全技术有限公司 | 一种测试覆盖度信息的获取方法及装置 |
Family Cites Families (10)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH09265414A (ja) * | 1996-03-28 | 1997-10-07 | Hitachi Ltd | テスト環境構築支援システム |
JP2000132425A (ja) * | 1998-10-26 | 2000-05-12 | Hitachi Ltd | ソフトウェアテスト方法 |
JP2005070835A (ja) * | 2003-08-25 | 2005-03-17 | Fujitsu Ltd | テスト支援プログラムおよびテスト支援方法 |
US7496791B2 (en) * | 2005-08-04 | 2009-02-24 | Microsoft Corporation | Mock object generation by symbolic execution |
CN100571167C (zh) * | 2006-02-24 | 2009-12-16 | 国际商业机器公司 | Web服务业务流程的单元测试的方法和设备 |
JP5082797B2 (ja) * | 2007-11-22 | 2012-11-28 | 日本電気株式会社 | ソフトウェア部分テストシステム |
US20090282289A1 (en) * | 2008-05-06 | 2009-11-12 | Microsoft Corporation | Generation and evaluation of test cases for software validation and proofs |
US8504997B2 (en) * | 2009-03-19 | 2013-08-06 | Fujitsu Limited | Environment data refinement based on static analysis and symbolic execution |
JP5328457B2 (ja) * | 2009-04-07 | 2013-10-30 | 三菱電機株式会社 | 単体試験支援装置 |
JP5505227B2 (ja) * | 2010-09-22 | 2014-05-28 | 富士通株式会社 | 繰返しシンボリック実行方法、プログラム及び装置 |
-
2014
- 2014-01-31 US US14/170,208 patent/US9317405B2/en active Active
- 2014-11-25 JP JP2014238059A patent/JP6520074B2/ja active Active
Also Published As
Publication number | Publication date |
---|---|
US9317405B2 (en) | 2016-04-19 |
US20150220424A1 (en) | 2015-08-06 |
JP2015146179A (ja) | 2015-08-13 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP6520074B2 (ja) | テストダブルの生成 | |
US7681180B2 (en) | Parameterized test driven development | |
US10296447B2 (en) | Automated software program repair | |
US7055065B2 (en) | Method, system, and computer program product for automated test generation for non-deterministic software using state transition rules | |
US7895575B2 (en) | Apparatus and method for generating test driver | |
JP7070195B2 (ja) | インタラクティブなソフトウェアプログラムの修復 | |
US9081892B2 (en) | Software verification | |
Zhou et al. | Towards a practical approach to test aspect-oriented software | |
US10592703B1 (en) | Method and system for processing verification tests for testing a design under test | |
US9058427B2 (en) | Iterative generation of symbolic test drivers for object-oriented languages | |
EP1926021A1 (en) | Software test case generation | |
US20030130813A1 (en) | Adaptive test program generation | |
CN110419031B (zh) | 用于微控制器程序的代码覆盖范围跟踪 | |
JP2015219906A (ja) | ソフトウェア確認方法およびプロセッサ | |
CN114117977B (zh) | 一种适用于自动验证处理器系统场景的方法 | |
US20110029953A1 (en) | System and Method for Scalable Handling of Debug Information | |
US11561888B2 (en) | Initialization sequences for automatic software test generation | |
JP6476777B2 (ja) | テストコンテキストの生成 | |
Mou et al. | Binding requirements and component architecture by using model-based test-driven development | |
US9489284B2 (en) | Debugging method and computer program product | |
CN115034165A (zh) | 一种芯片仿真验证方法、系统、设备以及存储介质 | |
CN112540920A (zh) | 测试方法、装置、设备和存储介质 | |
US11719749B1 (en) | Method and system for saving and restoring of initialization actions on dut and corresponding test environment | |
US8930759B2 (en) | Stream generation | |
Bhasin et al. | Software Architecture Based Regression Testing |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20170804 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20180521 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20180529 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20180719 |
|
A02 | Decision of refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A02 Effective date: 20190108 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20190218 |
|
A911 | Transfer to examiner for re-examination before appeal (zenchi) |
Free format text: JAPANESE INTERMEDIATE CODE: A911 Effective date: 20190227 |
|
TRDD | Decision of grant or rejection written | ||
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20190402 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20190415 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 6520074 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |