JP2017010541A - 分散コンピューティング環境でシステムのプロセスの検証を行うための方法 - Google Patents
分散コンピューティング環境でシステムのプロセスの検証を行うための方法 Download PDFInfo
- Publication number
- JP2017010541A JP2017010541A JP2016112344A JP2016112344A JP2017010541A JP 2017010541 A JP2017010541 A JP 2017010541A JP 2016112344 A JP2016112344 A JP 2016112344A JP 2016112344 A JP2016112344 A JP 2016112344A JP 2017010541 A JP2017010541 A JP 2017010541A
- Authority
- JP
- Japan
- Prior art keywords
- partition
- attributes
- nodes
- verification
- processor
- 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.)
- Granted
Links
Abstract
Description
201 インタフェース
203 メモリ
205 プロセッサ
207 受信モジュール
209 パーティション・コンテキスト生成モジュール
211 コンテキストベース分散モジュール
213 メタデータ共有モジュール
215 集計モジュール
217 他のモジュール
300 環境
301 システム
305 プロセス
304 分散コンピューティング環境
307 属性
309 パーティション・ノード
Claims (20)
- 分散コンピューティング環境でシステムのプロセスの検証を行うための方法であって、
検証システムによって、前記プロセス及び前記プロセスに関連する1つ又は複数の属性を受け取るステップと、
前記検証システムによって、前記1つ又は複数の属性及び、前記プロセスに関連する1つ又は複数のコンテキスト・データに基づいて、1つ又は複数のパーティション・コンテキストを生成するステップと、
前記検証システムによって、前記1つ又は複数のパーティション・コンテキストに基づいて、前記プロセス及び前記1つ又は複数の属性を前記分散コンピューティング環境内の複数のパーティション・ノードに分散させるステップと、
前記検証システムによって、前記複数のパーティション・ノードのそれぞれにメタデータを埋め込むステップと、
前記複数のパーティション・ノードのそれぞれによって、前記1つ又は複数の属性について前記プロセスを検証するステップと、
前記検証システムによって、前記システムの前記プロセスを検証するために、前記複数のパーティション・ノードのそれぞれから受け取った結果データを集計するステップとを含み、前記1つ又は複数の属性についての前記プロセスの前記検証に前記結果データが関連付けられる、方法。 - 前記1つ又は複数の属性が、前記システムの時間、論理、及び挙動のパスによって表される、請求項1に記載の方法。
- 前記1つ又は複数のコンテキスト・データが、前記プロセスのローカル及びグローバルな遷移、前記プロセスの1つ又は複数のフロー、前記プロセスの1つ又は複数のパス、前記プロセスに関連する決定的及び非決定的パラメータ、前記プロセスの反復、前記プロセスの事前条件及び事後条件、前記プロセスに関連する仮定アスペクト、並びに前記プロセスの影響のうち少なくとも1つに基づいて生成される、請求項1に記載の方法。
- 前記メタデータが前記パーティション・ノード及び前記パーティション・ノード間の依存関係に関する情報を含む、請求項1に記載の方法。
- 前記依存関係が、演繹的推論と前記1つ又は複数の属性のコンテキスト情報とのうち少なくとも1つに基づいて特定される、請求項4に記載の方法。
- 前記1つ又は複数のパーティション・コンテキストが、前記検証システムによって自動的に生成されること、及び前記システムのユーザの入力に基づいて生成されることのうち少なくとも1つである、請求項1に記載の方法。
- 前記1つ又は複数のパーティション・ノードのそれぞれがプロセッサ、メモリ、及びプロセス検証ユニットを含む、請求項1に記載の方法。
- 前記プロセス検証ユニットが前記1つ又は複数の属性を前記プロセスについて検証し、前記結果データを生成する、請求項7に記載の方法。
- 分散コンピューティング環境でシステムのプロセスの検証を行うための検証システムであって、
プロセッサと、
前記プロセッサに通信可能に結合されたメモリとを備え、前記メモリがプロセッサ実行可能な命令を保存しており、前記命令が実行されると前記プロセッサに、
前記プロセス及び前記プロセスに関連する1つ又は複数の属性を受け取る動作と、
前記1つ又は複数の属性、及び前記プロセスに関連する1つ又は複数のコンテキスト・データに基づいて1つ又は複数のパーティション・コンテキストを生成する動作と、
前記プロセス及び前記1つ又は複数の属性を、前記1つ又は複数のパーティション・コンテキストに基づいて、前記分散コンピューティング環境内の複数のパーティション・ノードに分散させる動作と、
前記複数のパーティション・ノードのそれぞれにメタデータを埋め込む動作と、
前記複数のパーティション・ノードのそれぞれによって、前記1つ又は複数の属性について前記プロセスを検証する動作と、
前記システムの前記プロセスを検証するために、前記複数のパーティション・ノードのそれぞれから受け取った結果データを集計する動作とを行わせ、前記1つ又は複数の属性についての前記プロセスの前記検証に前記結果データが関連付けられる、検証システム。 - 前記プロセッサが、前記システムの時間、論理、及び挙動のパスによって前記1つ又は複数の属性を表す、請求項9に記載の検証システム。
- 前記プロセッサが、前記1つ又は複数のコンテキスト・データを、前記プロセスのローカル及びグローバルな遷移、前記プロセスの1つ又は複数のフロー、前記プロセスの1つ又は複数のパス、前記プロセスに関連する決定的及び非決定的パラメータ、前記プロセスの反復、前記プロセスの事前条件及び事後条件、前記プロセスに関連する仮定アスペクト、並びに前記プロセスの影響のうち少なくとも1つに基づいて生成する、請求項9に記載の検証システム。
- 前記メタデータが前記パーティション・ノード及び前記パーティション・ノード間の依存関係に関する情報を含む、請求項9に記載の検証システム。
- 前記プロセッサが、前記依存関係を、演繹的推論と前記1つ又は複数の属性のコンテキスト情報とのうち少なくとも1つに基づいて特定する、請求項12に記載の検証システム。
- 前記1つ又は複数のパーティション・コンテキストが、前記検証システムによって自動的に生成されること、及び前記システムのユーザの入力に基づいて生成されることのうち少なくとも1つである、請求項9に記載の検証システム。
- 前記複数のパーティション・ノードのそれぞれがプロセッサ、メモリ、及びプロセス検証ユニットを含む、請求項9に記載の検証システム。
- 前記プロセス検証ユニットが前記1つ又は複数の属性を前記プロセスについて検証し、前記結果データを生成する、請求項15に記載の検証システム。
- 命令を保管して有する非一時的コンピュータ可読媒体であって、前記命令がプロセッサによって処理されると前記プロセッサに、
プロセス及び前記プロセスに関連する1つ又は複数の属性を受け取る動作と、
前記1つ又は複数の属性及び、前記プロセスに関連する1つ又は複数のコンテキスト・データに基づいて、1つ又は複数のパーティション・コンテキストを生成する動作と、
前記1つ又は複数のパーティション・コンテキストに基づいて、前記プロセス及び前記1つ又は複数の属性を分散コンピューティング環境内の複数のパーティション・ノードに分散させる動作と、
前記複数のパーティション・ノードのそれぞれにメタデータを埋め込む動作と、
前記複数のパーティション・ノードのそれぞれによって、前記1つ又は複数の属性について前記プロセスを検証する動作と、
システムの前記プロセスを検証するために、前記複数のパーティション・ノードのそれぞれから受け取った結果データを集計する動作とを行わせ、前記1つ又は複数の属性についての前記プロセスの前記検証に前記結果データが関連付けられる、媒体。 - 前記命令がさらに、前記プロセスのローカル及びグローバルな遷移、前記プロセスの1つ又は複数のフロー、前記プロセスの1つ又は複数のパス、前記プロセスに関連する決定的及び非決定的パラメータ、前記プロセスの反復、前記プロセスの事前条件及び事後条件、前記プロセスに関連する仮定アスペクト、並びに前記プロセスの影響のうち少なくとも1つに基づいて前記1つ又は複数のコンテキスト・データを生成する動作を前記プロセッサに行わせる、請求項17に記載の媒体。
- 前記命令がさらに、前記システムの時間、論理、及び挙動のパスによって前記1つ又は複数の属性を表す動作を前記プロセッサに行わせる、請求項17に記載の媒体。
- 前記命令がさらに、前記1つ又は複数のパーティション・コンテキストを自動的に生成する動作を前記プロセッサに行わせる、請求項17に記載の媒体。
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
IN3000CH2015 | 2015-06-16 | ||
IN3000/CHE/2015 | 2015-06-16 |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2017010541A true JP2017010541A (ja) | 2017-01-12 |
JP6232470B2 JP6232470B2 (ja) | 2017-11-15 |
Family
ID=57761642
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2016112344A Expired - Fee Related JP6232470B2 (ja) | 2015-06-16 | 2016-06-06 | 分散コンピューティング環境でシステムのプロセスの検証を行うための方法 |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP6232470B2 (ja) |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2012099111A (ja) * | 2010-10-29 | 2012-05-24 | Fujitsu Ltd | 分散コンピューティング環境におけるソフトウェアの解析の効率的な並列化のためのノードの計算の初期化手法 |
JP2012234260A (ja) * | 2011-04-28 | 2012-11-29 | Hitachi Automotive Systems Ltd | 車両制御シミュレーションシステム |
JP2014522029A (ja) * | 2011-07-22 | 2014-08-28 | サムスン エレクトロニクス カンパニー リミテッド | シミュレーション装置及びそのシミュレーション方法 |
-
2016
- 2016-06-06 JP JP2016112344A patent/JP6232470B2/ja not_active Expired - Fee Related
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2012099111A (ja) * | 2010-10-29 | 2012-05-24 | Fujitsu Ltd | 分散コンピューティング環境におけるソフトウェアの解析の効率的な並列化のためのノードの計算の初期化手法 |
JP2012234260A (ja) * | 2011-04-28 | 2012-11-29 | Hitachi Automotive Systems Ltd | 車両制御シミュレーションシステム |
JP2014522029A (ja) * | 2011-07-22 | 2014-08-28 | サムスン エレクトロニクス カンパニー リミテッド | シミュレーション装置及びそのシミュレーション方法 |
Non-Patent Citations (2)
Title |
---|
吉田 信平、他2名: "並列シミュレーションの高速化のためのリンク間トラヒック量にもとづくネットワークモデル分割法に関する検", 電子情報通信学会技術研究報告, vol. 103, no. 314, JPN6017020822, 12 September 2003 (2003-09-12), JP, pages 75 - 80, ISSN: 0003647598 * |
小山 恭平、他5名: "情報制御システムのモデル検査における状態空間分割による探索手法の提案", レクチャーノート/ソフトウェア学38 ソフトウェア工学の基礎XIX, JPN6017018061, 31 December 2012 (2012-12-31), JP, pages 39 - 44, ISSN: 0003647599 * |
Also Published As
Publication number | Publication date |
---|---|
JP6232470B2 (ja) | 2017-11-15 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
del Moral et al. | A comparative study on consensus measures in group decision making | |
US11868242B1 (en) | Method, apparatus, and computer program product for predictive API test suite selection | |
US10230614B2 (en) | System and method for improving integration testing in a cloud computing environment | |
US9830255B2 (en) | System and method for optimizing test suite comprising plurality of test cases | |
WO2020102278A1 (en) | Automated web service and api build configuration framework | |
US20120311295A1 (en) | System and method of optimization of in-memory data grid placement | |
US10545854B2 (en) | Method and a system for automatically identifying violations in one or more test cases | |
US9589134B2 (en) | Remediation of security vulnerabilities in computer software | |
US10656934B2 (en) | Efficient software testing | |
US20230208882A1 (en) | Policy - aware vulnerability mapping and attack planning | |
JP7007486B2 (ja) | プロジェクトコンポーネントを識別する方法およびその再利用性検出システム | |
US11615868B2 (en) | Systems and methods for automated edit check generation in clinical trial datasets | |
US20130035908A1 (en) | Identifying invariant candidates based on proofs | |
US10325049B2 (en) | Placement-driven generation of error detecting structures in integrated circuits | |
JP6232470B2 (ja) | 分散コンピューティング環境でシステムのプロセスの検証を行うための方法 | |
EP3208751A1 (en) | Method and unit for building semantic rule for a semantic data | |
US20210097020A1 (en) | Seamless data movement and metadata management in a hybrid cloud setting using a configurable micro services based architecture | |
US20220215013A1 (en) | Validation and recommendation engine | |
US20190179974A1 (en) | Equivalency verification for hierarchical references | |
US11206284B2 (en) | Automated threat analysis of a system design | |
US11178180B2 (en) | Risk analysis and access activity categorization across multiple data structures for use in network security mechanisms | |
US10235490B1 (en) | Methods and systems for centering of pins during instance abutment | |
US10394995B1 (en) | Methods and systems for schematic driven 2D chaining in an integrated circuit layout | |
US10176285B1 (en) | System, method, and computer program product for property violation comprehension | |
US20170330090A1 (en) | Method and a system for optimzing stability of a project |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20170511 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20170607 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20170804 |
|
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: 20170926 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20171023 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 6232470 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
LAPS | Cancellation because of no payment of annual fees |