Ano ang gagawin u ibig sabihin sa pamamagitan ng disenyo para sa pagpapatunay

[lufeng21cn]

tulad ng badya ang paraan ng pagpapatotoo, maaari itong magbibigay sa iyo ng isang maginhawang paraan upang i-verify ang iyong disenyo.

 

[jackson_peng]

sa madaling salita, gamitin ang "badya" sa mapabuti ang iyong oras sa debug. Tulad na ito ay sa C.

 

[sarath51]

Proseso ng pagpapatunay requries. Verifiaction pag-uugali ng modelo modelo hukuman at mga kaso ng pagsubok SA iba pang mga salita na ito ay sinabi na pagdisenyo ng isang Test Becch at gusali ng mataas na mga trasactors antas sa ang asal na mga modelo na tulad na ang mga kaso ng pagsubok ay maaaring nakasulat sa mahusay na paraan. Becn Ang maaari ring isama ang mga iuntergrated monotirs at checkers na gamit ang mga assertions at iba pang mga bahay sa pagsunod ng mga module