Wikipedie

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

Interaktivně procházet historii
← Přejít na předchozí porovnáníPřejít na další porovnání →
Smazaný obsah Přidaný obsah
VizuálníWikitext
Bez shrnutí editace
m Styl
Řádek 15:
[[Object Management Group|OMG]] (Object Management Group) nedávno zveřejnila studii týkající se typů softwarových analýz potřebných pro měření a hodnocení kvality softwaru. Tento dokument "How to Deliver Resilient, Secure, Efficient, and Easily
Changed IT Systems in Line with CISQ REcommendations" popisuje čtyři úrovně softwarové analýzy.
* '''Jednotková úroveň (Unit Level)''' - Analýza, která je vykonávána v rámci určitého programu nebo [[Podprogram|podprogramu]], bez připojení do kontextu tohoto programu.
 
*# '''TechnologickáJednotková úroveň (TechnologyUnit Level) '''- – Analýza, zkoumákterá interakceje mezivykonávána jednotlivýmiv částmirámci programu, aby získala pohled na celkovou strukturuurčitého programu snebo cílem[[Podprogram|podprogramu]], naléztbez chybypřipojení ado vyhnoutkontextu setohoto tak budoucím problémůmprogramu.
# '''Technologická úroveň (Technology Level)''' – Analýza, zkoumá interakce mezi jednotlivými částmi programu, aby získala pohled na celkovou strukturu programu s cílem nalézt chyby a vyhnout se tak budoucím problémům.
 
*# '''Systémová úroveň (System Level)''' -– Analýza, která zkoumá interakce mezi jednotlivými částmi programu, ale nezávisle na použitém [[Programovací jazyk|programovacím jazyce]] nebo použité technologii.
*# '''Účelová/Obchodní úroveň (Mission/Business Level)''' -– Analýza, která zkoumá obchodní a účelové vrstvy, pravidla a procesy, které jsou implementovány do softwarového systému pro činnost v rámci podniku nebo svého účelu. Tyto prvky jsou implementovány aniž by byly omezeny na jednu specifickou technologii nebo programovací jazyk a v mnoha případech jsou distribuovány přes více jazyků, ale jsou staticky extrahovány a analyzovány pro pochopení fungování systému.
 
== Formální metody ==
Formální metody označují termín používaný v analýze softwaru (a počítačového hardwaru), jejichž výsledky jsou získány pomocí složitých matematických operací. Tyto matematické techniky zahrnují metody jako například [[denotační sémantika]], [[axiomatická sémantika]], [[abstraktní interpretace]] a jiné. Ale ani těmito technikami nelze vždy najít všechny možné [[Běhová chyba|běhové (run-time) chyby]]: neexistuje žádný mechanismus, který vždy pravdivě zodpoví zda libovolný program může nebo nemusí vykazovat běhové chyby.
 
== Reference[[Kategorie:Softwarové inženýrství]] ==
* {{Překlad|jazyk = en|článek = Static program analysis|revize = 11443702}}
 
[[Kategorie:Softwarové inženýrství]]
Citováno z „https://cs.wikipedia.org/wiki/Statická_analýza_kódu“