Statická analýza kódu: Porovnání verzí

Smazaný obsah Přidaný obsah
Oprava chyby v textu.
m →‎Důvody: část. počeštění
Řádek 6:
[[Softwarová metrika]] a [[reverzní inženýrství]] mohou být popsány jako jedny z možných forem softwarové analýzy. Softwarová metrika a statická analýza jsou společně použity zejména při tvorbě vestavěných ([[embedded]]) systémů, definující tzv. kvalitu softwarových cílů.
Nárůst komerčního použití statické analýzy nastal z důvodů potřeby ověření vlastností programů používaných v [[počítačové systémy|počítačových systémech]], které jsou z hlediska [[Počítačová bezpečnost|počítačové bezpečnosti]] zranitelné. Například následující průmyslová odvětví používají statickou analýzu kódu jako prostředek ke zlepšení kvality stále náročnějších a složitějších programů.
# '''Zdravotnický software''': TheAmerický U.S.[[Úřad Foodpro andkontrolu Drugpotravin Administrationa léčiv]] (FDA) identifikovalapoužil použitístatickou statické analýzyanalýzu pro zdravotnickálékařský přístroj již v roce zařízení2010.
# '''NukleárníJaderný software''': Ve Velké Británii Healt and Safety Executive doporučuje použití statické analýzy k ochraně systémů jaderných reaktorů.
# '''Letecký software''' (použití v kombinaci s dynamickou analýzou).
Studie provedená VDC Research z roku 2012 říká, že v současné době 28,7% embedded software inženýrů využívá nástrojů pro statickou analýzu a
39,7% očekávají jejich použití během dvou let.