La Revisione DelCodiceèNERCodice Sorgente Del Software Cosion Da Indepipare Il Codice Sorgente Del Software Il Codice Sorgente Il Codice Sorgere Il CodificaQualitàdel软件。è联合国Compito重要的nello sviluppo diSistemi嵌入式Tricini，在熟人Di Quelli Che Richiedono La Certificaie。
联合国团队Di Revisione del Codiceè在Genere Composto da Un Moderatore，UN Ingegnere O联合国责任达拉Qualità，Lo Sviluppatore Del Software e Altri Collecthi。Il Team Urilizza Spesso UNA清单每只Rivedere Sistematicamente Tutii Gli Aspetti Pertinulti del软件。Ad Esempio，IL Team Potbbe Valutare LaCompressitàDelCodice E Verificare LaConformitàAgli标准Di Codifica来到Misra-C / C ++ O JSF ++。
Un'Fireciace Revisione Del Codice Sarebbe Quella Focalettata Sugli Aspetti di Progettazione，Guidefare i Requisiti di Progettione，Identificale i Requisiti Mancanti，La Progettazione Dell'Architettura，Delle Interfacce ECC。UNA Revisione Del Codice Focarizzata Sulla Scansione Per rilevareDifettièAltamenteinefficace栖息地ERRERI DI运行时o anche sempliciDifetti di Codifica.Possono Essere任务Estremamente Incegnativi。广告eSempio，èCapileNon Accorgersi di Un of of of unfer oder flounfla oper a di comperosse Operazioni Matemaliche Che Coinvolgono Il Controllo Programmatico。Strumenti di Analisi Statica来到Polyspace®AIUTANO AD Automatizzare E Semplificare QuesteAttivitàPrimadi Un Processo di Revisione del Codice。
IL CASO D'USOPIùSEMPLICE DI TALISTRUMENIÉLAVERICEADICONFORMITàDelPLIOCODICE AGLI标准Scalra，JSF O Le Proprie Regole Di Codifica Pslessizzate。Le Regole di Codifica Aiutano A Rispettare Una Coerenza Nello Stille di Codifica，Migliorando LaLeggibilitàeLaManutenibilitàdel Codice。
Inoltre，GliStrumenti Polyspace.overono非独奏Rilevare Difetti.，MA Anche Dimostrare L'Assenza di Error Nel Codice Sorgente，EvitandoCosìdi Dover Dedicare Tempo Alla Scansione Delle Parti Sicure Del Codice。AncoraPińimpresse，è可能识别E / O Correggere Alcuni Dei Dei Difetti Anche Prima di Rivedere Il Codice。CIò非独奏同意Di Risparmiare Tempo，Ma Aiuta IL Team Di Revisione A Plectrassi Su Aspetti重要事项La Progettaione del Software e Requisiti。
l'analisi automatizzata non puj semplicemente scochires questi qualtiousi funzionali algoritmici e questa analisi di alto livelloichiede联合国Cervello Umano。Tuttavia，L'Analisi AutomatizzataèMoltoFeaviceeDelaScansione Del Codice Per Identivity Difetti来Gli Errori di Programmazione O di Codifica o Gli Errori di Runtime ECC。
Inoltre，Gli Strumenti Polyspace Forniscono Anche Informazioni Detagliate Sulflusso di controllo e di diati。A Titolo di Esempio Sono Fornite Informazioni Sui Possibili Intervalli delle Variabili，我Grafi delle Chiamate一个Funzioni e Mostrare的数据字典来自e da dove Le Variabili Vengono scritte e lette。Queste Informazioni Sono Generalmente在崔SIA entario的Una Revisione Del Codice中的Preziose包括IL Comportameno Del软件的运行时。
QuestoProcessoèMoltoscalabile EDèConsibileAnalabiledapoche Centinaia di righe di Codice apiùdi centomila。我举报generati dall'analisi possono essere utilizzatizatizatizati guestofto nel processo di Revisione del Codice quali parti del codice si sono dimostrate sicure e quali parti sono一个rischio di sumpimeno。
