Những gì u có nghĩa là thiết kế để xác minh

[lufeng21cn]

giống như phương pháp xác minh khẳng định, nó có thể cung cấp cho bạn một con đường thuận tiện để xác minh thiết kế của bạn.

 

[jackson_peng]

nói cách dễ dàng, sử dụng "Khẳng định" cải thiện thời gian gỡ lỗi của bạn. Cũng giống như nó đã làm trong C.

 

[sarath51]

Quá trình xác minh requries. Verifiaction hành vi mô hình mô hình băng ghế dự bị và các trường hợp kiểm tra TRONG Nói cách khác, nó có thể được cho biết rằng thiết kế một Becch thử nghiệm và xây dựng các trasactors mức độ cao hơn các mô hình hành vi như vậy mà các trường hợp thử nghiệm có thể được viết theo cách hiệu quả. Becn cũng có thể bao gồm monotirs iuntergrated, người kiểm tra bằng cách sử dụng khẳng định và các mô-đun nhà khác giữ