Inhoudsopgave:
Definitie - Wat betekent statische verificatie?
Statische verificatie is een analyse van computercode om ervoor te zorgen dat de standaardcoderingsmethoden zijn nageleefd zonder dat het programma hoeft te worden uitgevoerd. Een analyse wordt uitgevoerd op sommige versies van de broncode en biedt een manier voor programmeurs om nieuwe code te debuggen en mogelijke fouten in gecompileerde code te detecteren.
Techopedia legt statische verificatie uit
Statische verificatie wordt veel gebruikt in software voor veiligheidskritieke computersystemen. De belangrijkste technologieën die worden gebruikt bij statische verificatie zijn statische timinganalyse en gelijkwaardigheidscontrole. Timing en functionele verificatie in een statische verificatiestroom worden gescheiden en parallel uitgevoerd. Statische timinganalyse biedt timingcontroles, terwijl equivalentiecontrole de functionele equivalentie van twee versies van hetzelfde circuit als ontwerpschalen verifieert via verschillende transformaties, zoals het opnieuw ordenen, routeren en plaatsen van de scanketen.
Een paar implementatietechnieken van statische verificatie zijn dataflow-analyse, modelcontrole, interpretatie van abstractie en beweringgebruik.
Hulpmiddelen die meestal worden gebruikt voor statische verificatie zijn Sonar, Yasca, Kopieer- / plakdetector, Stylecop, FxCop, BLAST, Clang, Lint en Checkstyle.
