Area |
 |
Dependability / Concepts related to test, demonstration and improvement |
 |
|
IEV ref |
 |
192-09-22 |
 |
|
en |
 |
static analysis, <of software> |
 |
 |
examination of source code for features that may indicate the presence of software faults
Note 1 to entry: Static analysis typically reveals unreachable sections of code, unused, misused, doubly-defined or uninitialized variables, and unintended execution paths. Note 2 to entry: Static analysis normally employs computer aided software engineering tools. |
 |
|
fr |
 |
analyse statique, <de logiciel> f |
 |
 |
recherche dans le code source d’éléments susceptibles d’indiquer la présence de pannes logicielles
Note 1 à l’article: En général, une analyse statique révèle des sections de code impossible à atteindre, des variables non utilisées, mal utilisées, définies deux fois ou non initialisées et des chemins d’exécution imprévus. Note 2 à l’article: En principe, une analyse statique utilise des outils de génie logiciel assisté par ordinateur (GLAO). |
 |
|
ar |
 |
تحليل إستاتيكى, <للبرماجيات> تحليل شفرة البرنامج |
|
cs |
 |
statická analýza, <softwaru> |
|
de |
 |
statische Analyse, <von Software> f |
|
es |
 |
análisis estático, <del software> |
|
ko |
 |
정적 분석 |
|
ja |
 |
静的解析, <ソフトウェアの> |
|
pl |
 |
analiza statyczna, <oprogramowania> f analiza kodu, <oprogramowania> f |
|
pt |
 |
análise estática, <de software> |
|
zh |
 |
静态分析, <软件的> |