Inhoud
- Definitie - Wat betekent statische verificatie?
- Een inleiding tot Microsoft Azure en de Microsoft Cloud | In deze gids leert u waar cloud computing over gaat en hoe Microsoft Azure u kan helpen bij het migreren en runnen van uw bedrijf vanuit de cloud.
- Techopedia legt statische verificatie uit
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.
Een inleiding tot Microsoft Azure en de Microsoft Cloud | In deze gids leert u waar cloud computing over gaat en hoe Microsoft Azure u kan helpen bij het migreren en runnen van uw bedrijf vanuit de cloud.
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, abstractie-interpretatie en beweringgebruik.
Hulpmiddelen die meestal worden gebruikt voor statische verificatie zijn Sonar, Yasca, Kopieer- / plakdetector, Stylecop, FxCop, BLAST, Clang, Lint en Checkstyle.