Queries, comments, suggestions? Please contact us.



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
静态分析, <软件的>

Publication date: 2015-02
Copyright © IEC 2024. All Rights Reserved.