JP5845811B2 - 分散コンピューティング環境におけるソフトウェアの解析の効率的な並列化のための動的且つ知的な部分的計算管理 - Google Patents
分散コンピューティング環境におけるソフトウェアの解析の効率的な並列化のための動的且つ知的な部分的計算管理 Download PDFInfo
- Publication number
- JP5845811B2 JP5845811B2 JP2011237626A JP2011237626A JP5845811B2 JP 5845811 B2 JP5845811 B2 JP 5845811B2 JP 2011237626 A JP2011237626 A JP 2011237626A JP 2011237626 A JP2011237626 A JP 2011237626A JP 5845811 B2 JP5845811 B2 JP 5845811B2
- Authority
- JP
- Japan
- Prior art keywords
- job
- software
- boundary function
- execution
- node
- 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
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
- G06F9/46—Multiprogramming arrangements
- G06F9/50—Allocation of resources, e.g. of the central processing unit [CPU]
- G06F9/5083—Techniques for rebalancing the load in a distributed system
-
- 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/3604—Software analysis for verifying properties of programs
- G06F11/3608—Software analysis for verifying properties of programs using formal methods, e.g. model checking, abstract interpretation
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Software Systems (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Computer Hardware Design (AREA)
- Quality & Reliability (AREA)
- Debugging And Monitoring (AREA)
Description
本出願は、“METHOD AND SYSTEM FOR EFFICIENT PARALLELIZATION OF A SOFTWARE VERIFICATION PROBLEM THROUGH INTELLIGENT LOAD BALANCING”と題された2010年10月29日に提出された米国特許仮出願61/408167の35U.S.C§119(e)の下での利益を特許請求するものである。
(2)所与のサブツリーの実行に費やされる時間−y;
(3)所与のサブツリーで調査される判定ノードの数−z;
(4)利用可能なリソースのリストにおいて使用されていないフリーのリソースの数−w;及び
(5)(a)ある経路上の平均時間−u及び(b)終了された経路−vの平均の深さ、のようなグローバルなレベルでの計算の履歴及び/又は統計量。
a*x+b*y+c*z+d*w+e*u+f*v>T
境界関数は、たとえば1以上の上述されたパラメータを使用して閾値を超えているかを判定するため、適切な計算又は判定を使用する。たとえば、複雑な論理式、2変数関数、非線形関数、又はファジー計算が境界関数として使用される。たとえば、待機しているワーカノードの数が10を超えた場合、ジョブの可用性の閾値は、他の要素に係らず、自動的に超えられる。別の例では、ジョブは、シンプルに終了され、全ての発見された新たなジョブを解放する。更に別の例では、待機しているワーカノードに対応する要素の重み付け値が増加される。係る例は、ジョブのキュー又は利用可能なリソースのリストがある最大値を超えたか、又はある最小量よりも下回ったかを調べることでトリガされる。
この閾値関数を超えて、ワーカノード106により遭遇される調査されていない分岐は、新たなジョブとして作成される。制約の値は、唯一の例を反映しており、特定のソフトウェアの解析で遭遇される特定の状況に依存して変化する。相対的な重み及びそれぞれの極性の議論は、例について以下に与えられる。
“x”は、実行が行われている計算ツリーの深さである。深さは、それぞれの記号による分岐のレベルで1だけ増加する。従って、計算が行われているツリーの深さが増加するときに、再生の非常に高いコストが、閾値に到達して新たなジョブを開始することが困難となることを意味するとき、定数“a”は、負である可能性がある。
“y”は、ワーカノード106が現在のジョブに関して計算している時間(秒)である。係る解析により費やされる時間が多くなると、解析を終了して、新たなジョブを生じる傾向が高くなることを意味する。従って、定数“b”は、典型的に正の値である。
“z”は、サブツリーで既に遭遇された判定ノードの数である。判定のサブツリーが余りに大きくなり過ぎた場合、ジョブを終了し及び/又は新たなジョブを生じる傾向が増加する。従って、定数“c”は、典型的に正である。サブツリーにおいて既に遭遇した非常に多くの判定ノードが、動的にバランスを取る必要がある作業負荷の程度に関して重要ではないとき、“c”の値は、比較的低い。
“w”は、利用可能なリソースのキューにおける使用されていないワーカノード106の数である。使用されていないワーカノードは、有すべき非常に悪い問題であり、係るように、定数“d”は、正であって且つ大きい。大きな数は、既存のジョブをすぐに終了すると同様に、より積極的に新たなジョブに広がる。新たなジョブは、現在実行しているジョブの終了までジョブのキューに追加されないリソースの可用性のポリシーの文脈では、係る定数は、ジョブのキューへの追加のために新たなジョブを解放するように非常に高い。係る状況では、ワーカノード106により発見される未解決の新たなジョブの数は、この要素を考慮する。
“u”は、ある経路に関する平均時間(秒)である。これは、現在のジョブ内の経路の平均時間であるか、又はスケジューラノード104により集められた全てのジョブにわたる平均時間である。この要素は、幾つかの有効な作業を完了するための最少の時間量を確定するか、又は、新たなジョブの頻繁な非生産的な発生を防止するために使用される。係るように、定数“e”は、負であり、分散ネットワークシステム100の速度に従って比較的小さい。この要素は、ジョブをワーカノード106に割り当てるオーバヘッド、及びワーカノード106とスケジュールノード104との間の通信のために性能が低下する、リソースの過剰なチャーニング(churning)、又は過剰な小さく且つ実体のないジョブの過剰な発生を防止するために使用される。
“v”は、ワーカノード106によりこれまでの遭遇した解析及び実行の経路の平均の深さである。これは、現在のジョブ内の経路の平均、又はスケジューラノード104により集められる全てのジョブの平均である。この要素は、所定の深さに到達したかを判定するために使用され、所定に深さに到達した場合に、新たなジョブを生じる。幾つかのケースでは、この要素は、深い実行のレベルを促進するために使用される。従って、定数“f”は、正又は負である。
上述されたように、ジョブの可用性及びリソースの可用性の閾値は、それぞれ、個別に又は一緒に決定される。スケジューラノード104は、ワーカノード106の使用を比較的最適にする要件に依存して、ワーカノード106について何れかの閾値を調節する。ジョブの可用性及びリソースの可用性の閾値は、互いに関して調節される。
(付記1)
ソフトウェアを検証する方法であって、
検証すべきソフトウェアの一部を示す受信されたジョブの実行を評価する境界関数の結果を判定するステップと、
前記境界関数の結果を使用して、1以上のポリシーを前記受信されたジョブの実行に適用するステップとを含み、
前記境界関数の結果は、前記受信されたジョブの現在の実行、1以上の履歴パラメータ、他のジョブを処理するために利用可能な使用されていないノードの数の評価に基づく、
ことを特徴とする方法。
(付記2)
前記ソフトウェアの検証は、コードに記号的実行を施すことを含む、
付記1記載の方法。
(付記3)
前記ポリシーは、ジョブの可用性のポリシーを含み、
前記ジョブの可用性のポリシーは、前記受信されたジョブを実行している間に発見される探索されていない分岐について新たなジョブが作られるか否かかを示す、
付記1記載の方法。
(付記4)
前記境界関数の結果は、計算された値を含み、前記計算された値を超えたときに、前記ジョブの可用性のポリシーは、探索されていない分岐について前記新たなジョブが作られるべきであることを示す、
付記3記載の方法。
(付記5)
前記ポリシーは、リソースの可用性のポリシーを含み、
前記リソースの可用性のポリシーは、ソフトウェアの評価を継続すべきであるか否かを示す、
付記1記載の方法。
(付記6)
前記境界関数の結果は、計算された値を含み、前記計算された値を超えたときに、前記リソースの可用性のポリシーは、前記受信されたジョブの実行が終了されるべきであることを示す、
付記5記載の方法。
(付記7)
前記境界関数は、前記受信されたジョブの前記ソフトウェアの検証を表す判定ツリーの深さを含む要素を有する、
付記1記載の方法。
(付記8)
前記境界関数は、前記受信されたジョブが実行している期間を含む係数を有する、
付記1記載の方法。
(付記9)
前記境界関数は、前記受信されたジョブの前記ソフトウェアの検証を表すツリーに存在する判定ノードの数を含む要素を有する、
付記1記載の方法。
(付記10)
前記境界関数は、前記受信されたジョブの前記ソフトウェアの検証を表す判定ツリーにおける検証の経路で費やされる平均時間を含む要素を有する、
付記1記載の方法。
(付記11)
前記境界関数は、前記受信されたジョブの前記ソフトウェアの検証を表す判定ツリーにおける検証の経路の平均の深さを含む要素を有する、
付記1記載の方法。
(付記12)
前記1以上のポリシーは、ジョブの可用性のポリシーを含み、前記ジョブの可用性のポリシーは、前記受信されたジョブを実行している間に発見された探索されていない分岐について、新たなジョブが作られるべきか否かを示し、前記ジョブの可用性のポリシーは、前記境界関数の結果がジョブの可用性の閾値を超える場合に前記新たなジョブが作られるかを示し、
前記1以上のポリシーは、リソースの可用性のポリシーを含み、前記リソースの可用性のポリシーは、前記ソフトウェアの評価を継続すべきかを示し、前記ジョブの可用性のポリシーは、前記境界関数の結果が前記リソースの可用性の閾値を超える場合に、前記ソフトウェアの評価を終了することを示し、
前記ジョブの可用性の閾値及び前記リソースの可用性の閾値は、相互に関連して定義される、
付記1記載の方法。
(付記13)
前記境界関数の計算のアップデートを受信するステップを更に含む、
付記1記載の方法。
(付記14)
前記境界関数は、正又は負の値である重みの要素の合計を計算することを含み、
前記要素は、
前記受信されたジョブの前記ソフトウェアの検証を表す判定ツリーの深さと、
前記受信されたジョブが実行されている時間と、
前記受信されたジョブの前記ソフトウェアの検証を表すツリーに存在する判定ノードの数と、
前記受信されたジョブの前記ソフトウェアの検証を表す判定ツリーにおける検証の経路で費やされる平均時間と、
前記受信されるジョブの前記ソフトウェアの検証を表す判定ツリーにおける検証の経路の平均の深さと、を含み、
前記境界関数の結果は、ジョブの可用性のポリシーに対して評価され、
前記ジョブの可用性のポリシーは、前記受信されたジョブを実行している間に発見された探索されていない分岐について、新たなジョブが作られるか否かを示し、
前記ジョブの可用性のポリシーは、前記境界関数の結果がジョブの可用性の閾値を超える場合に前記新たなジョブが作られることを示す、
付記1記載の方法。
(付記15)
前記境界関数は、正又は負の値である重みの要素の合計を計算することを含み、
前記要素は、
前記受信されたジョブの前記ソフトウェアの検証を表す判定ツリーの深さと、
前記受信されたジョブが実行されている時間と、
前記受信されたジョブの前記ソフトウェアの検証を表すツリーに存在する判定ノードの数と、
前記受信されたジョブの前記ソフトウェアの検証を表す判定ツリーにおける検証の経路で費やされる平均時間と、
前記受信されたジョブの前記ソフトウェアの検証を表す判定ツリーにおける検証の経路の平均の深さと、を含み、
前記境界関数の結果は、前記ソフトウェアの評価を継続すべきかを決定するリソースの可用性のポリシーに対して評価され、
前記ジョブの可用性のポリシーは、前記境界関数の結果がリソースの可用性の閾値を超える場合に前記ソフトウェアの評価を終了することを示す、
付記1記載の方法。
(付記16)
コンピュータにより読み取り可能な記録媒体と、
コンピュータにより読み取り可能な命令を、前記コンピュータにより読取り可能な記録媒体に記録される命令とを含む製品であって、
前記命令は、前記コンピュータにより読み取られ、実行されたときに、前記コンピュータに、検証すべきソフトウェアの一部を示す受信されたジョブの実行を評価する境界関数の結果を判定させ、前記境界関数の結果を使用して、1以上のポリシーを前記受信されたジョブの実行に適用させ、
前記境界関数の結果は、前記受信されたジョブの現在の実行、1以上の履歴パラメータ、他のジョブを処理するために利用可能な使用されていないノードの数の評価に基づく、
ことを特徴とする製品。
(付記17)
前記ソフトウェアの検証は、コードに記号的実行を施すことを含む、
付記16記載の製品。
(付記18)
前記ポリシーは、ジョブの可用性のポリシーを含み、
前記ジョブの可用性のポリシーは、前記受信されたジョブを実行している間に発見される探索されていない分岐について、新たなジョブが作られるか否かかを示す、
付記16記載の製品。
(付記19)
前記境界関数の結果は、計算された値を含み、前記計算された値を超えたときに、前記ジョブの可用性のポリシーは、探索されていない分岐について前記新たなジョブが作られるべきであることを示す、
付記16記載の製品。
(付記20)
前記ポリシーは、リソースの可用性のポリシーを含み、
前記リソースの可用性のポリシーは、ソフトウェアの評価を継続すべきであるか否かを示す、
付記16記載の製品。
(付記21)
前記境界関数の結果は、計算された値を含み、前記計算された値を超えたときに、前記リソースの可用性のポリシーは、前記受信されたジョブの実行が終了されるべきであることを示す、
付記20記載の製品。
(付記22)
前記境界関数は、前記受信されたジョブの前記ソフトウェアの検証を表す判定ツリーの深さを含む要素を有する、
付記16記載の製品。
(付記23)
前記境界関数は、前記受信されたジョブが実行している期間を含む係数を有する、
付記16記載の製品。
(付記24)
前記境界関数は、前記受信されたジョブの前記ソフトウェアの検証を表すツリーに存在する判定ノードの数を含む要素を有する、
付記16記載の製品。
(付記25)
前記境界関数は、前記受信されたジョブの前記ソフトウェアの検証を表す判定ツリーにおける検証の経路で費やされる平均時間を含む要素を有する、
付記16記載の製品。
(付記26)
前記境界関数は、前記受信されたジョブの前記ソフトウェアの検証を表す判定ツリーにおける検証の経路の平均の深さを含む要素を有する、
付記16記載の製品。
(付記27)
前記1以上のポリシーは、ジョブの可用性のポリシーを含み、前記ジョブの可用性のポリシーは、前記受信されたジョブを実行している間に発見された探索されていない分岐について、新たなジョブが作られるべきか否かを示し、前記ジョブの可用性のポリシーは、前記境界関数の結果がジョブの可用性の閾値を超える場合に前記新たなジョブが作られることを示し、
前記1以上のポリシーは、リソースの可用性のポリシーを含み、前記リソースの可用性のポリシーは、前記ソフトウェアの評価を継続すべきかを示し、前記ジョブの可用性のポリシーは、前記境界関数の結果が前記リソースの可用性の閾値を超える場合に、前記ソフトウェアの評価を終了することを示し、
前記ジョブの可用性の閾値及び前記リソースの可用性の閾値は、相互に関連して定義される、
付記16記載の製品。
(付記28)
前記命令は、前記コンピュータにより読み取られ、実行されたときに、前記コンピュータに、前記境界関数の計算のアップデートを受信させる、
請求項16記載の製品。
(付記29)
前記境界関数は、正又は負の値である重みの要素の合計を計算することを含み、
前記要素は、
前記受信されたジョブの前記ソフトウェアの検証を表す判定ツリーの深さと、
前記受信されたジョブが実行されている時間と、
前記受信されたジョブの前記ソフトウェアの検証を表すツリーに存在する判定ノードの数と、
前記受信されたジョブの前記ソフトウェアの検証を表す判定ツリーにおける検証の経路で費やされる平均時間と、
前記受信されるジョブの前記ソフトウェアの検証を表す判定ツリーにおける検証の経路の平均の深さと、を含み、
前記境界関数の結果は、ジョブの可用性のポリシーに対して評価され、
前記ジョブの可用性のポリシーは、前記受信されたジョブを実行している間に発見された探索されていない分岐について、新たなジョブが作られるか否かを示し、
前記ジョブの可用性のポリシーは、前記境界関数の結果がジョブの可用性の閾値を超える場合に前記新たなジョブが作られることを示す、
付記16記載の製品。
(付記30)
前記境界関数は、正又は負の値である重みの要素の合計を計算することを含み、
前記要素は、
前記受信されたジョブの前記ソフトウェアの検証を表す判定ツリーの深さと、
前記受信されたジョブが実行されている時間と、
前記受信されたジョブの前記ソフトウェアの検証を表すツリーに存在する判定ノードの数と、
前記受信されたジョブの前記ソフトウェアの検証を表す判定ツリーにおける検証の経路で費やされる平均時間と、
前記受信されたジョブの前記ソフトウェアの検証を表す判定ツリーにおける検証の経路の平均の深さと、を含み、
前記境界関数の結果は、前記ソフトウェアの評価を継続すべきかを決定するリソースの可用性のポリシーに対して評価され、
前記ジョブの可用性のポリシーは、前記境界関数の結果がリソースの可用性の閾値を超える場合に前記ソフトウェアの評価を終了することを示す、
付記16記載の製品。
102:ネットワーク
104:スケジューラノード
106:ワーカノード
108:検証のウェブサービス
Claims (16)
- ソフトウェアを検証する方法であって、
受信されたジョブの実行を評価する境界関数の結果を判定するステップであって、前記ジョブの中に検証すべきソフトウェアの一部が指示される、ステップと、
前記境界関数の結果を使用して、1以上のポリシーを前記受信されたジョブの実行に適用するステップとを含み、
前記境界関数は、1以上の履歴パラメータが第1の所定の閾値を超えるか否か、又は他のジョブを処理するために利用可能な使用されていないノードの数が第2の所定の閾値を超えるか否か、に基づき前記受信されたジョブの実行を評価する、
ことを特徴とする方法。 - 前記ソフトウェアの検証は、コードに記号的実行を施すことを含む、
請求項1記載の方法。 - 前記ポリシーは、ジョブの可用性のポリシーを含み、
前記ジョブの可用性のポリシーは、前記受信されたジョブを実行している間に発見される探索されていない分岐について新たなジョブが作られるか否かかを示す、
請求項1記載の方法。 - 前記境界関数の結果は、計算された値を含み、前記計算された値を超えたときに、前記ジョブの可用性のポリシーは、探索されていない分岐について前記新たなジョブが作られるべきであることを示す、
請求項3記載の方法。 - 前記ポリシーは、リソースの可用性のポリシーを含み、
前記リソースの可用性のポリシーは、ソフトウェアの評価を継続すべきであるか否かを示す、
請求項1記載の方法。 - 前記境界関数の結果は、計算された値を含み、前記計算された値を超えたときに、前記リソースの可用性のポリシーは、前記受信されたジョブの実行が終了されるべきであることを示す、
請求項5記載の方法。 - 前記境界関数は、前記受信されたジョブの前記ソフトウェアの検証を表す判定ツリーの深さを含む要素を有する、
請求項1記載の方法。 - 前記境界関数は、前記受信されたジョブが実行している期間を含む係数を有する、
請求項1記載の方法。 - 前記境界関数は、前記受信されたジョブの前記ソフトウェアの検証を表すツリーに存在する判定ノードの数を含む要素を有する、
請求項1記載の方法。 - 前記境界関数は、前記受信されたジョブの前記ソフトウェアの検証を表す判定ツリーにおける検証の経路で費やされる平均時間を含む要素を有する、
請求項1記載の方法。 - 前記境界関数は、前記受信されたジョブの前記ソフトウェアの検証を表す判定ツリーにおける検証の経路の平均の深さを含む要素を有する、
請求項1記載の方法。 - 前記1以上のポリシーは、ジョブの可用性のポリシーを含み、前記ジョブの可用性のポリシーは、前記受信されたジョブを実行している間に発見された探索されていない分岐について、新たなジョブが作られるべきか否かを示し、前記ジョブの可用性のポリシーは、前記境界関数の結果がジョブの可用性の閾値を超える場合に前記新たなジョブが作られるかを示し、
前記1以上のポリシーは、リソースの可用性のポリシーを含み、前記リソースの可用性のポリシーは、前記ソフトウェアの評価を継続すべきかを示し、前記ジョブの可用性のポリシーは、前記境界関数の結果が前記リソースの可用性の閾値を超える場合に、前記ソフトウェアの評価を終了することを示し、
前記ジョブの可用性の閾値及び前記リソースの可用性の閾値は、相互に関連して定義される、
請求項1記載の方法。 - 前記境界関数の計算のアップデートを受信するステップを更に含む、
請求項1記載の方法。 - 前記境界関数は、正又は負の値である重みの要素の合計を計算することを含み、
前記要素は、
前記受信されたジョブの前記ソフトウェアの検証を表す判定ツリーの深さと、
前記受信されたジョブが実行されている時間と、
前記受信されたジョブの前記ソフトウェアの検証を表すツリーに存在する判定ノードの数と、
前記受信されたジョブの前記ソフトウェアの検証を表す判定ツリーにおける検証の経路で費やされる平均時間と、
前記受信されるジョブの前記ソフトウェアの検証を表す判定ツリーにおける検証の経路の平均の深さと、を含み、
前記境界関数の結果は、ジョブの可用性のポリシーに対して評価され、
前記ジョブの可用性のポリシーは、前記受信されたジョブを実行している間に発見された探索されていない分岐について、新たなジョブが作られるか否かを示し、
前記ジョブの可用性のポリシーは、前記境界関数の結果がジョブの可用性の閾値を超える場合に前記新たなジョブが作られることを示す、
請求項1記載の方法。 - 前記境界関数は、正又は負の値である重みの要素の合計を計算することを含み、
前記要素は、
前記受信されたジョブの前記ソフトウェアの検証を表す判定ツリーの深さと、
前記受信されたジョブが実行されている時間と、
前記受信されたジョブの前記ソフトウェアの検証を表すツリーに存在する判定ノードの数と、
前記受信されたジョブの前記ソフトウェアの検証を表す判定ツリーにおける検証の経路で費やされる平均時間と、
前記受信されたジョブの前記ソフトウェアの検証を表す判定ツリーにおける検証の経路の平均の深さと、を含み、
前記境界関数の結果は、前記ソフトウェアの評価を継続すべきかを決定するリソースの可用性のポリシーに対して評価され、
前記ジョブの可用性のポリシーは、前記境界関数の結果がリソースの可用性の閾値を超える場合に前記ソフトウェアの評価を終了することを示す、
請求項1記載の方法。 - コンピュータに、
受信されたジョブの実行を評価する境界関数の結果を判定するステップであって、前記ジョブの中に検証すべきソフトウェアの一部が指示される、ステップと、
前記境界関数の結果を使用して、1以上のポリシーを前記受信されたジョブの実行に適用するステップと、を含むソフトウェアを検証する方法を実行させるための命令を含むプログラムを記録したコンピュータ読み取り可能な記録媒体であって、
前記境界関数は、1以上の履歴パラメータが第1の所定の閾値を超えるか否か、又は他のジョブを処理するために利用可能な使用されていないノードの数が第2の所定の閾値を超えるか否か、に基づき前記受信されたジョブの実行を評価する、
ことを特徴とするコンピュータ読み取り可能な記録媒体。
Applications Claiming Priority (4)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US40816710P | 2010-10-29 | 2010-10-29 | |
US61/408,167 | 2010-10-29 | ||
US12/957,391 | 2010-11-30 | ||
US12/957,391 US8914775B2 (en) | 2010-10-29 | 2010-11-30 | Dynamic and intelligent partial computation management for efficient parallelization of software analysis in a distributed computing environment |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2012099109A JP2012099109A (ja) | 2012-05-24 |
JP5845811B2 true JP5845811B2 (ja) | 2016-01-20 |
Family
ID=44925340
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2011237626A Active JP5845811B2 (ja) | 2010-10-29 | 2011-10-28 | 分散コンピューティング環境におけるソフトウェアの解析の効率的な並列化のための動的且つ知的な部分的計算管理 |
Country Status (3)
Country | Link |
---|---|
US (1) | US8914775B2 (ja) |
EP (1) | EP2447840B1 (ja) |
JP (1) | JP5845811B2 (ja) |
Families Citing this family (8)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US8504997B2 (en) | 2009-03-19 | 2013-08-06 | Fujitsu Limited | Environment data refinement based on static analysis and symbolic execution |
US8479171B2 (en) * | 2010-05-24 | 2013-07-02 | Fujitsu Limited | Generating test sets using intelligent variable selection and test set compaction |
US8863133B2 (en) * | 2011-06-02 | 2014-10-14 | Microsoft Corporation | License management in a cluster environment |
US8914515B2 (en) * | 2011-10-28 | 2014-12-16 | International Business Machines Corporation | Cloud optimization using workload analysis |
US9727447B1 (en) * | 2015-01-16 | 2017-08-08 | Amdocs Software Systems Limited | System, method, and computer program for automated exploratory testing |
US10733023B1 (en) | 2015-08-06 | 2020-08-04 | D2Iq, Inc. | Oversubscription scheduling |
US10728324B2 (en) * | 2017-05-01 | 2020-07-28 | Servicenow, Inc. | Selective server-side execution of client-side scripts |
US11379348B2 (en) * | 2019-06-21 | 2022-07-05 | ProKarma Inc. | System and method for performing automated API tests |
Family Cites Families (7)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CA2297994A1 (en) * | 2000-02-04 | 2001-08-04 | Ibm Canada Limited-Ibm Canada Limitee | Automated testing computer system components |
US6618682B2 (en) * | 2001-04-20 | 2003-09-09 | International Business Machines Corporation | Method for test optimization using historical and actual fabrication test data |
US20060206513A1 (en) * | 2005-03-08 | 2006-09-14 | International Business Machines Corporation | Method for speed-efficient and memory-efficient construction of a trie |
US20080082969A1 (en) * | 2006-04-04 | 2008-04-03 | The Board Of Trustees Of The University Of Illinois | Software Testing Technique Supporting Dynamic Data Structures |
US7945416B2 (en) | 2006-04-12 | 2011-05-17 | Ati Technologies, Ulc | Software or hardware test apparatus and method |
US8359576B2 (en) * | 2008-11-14 | 2013-01-22 | Fujitsu Limited | Using symbolic execution to check global temporal requirements in an application |
US8141097B2 (en) * | 2008-12-10 | 2012-03-20 | International Business Machines Corporation | Test management system and method |
-
2010
- 2010-11-30 US US12/957,391 patent/US8914775B2/en active Active
-
2011
- 2011-10-26 EP EP11186779.2A patent/EP2447840B1/en active Active
- 2011-10-28 JP JP2011237626A patent/JP5845811B2/ja active Active
Also Published As
Publication number | Publication date |
---|---|
EP2447840B1 (en) | 2017-01-11 |
US8914775B2 (en) | 2014-12-16 |
EP2447840A1 (en) | 2012-05-02 |
JP2012099109A (ja) | 2012-05-24 |
US20120110580A1 (en) | 2012-05-03 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP5845809B2 (ja) | 知的且つ動的なロードバランシングによる、分散コンピューティング環境におけるソフトウェアの解析の効率的な並列化の手法 | |
JP5845812B2 (ja) | 分散コンピューティング環境におけるソフトウェアの解析の効率的な並列化のためのポリシーのスケジューリング | |
JP5845813B2 (ja) | 分散コンピューティング環境におけるソフトウェアの解析の効率的な並列化のためのノードの計算の初期化手法 | |
JP5845811B2 (ja) | 分散コンピューティング環境におけるソフトウェアの解析の効率的な並列化のための動的且つ知的な部分的計算管理 | |
JP5845810B2 (ja) | 分散コンピューティング環境におけるソフトウェアの解析の並列化のための効率的な部分計算 | |
Rahman et al. | A dynamic critical path algorithm for scheduling scientific workflow applications on global grids | |
US7467291B1 (en) | System and method for calibrating headroom margin | |
US20060112388A1 (en) | Method for dynamic scheduling in a distributed environment | |
Gibilisco et al. | Stage aware performance modeling of dag based in memory analytic platforms | |
US20070250630A1 (en) | Method and a system of generating and evaluating potential resource allocations for an application | |
CN108459966B (zh) | 测试组件的调度方法、装置、设备和计算机可读存储介质 | |
JP2007140710A (ja) | タスク割り当て方法およびタスク割り当て装置 | |
Della Vedova et al. | Probabilistic provisioning and scheduling in uncertain cloud environments | |
WO2012165937A1 (en) | System and method for optimizing physical resources of virtual machines | |
Wu et al. | Latency modeling and minimization for large-scale scientific workflows in distributed network environments | |
Jatain et al. | A systematic review of techniques for test case prioritization | |
Albonico et al. | Generating test sequences to assess the performance of elastic cloud-based systems | |
US7797692B1 (en) | Estimating a dominant resource used by a computer program | |
Bushehrian | The application of fsp models in automatic optimization of software deployment | |
Wang et al. | Reliability-driven reputation based scheduling for public-resource computing using ga | |
Bardhan et al. | A contention aware hybrid evaluator for schedulers of big data applications in computer clusters | |
Jayachandran et al. | On structural robustness of distributed real-time systems towards uncertainties in service times | |
KR100856468B1 (ko) | 임베디드 소프트웨어의 객체지향 태스크 모델을멀티프로세서 시스템 온 칩 하드웨어 아키텍처로 자동할당하기 위한 방법 | |
Antoniu et al. | Letter of the program chairs | |
Hoffmann | Optimized scheduling in real-time environments with column generation |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20140704 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20150227 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20150310 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20150416 |
|
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: 20151027 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20151109 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 5845811 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |