Static kods C + +

Mēs varam definēt procesu statisko analīzi avota kodu, kā arī kārtību, kādā porcijas ir identificētas nedrošu kodu, neveicot faktisko programmas izpildi.

"S statiskā analīzes var veikt automātiski, tas ir, tās pašas īpašus instrumentus noderīga, lai atbalstītu testēšanas procesu. Novērot, kā programmatūras testēšanas posmā, kopumā ir ļoti sarežģīts process, un parasti veic programmētāji, kas izlemj specializēties šajā jomā. Programmatūras rīkus, kas paredzēti "statiskās kodu analīzes tādējādi palīdz samazināt laiku un izmaksas, kurā sniegs pirmo mājienu par to, ko koda sekcijas, lai būtu jāpārbauda rūpīgāk.

Kļūdu konstatējusi minēto instrumentu veidu ir daudz, un pastāvīgi papildināt, uzņēmējdarbības attīstību, faktiski, tas programmatūras veids iet uz lielisku ritmu uz ilgu laiku tagad.

Šajā ziņā svarīgas ir vēsturiskas vērtības tādu programmu kā Lint , kuru izlaida 1979, kas darbojas uz Linux un kas nodarbojas ar programmēšanas valodu C . Lint ir īsta orientieris attiecībā uz statisko koda pārbaude, programmatūru dažkārt identificēti kā "savārstījums līdzīgi instrumenti" vai "savārstījums kā instrumenti."

Mūsdienu statiskā analizatoriem nozīmīgas ir arī iespēja pārbaudīt kodu, kas paredzēti, lai paralēli, sniedzot konkrētus ieteikumus attiecībā uz šādiem pieteikumiem.

Šajā rakstā mēs koncentrēties uz šāda veida instrumentu, cenšas piedāvāt īsu pārskatu par iespējām statiskā kodu programmas, kas darbojas paralēli valodas C + + (populārākās un universāls raksturs). Lai sāktu, izpētīsim vispārējo programmatūru un elastīgai PC-Lint .

PC-Lint

PC-Lint ir izstrādāta, lai nodrošinātu optimālu veiktspēju, analizējot programmas, kas izmanto POSIX pavedienus , bet var būt efektīvi izmanto vispārīgā gadījumā. Negribu teikt, ka analīze veikta ar programmatūru, ir visādā ziņā automātiski.

Šķiet nepieciešams, lai manuāli norādīt funkcijas, ka programma darbosies paralēli (vai pat vienlaicīgi), lai PC-Lint var doties uz "statisko analīzi taisnīgi (ka, jā, automātisks) tikai šīs sadaļas. Lai to panāktu, jums ir izmantot iespēju, vienmēr par to vai PC-Lint komandrindu. Piemēram paziņojumu:

 



 savārstījums-sem (funkcionalitāte, vītne)

 

komunicē ar PC-Lint ir nepieciešams analizēt, darboties funkciju, jo tā darbosies vienlaicīgi. Jūs tagad saņemat kļūdas ziņojumu, kas saistīti ar darbību, paturot prātā, ka jums ir arī rokturis paralēli izpildīt pats, tad norādot, piemēram, ja dalīta mainīgais tiek izmantots vai modificēts bez pienācīgas definīciju kritisko sadaļā.

Tieši šajā sakarā, ja par savstarpēju izslēgšanu un sinhronizācijas primitīvi ir realizēti, izmantojot POSIX pavedienus tipiski formālisms, vai, piemēram, pthread_mutex_lock un pthread_mutex_unlock, jums nav nepieciešams norādīt kaut ko par to no komandrindas. Pretējā gadījumā vadlīnijas tiks izmantots:

 -Sem (piekļuve, thread_lock)







 -Sem (release, thread_unlock)

norāda, ka piekļuve kritisko sadaļa ir veikta, izmantojot funkciju sauc piekļuvi un šīs sadaļas atbrīvošanas izmanto atlaišanas funkciju.

Ja attiecībā uz statisko analīzi, mūsu kods, bet mēs vēlējāmies, lai būtu nedaudz jaudīgāku instrumentu un neatkarīga no PC-Lint, VivaMP varētu būt laba izvēle.

• <<
• 1
• 2
• >>