Talaan ng mga Nilalaman:
- Kahulugan - Ano ang ibig sabihin ng Static Verification?
- Ipinapaliwanag ng Techopedia ang Static Verification
Kahulugan - Ano ang ibig sabihin ng Static Verification?
Ang static na pag-verify ay isang pagsusuri ng computer code upang matiyak na ang mga karaniwang kasanayan sa coding ay sinunod na hindi kinakailangang patakbuhin ang programa. Ginawa ang isang pagsusuri sa ilang mga bersyon ng source code at nagbibigay ng isang paraan para i-debug ng mga programmer ang bagong code at makita ang mga potensyal na error sa pinagsama-samang code.
Ipinapaliwanag ng Techopedia ang Static Verification
Ang static na pag-verify ay malawakang ginagamit sa software para sa kaligtasan-kritikal na mga computer system. Ang mga pangunahing teknolohiya na ginamit sa static na pagpapatunay ay static na pagtatasa ng tiyempo at pagsusuri sa pagkakapantay-pantay. Ang pag-time at functional verification sa isang static na daloy ng pagpapatunay ay pinaghiwalay at tumatakbo nang magkatulad. Ang static na pagtatasa ng tiyempo ay nagbibigay ng mga tseke ng tiyempo, habang ang pag-check ng pagiging katumbas ay nagpapatunay sa pagganap na pagkakapareho ng dalawang bersyon ng parehong circuit tulad ng mga kaliskis ng disenyo sa pamamagitan ng iba't ibang mga pagbabagong-anyo tulad ng pag-aayos ng chain chain, pagruruta at paglalagay.
Ang ilang mga pamamaraan ng pagpapatupad ng static na pagpapatunay ay ang pagsusuri ng daloy ng data, pagsuri ng modelo, interpretasyon ng abstraction at paggamit ng assertion.
Ang mga tool na karaniwang ginagamit para sa static na pag-verify ay kinabibilangan ng Sonar, Yasca, Copy / paste detector, Stylecop, FxCop, BLAST, Clang, Lint at Checkstyle.
