Statisk kode i C + +

Vi kan definere processen med statisk analyse af kildekode som en procedure, hvorefter portionerne er identificeret usikre kode, uden at selve udførelsen af programmet.

'S statisk analyse kan udføres automatisk, det vil sige ved sin egen konkrete redskaber nyttigt til støtte for testprocessen. Iagttage, hvordan den fase af software test, i sin helhed, er en meget kompleks proces, og typisk udført af programmører, der beslutter at specialisere sig i netop dette område. Softwareværktøjer dedikeret til "statisk kodeanalyse dermed bidrage til at reducere tid og omkostninger, hvilket giver et første fingerpeg om, hvad dele af koden til at være forpligtet til at kontrollere mere grundigt.

De typer af fejl opdaget af de nævnte instrumenter er flere og løbende ajourføring, forretningsudvikling, i virkeligheden, går denne form for software til store rytme i lang tid nu.

Vigtigt i denne forbindelse den historiske værdi af et program som Lint , udgivet i 1979, der kører på Linux og dedikeret til programmeringssproget C . Lint er en reel milepæl for statisk kode, verifikation software, undertiden identificeret som "fnug-lignende værktøjer", eller "nullermænd lignende værktøjer."

Den moderne statiske analysatorer er også i stand til at bekræfte koden designet til at køre parallelt, hvilket giver konkrete forslag til sådanne ansøgninger.

I denne artikel fokuserer vi på denne type instrument, forsøger at tilbyde en kort oversigt over mulighederne i den statiske koden for programmer, der kører parallelt sprog, C + + (det mest populære og alsidige i naturen). Til at begynde, lad os undersøge et generisk software og fleksibel som en PC-Lint .

PC-Lint

PC-Lint er designet til at levere optimal ydeevne i analysen af programmer, der anvender POSIX tråde , men kan bruges effektivt i en generisk sag. Ønsker ikke at sige, at den analyse, som softwaren er på alle måder automatisk.

Det er nødvendigt at manuelt angive de funktioner, at programmet vil køre parallelt (eller endda samtidigt), således at PC-Lint kan gå videre til "statisk analyse af fairness (at ja, automatisk) bare i disse afsnit. For at opnå dette, skal du bruge den optionsjusterede altid om henrettelsen af PC-Lint kommandolinje. For eksempel udsagnet:

 



 fnug-sem (funk, tråd)

 

kommunikerer med PC-Lint er nødvendigt at analysere funktionen funktion, da det vil køre sideløbende. Du vil nu modtage fejlmeddelelser relateret til den funktion, at holde for øje, at du også skal håndtere parallel udførelse af det samme, derefter pege ud, for eksempel, hvis en delt variabel bruges eller ændres uden ordentlig definition af en kritisk sektion.

Det var i denne forbindelse, hvis gensidig udelukkelse og synkronisering primitiver er gennemført ved hjælp af POSIX tråde typisk for formalisme, eller f.eks, pthread_mutex_lock og pthread_mutex_unlock, behøver du ikke at angive noget om det fra kommandolinjen. Ellers vil de retningslinjer, der skal anvendes:

 -Sem (adgang, thread_lock)







 -Sem (release, thread_unlock)

for at indikere, at adgang til de kritiske afsnit er foretaget gennem en funktion kaldet adgang og frigivelse af dette afsnit er at bruge release-funktionen.

Hvis det for en statisk analyse af vores kode, men vi ville gerne have en lidt mere effektive værktøjer og uafhængig af PC-Lint, VivaMP kunne være et godt valg.

• <<
• 1
• 2
• >>