WIPO logo
Mobile | Deutsch | English | Español | 日本語 | 한국어 | Português | Русский | 中文 | العربية |
PATENTSCOPE

Recherche dans les collections de brevets nationales et internationales
World Intellectual Property Organization
Recherche
 
Options de navigation
 
Traduction
 
Options
 
Quoi de neuf
 
Connexion
 
Aide
 
Traduction automatique
1. (WO2007145745) ANALYSE DE LOGICIEL DYNAMIQUE ET DE STATIQUE ITÉRATIVE
Dernières données bibliographiques dont dispose le Bureau international   

N° de publication :    WO/2007/145745    N° de la demande internationale :    PCT/US2007/011198
Date de publication : 21.12.2007 Date de dépôt international : 08.05.2007
CIB :
G06F 9/44 (2006.01)
Déposants : MICROSOFT CORPORATION [US/US]; One Microsoft Way, Redmond, WA 98052-6399 (US) (Tous Sauf US)
Inventeurs : FANNING, Michael C.; (US).
GUERRERA, Nicholas; (US)
Données relatives à la priorité :
11/451,851 13.06.2006 US
Titre (EN) ITERATIVE STATIC AND DYNAMIC SOFTWARE ANALYSIS
(FR) ANALYSE DE LOGICIEL DYNAMIQUE ET DE STATIQUE ITÉRATIVE
Abrégé : front page image
(EN)Static and dynamic code analyses are seamlessly, iteratively performed. A software analysis tool integrates the results of dynamic and static analysis and iteratively utilizes results from a previous analysis, or analyses, to augment a current analysis. During a debugging process, information collected at runtime is integrated with static code analysis results. This information is generated and stored as part of the results of the testing and debugging processes. The stored information is subsequently utilized to provide improved analysis results. The software analysis tool eliminates the need for software developers to separately perform static analysis and dynamic analysis.
(FR)La présente invention concerne des analyses de code dynamique et statique qui sont réalisées de façon continue et itérative. Un outil d'analyse de logiciel intègre les résultats d'analyse dynamique et statique et utilise de façon itérative les résultats d'une ou de plusieurs analyses antérieures, pour augmenter une analyse actuelle. Pendant un processus de débogage, l'information collectée à l'exécution est intégrée aux résultats d'analyse de code statique. Cette information est générée et stockée comme faisant partie des résultats des processus d'essais et de débogage. L'information stockée est ensuite utilisée pour fournir des résultats d'analyse améliorés. L'outil d'analyse de logiciel élimine le besoin de développeurs de logiciels pour effectuer séparément une analyse statique et une analyse dynamique.
États désignés : AE, AG, AL, AM, AT, AU, AZ, BA, BB, BG, BH, BR, BW, BY, BZ, CA, CH, CN, CO, CR, CU, CZ, DE, DK, DM, DZ, EC, EE, EG, ES, FI, GB, GD, GE, GH, GM, GT, HN, HR, HU, ID, IL, IN, IS, JP, KE, KG, KM, KN, KP, KR, KZ, LA, LC, LK, LR, LS, LT, LU, LY, MA, MD, ME, MG, MK, MN, MW, MX, MY, MZ, NA, NG, NI, NO, NZ, OM, PG, PH, PL, PT, RO, RS, RU, SC, SD, SE, SG, SK, SL, SM, SV, SY, TJ, TM, TN, TR, TT, TZ, UA, UG, US, UZ, VC, VN, ZA, ZM, ZW.
Organisation régionale africaine de la propriété intellectuelle (ARIPO) (BW, GH, GM, KE, LS, MW, MZ, NA, SD, SL, SZ, TZ, UG, ZM, ZW)
Office eurasien des brevets (OEAB) (AM, AZ, BY, KG, KZ, MD, RU, TJ, TM)
Office européen des brevets (OEB) (AT, BE, BG, CH, CY, CZ, DE, DK, EE, ES, FI, FR, GB, GR, HU, IE, IS, IT, LT, LU, LV, MC, MT, NL, PL, PT, RO, SE, SI, SK, TR)
Organisation africaine de la propriété intellectuelle (OAPI) (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, ML, MR, NE, SN, TD, TG).
Langue de publication : anglais (EN)
Langue de dépôt : anglais (EN)