Какво ф означава по проект за проверка

[lufeng21cn]

като метод за проверка на твърдение, то може да ви даде удобна възможност, която може да се провери вашия дизайн.

 

[jackson_peng]

в лесни думи, използвайте "твърдение" в подобряване на дебъгване време. Както вече прави в C.

 

[sarath51]

Requries Проверка процес. Verifiaction модели на поведение, модели на пейка и тест случаи с други думи, може да се каже, че проектиране на Тест Becch и изграждане на високо trasactors на нива над поведенческите модели, които са такива, че тестовете могат да бъдат написани ефективен начин. Becn може да включва и iuntergrated monotirs и пулове с твърдения и други модули за водене на къща