処理中

しばらくお待ちください...

PATENTSCOPE は、メンテナンスのため次の日時に数時間サービスを休止します。サービス休止: 日曜日 05.04.2020 (10:00 午前 CEST)
設定

設定

1. WO2015019504 - 検証方法、検証装置および検証プログラム

公開番号 WO/2015/019504
公開日 12.02.2015
国際出願番号 PCT/JP2013/071724
国際出願日 09.08.2013
IPC
G06F 11/28 2006.01
G物理学
06計算;計数
F電気的デジタルデータ処理
11エラー検出;エラー訂正;監視
28処理順序の正しさを検査することによるもの
CPC
G06F 11/0703
GPHYSICS
06COMPUTING; CALCULATING; COUNTING
FELECTRIC DIGITAL DATA PROCESSING
11Error detection; Error correction; Monitoring
07Responding to the occurrence of a fault, e.g. fault tolerance
0703Error 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
G06F 11/0706
GPHYSICS
06COMPUTING; CALCULATING; COUNTING
FELECTRIC DIGITAL DATA PROCESSING
11Error detection; Error correction; Monitoring
07Responding to the occurrence of a fault, e.g. fault tolerance
0703Error 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
0706the processing taking place on a specific hardware platform or in a specific software environment
G06F 11/0751
GPHYSICS
06COMPUTING; CALCULATING; COUNTING
FELECTRIC DIGITAL DATA PROCESSING
11Error detection; Error correction; Monitoring
07Responding to the occurrence of a fault, e.g. fault tolerance
0703Error 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
0751Error or fault detection not based on redundancy
G06F 11/0787
GPHYSICS
06COMPUTING; CALCULATING; COUNTING
FELECTRIC DIGITAL DATA PROCESSING
11Error detection; Error correction; Monitoring
07Responding to the occurrence of a fault, e.g. fault tolerance
0703Error 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
0766Error or fault reporting or storing
0787Storage of error reports, e.g. persistent data storage, storage using memory protection
G06F 11/079
GPHYSICS
06COMPUTING; CALCULATING; COUNTING
FELECTRIC DIGITAL DATA PROCESSING
11Error detection; Error correction; Monitoring
07Responding to the occurrence of a fault, e.g. fault tolerance
0703Error 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
079Root cause analysis, i.e. error or fault diagnosis
G06F 11/302
GPHYSICS
06COMPUTING; CALCULATING; COUNTING
FELECTRIC DIGITAL DATA PROCESSING
11Error detection; Error correction; Monitoring
30Monitoring
3003Monitoring arrangements specially adapted to the computing system or computing system component being monitored
302where the computing system component is a software system
出願人
  • 富士通株式会社 FUJITSU LIMITED [JP/JP]; 神奈川県川崎市中原区上小田中4丁目1番1号 1-1, Kamikodanaka 4-chome, Nakahara-ku, Kawasaki-shi, Kanagawa 2118588, JP
発明者
  • 清水 智弘 SHIMIZU, Toshihiro; JP
代理人
  • 服部 毅巖 HATTORI, Kiyoshi; 東京都八王子市東町9番8号 八王子東町センタービル 服部特許事務所 HATTORI PATENT OFFICE, Hachioji Azumacho Center Building, 9-8, Azuma-cho, Hachioji-shi, Tokyo 1920082, JP
優先権情報
公開言語 (言語コード) 日本語 (JA)
出願言語 (言語コード) 日本語 (JA)
指定国 (国コード)
発明の名称
(EN) VERIFICATION METHOD, VERIFICATION DEVICE, AND VERIFICATION PROGRAM
(FR) PROCÉDÉ DE VÉRIFICATION, DISPOSITIF DE VÉRIFICATION ET PROGRAMME DE VÉRIFICATION
(JA) 検証方法、検証装置および検証プログラム
要約
(EN)
An objective of the present invention is to allow assisting appropriately comprehending a factor whereupon execution results differ. When executing a program (2), a computation unit (1b) acquires a log (3) which includes information which identifies variables (A, C) which have had a change in the input content thereof with respect to a past execution and information which denotes a correspondence between program elements (2a, 2b, 2c) and each execution result which is an output of each of the program elements. If any of the results of the execution of the program (2) differ from the result of the past execution thereof, the computation unit (1b) queries the log (3) and searches for the program element (2a) corresponding to the said result of the execution and the variable (A) which is used in the program element (2a). On the basis of a change circumstance in the input content with respect to the variable (A), the computation unit (1b) evaluates the factor whereupon the result of the execution differs and the validity of the difference. The computation unit (1b) outputs information indicating the site whereupon the results of the execution differ, the factor of the difference, and the validity of the difference.
(FR)
La présente invention a pour objectif d'aider à comprendre correctement un facteur où des résultats d'exécution diffèrent. Lors de l'exécution d'un programme (2), une unité de calcul (1b) acquiert un journal (3) comprenant des informations qui identifient des variables (A, C) dont le contenu d'entrée a subi un changement par rapport à une précédente exécution, et des informations qui indiquent une correspondance entre des éléments de programme (2a, 2b, 2c) et chaque résultat d'exécution émis par chacun desdits éléments de programme. Si l'un des résultats de l'exécution du programme (2) diffère du résultat de la précédente exécution de ce programme, l'unité de calcul (1b) interroge le journal (3) et recherche l'élément de programme (2a) qui correspond audit résultat de l'exécution et la variable (A) qui est utilisée par l'élément de programme (2a). Sur la base des circonstances de changement du contenu d'entrée par rapport à la variable (A), l'unité de calcul (1b) évalue le facteur où le résultat de l'exécution diffère, ainsi que la validité de la différence. L'unité de calcul (1b) émet des informations indiquant le site où les résultats de l'exécution diffèrent, le facteur de la différence et la validité de la différence.
(JA)
 実行結果が相違する要因の適切な把握を支援できる。 演算部(1b)は、プログラム(2)の実行時に、過去に実行したときに対して入力内容が変更された変数(A,C)を識別する情報、および、プログラム要素(2a,2b,2c)と各プログラム要素の出力である各実行結果との対応を示す情報を含むログ(3)を取得する。演算部(1b)は、プログラム(2)の何れかの実行結果が過去の実行結果と相違するとき、ログ(3)を参照して、当該実行結果に対応するプログラム要素(2a)およびプログラム要素(2a)に用いられる変数(A)を検索する。演算部(1b)は、変数(A)に対する入力内容の変更状況に基づいて、当該実行結果が相違する要因と当該相違の妥当性とを評価する。演算部(1b)は、実行結果の相違する箇所と相違の要因と相違の妥当性とを示す情報を出力する。
他の公開
国際事務局に記録されている最新の書誌情報