JP7204011B2 - コンピュータプログラムシステムの静的及び実行時分析 - Google Patents
コンピュータプログラムシステムの静的及び実行時分析 Download PDFInfo
- Publication number
- JP7204011B2 JP7204011B2 JP2021569170A JP2021569170A JP7204011B2 JP 7204011 B2 JP7204011 B2 JP 7204011B2 JP 2021569170 A JP2021569170 A JP 2021569170A JP 2021569170 A JP2021569170 A JP 2021569170A JP 7204011 B2 JP7204011 B2 JP 7204011B2
- Authority
- JP
- Japan
- Prior art keywords
- computer program
- ecosystem
- computer
- program ecosystem
- identifying
- 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
- G06F8/00—Arrangements for software engineering
- G06F8/70—Software maintenance or management
- G06F8/75—Structural analysis for program understanding
-
- 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/3612—Software analysis for verifying properties of programs by runtime analysis
-
- 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/3688—Test management for test execution, e.g. scheduling of test suites
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/30—Monitoring
- G06F11/32—Monitoring with visual or acoustical indication of the functioning of the machine
- G06F11/323—Visualisation of programs or trace data
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/30—Monitoring
- G06F11/34—Recording or statistical evaluation of computer activity, e.g. of down time, of input/output operation ; Recording or statistical evaluation of user activity, e.g. usability assessment
- G06F11/3466—Performance evaluation by tracing or monitoring
- G06F11/3476—Data logging
-
- 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
-
- 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/362—Software debugging
-
- 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/3664—Environments for testing or debugging software
-
- 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/3676—Test management for coverage analysis
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/60—Software deployment
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/70—Software maintenance or management
- G06F8/71—Version control; Configuration management
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Physics & Mathematics (AREA)
- Quality & Reliability (AREA)
- Software Systems (AREA)
- Computer Hardware Design (AREA)
- Data Mining & Analysis (AREA)
- Computer Security & Cryptography (AREA)
- Debugging And Monitoring (AREA)
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
- Stored Programmes (AREA)
Description
本願は、2019年5月22日に出願された米国特許出願第62/851,295号明細書の優先権を米国特許法第119条(e)の下で主張する、2020年1月17日に出願された米国特許出願第16/746,392号明細書の優先権を主張し、その両方の全内容を参照により本明細書に援用する。
102 コンピュータプログラム
104 データ資源
150 エコシステムユニット
202 第1の計算システム
204 第2の計算システム
304 試験データ
306 試験結果
310 下位環境
312 サーバ
400 コンピュータプログラムエコシステム
402 コンピュータプログラム
404 パラメータセット
406 実行時ログファイル
408 データ資源(スケジュール情報)
420 分析システム
422 静的分析エンジン
424 実行時分析エンジン
426 比較エンジン
428 スケジュール分析エンジン
430 エコシステムユニット
440 スケジューラ
502 第1のサブグラフ
502a,502b,502c 第1のサブグラフのインスタンス
504 第2のサブグラフ
504a 第2のサブグラフのインスタンス
506 第1の論理データセット(DS1)
508 第2の論理データセット(DS2)
510 第3の論理データセット(DS3)
512 第4の論理データセット(DS4)
514 テーブル
516 ソートコンポーネント
517 データフローグラフ
518,520,522,523 パラメータセット
800 データ処理システム
802 データソース
804 実行環境又は実行時環境
806 前処理モジュール
808 ハードドライブ
810 メインフレームコンピュータ
812 実行モジュール
814 出力データ
816 データ記憶システム
818 開発環境
820 開発者
Claims (28)
- 複数のコンピュータプログラムを含むコンピュータプログラムエコシステムを分析するためのコンピュータによって実装される方法であって、
前記コンピュータプログラムエコシステムに関連する1つ又は複数のパラメータセット内のパラメータの値に基づいて前記コンピュータプログラムエコシステムの要素間の静的依存関係を識別するステップであって、前記コンピュータプログラムエコシステムの前記要素は前記コンピュータプログラムエコシステムの前記複数のコンピュータプログラム及び前記コンピュータプログラムに関連するデータ資源を含む、識別するステップを含む、前記コンピュータプログラムエコシステムの静的分析を行うステップと、
データレコードを処理するために前記コンピュータプログラムエコシステムの実行中に利用された前記コンピュータプログラムエコシステムの前記要素の1つ又は複数を識別するステップを含む、前記コンピュータプログラムエコシステムの実行時分析を行うステップと、
前記コンピュータプログラムエコシステムの別のコンピュータプログラムへのスケジュール依存関係を有する前記コンピュータプログラムエコシステムのコンピュータプログラムを識別するステップを含む、前記コンピュータプログラムエコシステムのスケジュール分析を行うステップと、
前記静的分析、前記実行時分析、及び前記スケジュール分析の結果に基づき、前記コンピュータプログラムエコシステムの前記要素のサブセットをエコシステムユニットとして識別するステップと、
第1のコンピュータシステムから第2のコンピュータシステムに前記エコシステムユニットを移行するか、前記エコシステムユニットを試験するか、又はその両方を行うステップと
を含む方法。 - 実行時分析を行うステップが、
前記コンピュータプログラムエコシステムの実行によって生成される実行時ログ情報を得るステップと、
前記コンピュータプログラムエコシステムの実行中に利用された前記コンピュータプログラムエコシステムの前記1つ又は複数の要素を識別するために前記実行時ログ情報を分析するステップと
を含む、請求項1に記載の方法。 - 前記実行時ログ情報を分析するステップが、
前記コンピュータプログラムエコシステムの実行中に実行された1つ又は複数のコンピュータプログラムを識別するために前記実行時ログ情報内のパラメータの値を分析するステップ
を含む、請求項2に記載の方法。 - 前記要素のサブセットをエコシステムユニットとして識別するステップが、
前記コンピュータプログラムエコシステムの実行中に実行された前記コンピュータプログラムを前記エコシステムユニットの一部として識別するステップ
を含む、請求項3に記載の方法。 - 前記コンピュータプログラムエコシステムの実行中に実行された1つ又は複数のコンピュータプログラムを識別するステップが、
実行されたコンピュータプログラム間の実行時依存関係を識別するステップ
を含む、請求項3に記載の方法。 - 実行されたコンピュータプログラム間の実行時依存関係を識別するステップが、
前記実行時ログ情報内の前記パラメータの前記値に基づいて前記実行時依存関係を識別するステップ
を含む、請求項3に記載の方法。 - 前記実行時ログ情報内のパラメータの値を分析するステップが、
前記値の1つ又は複数を一般化するステップ
を含む、請求項3に記載の方法。 - 前記実行時ログ情報を分析するステップが、
前記コンピュータプログラムエコシステムの実行中にアクセスされた1つ又は複数のデータ資源を識別するために前記実行時ログ情報内のパラメータの値を分析するステップ
を含む、請求項3に記載の方法。 - 前記コンピュータプログラムエコシステムの実行中にアクセスされた各データ資源の名前を明らかにするために前記実行時ログ情報内の前記パラメータの前記値を分析するステップ
をさらに含む、請求項8に記載の方法。 - 前記要素のサブセットをエコシステムユニットとして識別するステップが、
前記コンピュータプログラムエコシステムの実行中にアクセスされた前記データ資源を前記エコシステムユニットの一部として識別するステップ
を含む、請求項8に記載の方法。 - 前記コンピュータプログラムエコシステムの前記要素のサブセットをエコシステムユニットとして識別するステップが、
前記コンピュータプログラムエコシステムの実行中に利用された前記1つ又は複数の要素を前記エコシステムユニット内に含めるステップ
を含む、請求項1に記載の方法。 - スケジュール分析を行うステップが
スケジューラからスケジュール情報を得るステップ
を含み、前記スケジューラは前記コンピュータプログラムエコシステムと別個である、請求項1に記載の方法。 - スケジュール分析を行うステップが、
前記コンピュータプログラムエコシステムの第2のコンピュータプログラムの実行後に実行される予定の前記コンピュータプログラムエコシステムの第1のコンピュータプログラムを識別するステップ
を含む、請求項1に記載の方法。 - 前記要素のサブセットをエコシステムユニットとして識別するステップが、
前記第1のコンピュータプログラム及び前記第2のコンピュータプログラムを前記エコシステムユニットの一部として識別するステップ
を含む、請求項13に記載の方法。 - データを処理するために前記コンピュータプログラムエコシステムを実行するステップ
をさらに含む、請求項1に記載の方法。 - 前記コンピュータプログラムエコシステムを実行するステップが、
前記コンピュータプログラムエコシステムに関連する前記パラメータセットの1つ又は複数の中のパラメータの値に従って前記コンピュータプログラムエコシステムの前記コンピュータプログラムの1つ又は複数をインスタンス化するステップ
を含む、請求項15に記載の方法。 - 前記コンピュータプログラムエコシステムを実行するステップが、
前記データを処理するために前記1つ又は複数のインスタンス化されたコンピュータプログラムを実行するステップ
を含む、請求項16に記載の方法。 - 実行時分析を行うステップが、
前記コンピュータプログラムエコシステムの実行によって生成される実行時ログ情報を得るステップと、
前記コンピュータプログラムエコシステムの実行中に利用された前記コンピュータプログラムエコシステムの前記1つ又は複数の要素を識別するために前記実行時ログ情報を分析するステップと
を含み、
前記実行時ログ情報が、1つ又は複数の実行されるインスタンス化されたコンピュータプログラムを示す情報を含む、請求項17に記載の方法。 - 前記コンピュータプログラムエコシステムを実行するステップが、
前記コンピュータプログラムエコシステムに関連する前記データ資源の1つ又は複数にアクセスするステップ
を含む、請求項15に記載の方法。 - 実行時分析を行うステップが、
前記コンピュータプログラムエコシステムの実行によって生成される実行時ログ情報を得るステップと、
前記コンピュータプログラムエコシステムの実行中に利用された前記コンピュータプログラムエコシステムの前記1つ又は複数の要素を識別するために前記実行時ログ情報を分析するステップと
を含み、
前記実行時ログ情報が、1つ又は複数のアクセスされるデータ資源を示す情報を含む、請求項19に記載の方法。 - 前記コンピュータプログラムエコシステムに関連する前記データ資源の1つ又は複数にアクセスするステップが、
ファイル、データベース、及びオブジェクトの1つ又は複数からデータを読み出すステップ
を含む、請求項19に記載の方法。 - 前記コンピュータプログラムエコシステムに関連する前記データ資源の1つ又は複数にアクセスするステップが、
ファイル、データベース、及びオブジェクトの1つ又は複数にデータを書き込むステップ
を含む、請求項19に記載の方法。 - 前記コンピュータプログラムエコシステムを実行するステップが、
実行時ログ情報を生成するステップ
を含む、請求項19に記載の方法。 - 実行時ログ情報を生成するステップが、
前記実行時ログ情報をログファイルに書き込むステップ
を含む、請求項23に記載の方法。 - 前記1つ又は複数のコンピュータプログラムがデータフローグラフを含む、請求項1に記載の方法。
- 複数のコンピュータプログラムを含むコンピュータプログラムエコシステムを分析するためのコンピュータシステムであって、
メモリに接続された1つ又は複数のプロセッサを含み、前記1つ又は複数のプロセッサが、
前記コンピュータプログラムエコシステムに関連する1つ又は複数のパラメータセット内のパラメータの値に基づいて前記コンピュータプログラムエコシステムの要素間の静的依存関係を識別することであって、前記コンピュータプログラムエコシステムの前記要素は前記コンピュータプログラムエコシステムの前記複数のコンピュータプログラム及び前記コンピュータプログラムに関連するデータ資源を含む、識別することを含む、前記コンピュータプログラムエコシステムの静的分析を行うことと、
データレコードを処理するために前記コンピュータプログラムエコシステムの実行中に利用された前記コンピュータプログラムエコシステムの前記要素の1つ又は複数を識別することを含む、前記コンピュータプログラムエコシステムの実行時分析を行うことと、
前記コンピュータプログラムエコシステムの別のコンピュータプログラムへのスケジュール依存関係を有する前記コンピュータプログラムエコシステムのコンピュータプログラムを識別することを含む、前記コンピュータプログラムエコシステムのスケジュール分析を行うことと、
前記静的分析、前記実行時分析、及び前記スケジュール分析の結果に基づき、前記コンピュータプログラムエコシステムの前記要素のサブセットをエコシステムユニットとして識別することと、
第1のコンピュータシステムから第2のコンピュータシステムに前記エコシステムユニットを移行するか、前記エコシステムユニットを試験するか、又はその両方を行うことと
を行うように構成される、コンピュータシステム。 - 複数のコンピュータプログラムを含むコンピュータプログラムエコシステムをコンピュータシステムに分析させるための命令を記憶した、非一時的なコンピュータ可読媒体であって、前記命令が、前記コンピュータシステムに、
前記コンピュータプログラムエコシステムに関連する1つ又は複数のパラメータセット内のパラメータの値に基づいて前記コンピュータプログラムエコシステムの要素間の静的依存関係を識別することであって、前記コンピュータプログラムエコシステムの前記要素は前記コンピュータプログラムエコシステムの前記複数のコンピュータプログラム及び前記コンピュータプログラムに関連するデータ資源を含む、識別することを含む、前記コンピュータプログラムエコシステムの静的分析を行うことと、
データレコードを処理するために前記コンピュータプログラムエコシステムの実行中に利用された前記コンピュータプログラムエコシステムの前記要素の1つ又は複数を識別することを含む、前記コンピュータプログラムエコシステムの実行時分析を行うことと、
前記コンピュータプログラムエコシステムの別のコンピュータプログラムへのスケジュール依存関係を有する前記コンピュータプログラムエコシステムのコンピュータプログラムを識別することを含む、前記コンピュータプログラムエコシステムのスケジュール分析を行うことと、
前記静的分析、前記実行時分析、及び前記スケジュール分析の結果に基づき、前記コンピュータプログラムエコシステムの前記要素のサブセットをエコシステムユニットとして識別することと、
第1のコンピュータシステムから第2のコンピュータシステムに前記エコシステムユニットを移行するか、前記エコシステムユニットを試験するか、又はその両方を行うことと
を行わせる、非一時的なコンピュータ可読媒体。 - 複数のコンピュータプログラムを含むコンピュータプログラムエコシステムを分析するためのコンピュータシステムであって、
前記コンピュータプログラムエコシステムに関連する1つ又は複数のパラメータセット内のパラメータの値に基づいて前記コンピュータプログラムエコシステムの要素間の静的依存関係を識別することであって、前記コンピュータプログラムエコシステムの前記要素は前記コンピュータプログラムエコシステムの前記複数のコンピュータプログラム及び前記コンピュータプログラムに関連するデータ資源を含む、識別することを含む、前記コンピュータプログラムエコシステムの静的分析を行うための手段と、
データレコードを処理するために前記コンピュータプログラムエコシステムの実行中に利用された前記コンピュータプログラムエコシステムの前記要素の1つ又は複数を識別することを含む、前記コンピュータプログラムエコシステムの実行時分析を行うための手段と、
前記コンピュータプログラムエコシステムの別のコンピュータプログラムへのスケジュール依存関係を有する前記コンピュータプログラムエコシステムのコンピュータプログラムを識別することを含む、前記コンピュータプログラムエコシステムのスケジュール分析を行うための手段と、
前記静的分析、前記実行時分析、及び前記スケジュール分析の結果に基づき、前記コンピュータプログラムエコシステムの前記要素のサブセットをエコシステムユニットとして識別するための手段と、
第1のコンピュータシステムから第2のコンピュータシステムに前記エコシステムユニットを移行するか、前記エコシステムユニットを試験するか、又はその両方を行うための手段と
を含むコンピュータシステム。
Applications Claiming Priority (5)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US201962851295P | 2019-05-22 | 2019-05-22 | |
US62/851,295 | 2019-05-22 | ||
US16/746,392 US10996946B2 (en) | 2019-05-22 | 2020-01-17 | Static and runtime analysis of computer program ecosystems |
US16/746,392 | 2020-01-17 | ||
PCT/US2020/033998 WO2020237051A1 (en) | 2019-05-22 | 2020-05-21 | Static and runtime analysis of computer program systems |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2022525250A JP2022525250A (ja) | 2022-05-11 |
JP7204011B2 true JP7204011B2 (ja) | 2023-01-13 |
Family
ID=73457034
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2021569170A Active JP7204011B2 (ja) | 2019-05-22 | 2020-05-21 | コンピュータプログラムシステムの静的及び実行時分析 |
Country Status (11)
Country | Link |
---|---|
US (2) | US10996946B2 (ja) |
EP (1) | EP3973400B1 (ja) |
JP (1) | JP7204011B2 (ja) |
CN (1) | CN114207594B (ja) |
AU (1) | AU2020279774B2 (ja) |
BR (1) | BR112021023350A2 (ja) |
CA (1) | CA3141609A1 (ja) |
DE (1) | DE112020002515T5 (ja) |
SG (1) | SG11202112004VA (ja) |
WO (1) | WO2020237051A1 (ja) |
ZA (1) | ZA202110741B (ja) |
Citations (7)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2009245066A (ja) | 2008-03-31 | 2009-10-22 | Nomura Research Institute Ltd | ソフトウェアマイグレーションシステム及び方法 |
JP2011060277A (ja) | 2009-08-31 | 2011-03-24 | Accenture Global Services Gmbh | 統合環境生成器 |
US20110258611A1 (en) | 2010-04-20 | 2011-10-20 | Microsoft Corporation | Visualization of runtime analysis across dynamic boundaries |
JP2013156802A (ja) | 2012-01-30 | 2013-08-15 | Mitsubishi Electric Corp | モジュール依存関係抽出装置、モジュール依存関係抽出方法、及び、プログラム |
US20130219057A1 (en) | 2013-03-15 | 2013-08-22 | Concurix Corporation | Relationships Derived from Trace Data |
JP2018116517A (ja) | 2017-01-19 | 2018-07-26 | 株式会社システムズ | 開発支援装置、開発支援方法、およびプログラム |
JP2019046001A (ja) | 2017-08-30 | 2019-03-22 | 京セラドキュメントソリューションズ株式会社 | アプリケーション移植支援装置、アプリケーション移植支援プログラムおよびアプリケーション移植方法 |
Family Cites Families (13)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5966072A (en) | 1996-07-02 | 1999-10-12 | Ab Initio Software Corporation | Executing computations expressed as graphs |
US7716630B2 (en) | 2005-06-27 | 2010-05-11 | Ab Initio Technology Llc | Managing parameters for graph-based computations |
US20150347600A1 (en) * | 2005-10-21 | 2015-12-03 | Joseph Akwo Tabe | Broadband Centralized Transportation Communication Vehicle For Extracting Transportation Topics of Information and Monitoring Terrorist Data |
US8286149B2 (en) * | 2007-10-15 | 2012-10-09 | International Business Machines Corporation | Apparatus for and method of implementing feedback directed dependency analysis of software applications |
US9098616B2 (en) | 2009-12-11 | 2015-08-04 | International Business Machines Corporation | Analyzing computer programs to identify errors |
CN101739339B (zh) * | 2009-12-29 | 2013-03-27 | 北京航空航天大学 | 一种基于程序动态依赖关系的软件故障定位方法 |
GB2506596A (en) * | 2012-10-02 | 2014-04-09 | Ibm | Managing a set of software modules in a runtime environment |
US9122490B2 (en) * | 2012-10-17 | 2015-09-01 | Microsoft Technology Licensing, Llc | Code dependency calculation |
US9282166B2 (en) * | 2012-11-29 | 2016-03-08 | International Business Machines Corporation | Management infrastructure analysis for cloud migration |
US9092837B2 (en) * | 2012-11-29 | 2015-07-28 | International Business Machines Corporation | Use of snapshots to reduce risk in migration to a standard virtualized environment |
US9692632B2 (en) * | 2012-11-29 | 2017-06-27 | International Business Machines Corporation | Migration to managed clouds |
CN103699432B (zh) * | 2013-12-17 | 2017-04-12 | 华中科技大学 | 一种异构环境下的多任务运行时协同调度系统 |
JP6457622B2 (ja) | 2014-07-18 | 2019-01-23 | アビニシオ テクノロジー エルエルシー | パラメータの集合の管理 |
-
2020
- 2020-01-17 US US16/746,392 patent/US10996946B2/en active Active
- 2020-05-21 BR BR112021023350A patent/BR112021023350A2/pt unknown
- 2020-05-21 DE DE112020002515.2T patent/DE112020002515T5/de active Pending
- 2020-05-21 AU AU2020279774A patent/AU2020279774B2/en active Active
- 2020-05-21 CA CA3141609A patent/CA3141609A1/en active Pending
- 2020-05-21 SG SG11202112004VA patent/SG11202112004VA/en unknown
- 2020-05-21 WO PCT/US2020/033998 patent/WO2020237051A1/en unknown
- 2020-05-21 CN CN202080037959.6A patent/CN114207594B/zh active Active
- 2020-05-21 JP JP2021569170A patent/JP7204011B2/ja active Active
- 2020-05-21 EP EP20758371.7A patent/EP3973400B1/en active Active
-
2021
- 2021-05-03 US US17/306,075 patent/US11487534B2/en active Active
- 2021-12-21 ZA ZA2021/10741A patent/ZA202110741B/en unknown
Patent Citations (7)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2009245066A (ja) | 2008-03-31 | 2009-10-22 | Nomura Research Institute Ltd | ソフトウェアマイグレーションシステム及び方法 |
JP2011060277A (ja) | 2009-08-31 | 2011-03-24 | Accenture Global Services Gmbh | 統合環境生成器 |
US20110258611A1 (en) | 2010-04-20 | 2011-10-20 | Microsoft Corporation | Visualization of runtime analysis across dynamic boundaries |
JP2013156802A (ja) | 2012-01-30 | 2013-08-15 | Mitsubishi Electric Corp | モジュール依存関係抽出装置、モジュール依存関係抽出方法、及び、プログラム |
US20130219057A1 (en) | 2013-03-15 | 2013-08-22 | Concurix Corporation | Relationships Derived from Trace Data |
JP2018116517A (ja) | 2017-01-19 | 2018-07-26 | 株式会社システムズ | 開発支援装置、開発支援方法、およびプログラム |
JP2019046001A (ja) | 2017-08-30 | 2019-03-22 | 京セラドキュメントソリューションズ株式会社 | アプリケーション移植支援装置、アプリケーション移植支援プログラムおよびアプリケーション移植方法 |
Also Published As
Publication number | Publication date |
---|---|
US10996946B2 (en) | 2021-05-04 |
AU2020279774A1 (en) | 2021-11-25 |
JP2022525250A (ja) | 2022-05-11 |
US20200371781A1 (en) | 2020-11-26 |
CA3141609A1 (en) | 2021-11-26 |
US11487534B2 (en) | 2022-11-01 |
EP3973400A1 (en) | 2022-03-30 |
AU2020279774B2 (en) | 2022-07-28 |
WO2020237051A1 (en) | 2020-11-26 |
BR112021023350A2 (pt) | 2022-04-19 |
EP3973400B1 (en) | 2023-12-20 |
DE112020002515T5 (de) | 2022-03-24 |
SG11202112004VA (en) | 2021-11-29 |
CN114207594B (zh) | 2023-02-21 |
ZA202110741B (en) | 2023-10-25 |
CN114207594A (zh) | 2022-03-18 |
US20210263734A1 (en) | 2021-08-26 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP7023718B2 (ja) | リアルタイムデータストリームに対して実行するためのクエリの選択 | |
Murray et al. | {CIEL}: A universal execution engine for distributed {Data-Flow} computing | |
KR102186050B1 (ko) | 소스 코드 번역 | |
US7870556B2 (en) | Managing computing resources in graph-based computations | |
Akhter et al. | Stateful functions as a service in action | |
JP6763072B2 (ja) | データ処理グラフのコンパイル | |
KR20170031749A (ko) | 파라미터 세트의 관리 | |
US20150052530A1 (en) | Task-based modeling for parallel data integration | |
CN115292160B (zh) | 应用程序测试 | |
Garbervetsky et al. | Toward full elasticity in distributed static analysis: The case of callgraph analysis | |
Garcia et al. | SPBench: a framework for creating benchmarks of stream processing applications | |
US20200356885A1 (en) | Service management in a dbms | |
JP7204011B2 (ja) | コンピュータプログラムシステムの静的及び実行時分析 | |
Shahverdi et al. | Comparative evaluation for the performance of big stream processing systems | |
Jayalath et al. | Efficient Geo-distributed data processing with rout | |
Batko et al. | Actor model of Anemone functional language | |
Wei et al. | Dynamic scheduling for dynamic control flow in deep learning systems | |
US20230112179A1 (en) | Automated modification of computer programs | |
CN118202331A (zh) | 计算机程序的自动修改 | |
US10545965B2 (en) | Data skew finding and analysis | |
CA3233392A1 (en) | Automated modification of computer programs | |
JP2024538609A (ja) | コンピュータプログラムの自動修正 | |
Balasubramanian et al. | A Cloud-Based Execution Framework for Program Analysis | |
Ghatpande | HPCC Benchmarking | |
Naranjo | Parallel applications in the cloud |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20211119 |
|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20211119 |
|
A871 | Explanation of circumstances concerning accelerated examination |
Free format text: JAPANESE INTERMEDIATE CODE: A871 Effective date: 20211119 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20220613 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20220912 |
|
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: 20221205 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20221227 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 7204011 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |