Recherche dans les collections de brevets nationales et internationales

1. (WO2011151931) PROCÉDÉ D'ANALYSE D'APPLICATION, SYSTÈME D'ANALYSE ET SUPPORT D'ENREGISTREMENT

Pub. No.:    WO/2011/151931    International Application No.:    PCT/JP2010/062442
Publication Date: Fri Dec 09 00:59:59 CET 2011 International Filing Date: Sat Jul 24 01:59:59 CEST 2010
IPC: G06F 21/22
G06F 11/28
G06F 11/36
Applicants: HITACHI, LTD.
株式会社日立製作所
NISHIYAMA, Hiroyasu
西山 博泰
Inventors: NISHIYAMA, Hiroyasu
西山 博泰
Title: PROCÉDÉ D'ANALYSE D'APPLICATION, SYSTÈME D'ANALYSE ET SUPPORT D'ENREGISTREMENT
Abstract:
L'invention concerne un procédé d'analyse d'un programme qui comprend des instructions d'opérations de bases de données, ledit procédé comprenant : une première procédure d'analyse d'un flux de commande d'un programme et de données utilisées dans le programme, sur la base du programme et du résultat d'exécution du programme ; une deuxième procédure d'analyse de la relation de dépendance entre une pluralité d'instructions d'opérations de bases de données en fonction du résultat de l'analyse de la première procédure et des détails concernant le fonctionnement de la pluralité d'instructions d'opérations de bases de données ; une troisième procédure d'analyse du trajet de propagation d'une opération incorrecte dans un sens opposé au flux de commande, sur la base du résultat d'analyse de la première procédure et du résultat d'analyse de la deuxième procédure et en prenant comme point de départ de l'analyse une position prédéterminée dans le programme qui fonctionne de manière incorrecte ; et une quatrième procédure destinée à afficher des instructions de programmes sur le trajet de propagation obtenu par la troisième procédure.