驗證重用具有現(xiàn)實意義
2004-07-27 01:02:24
電子設(shè)計應(yīng)用 2004年6期
當(dāng)今功能驗證在人力資源、復(fù)雜度和完成時間上的挑戰(zhàn)遠遠超過了沒汁方面的挑戰(zhàn)，這就要求盡可能多地重復(fù)利用驗證資源。什么是驗證的重用?和設(shè)計重用類似，從高層次定義，驗證重用是通過重復(fù)利用一些驗證代碼來提高驗證效率，減少驗證代價并且得到高質(zhì)量的設(shè)計。
猜你喜歡
河北畫報(2020年8期)2020-10-27 02:54:34
少年博覽·小學(xué)低年級(2016年10期)2016-11-24 16:07:01
少年博覽·小學(xué)低年級(2016年9期)2016-11-24 16:07:00
少年博覽·小學(xué)低年級(2016年5期)2016-05-14 11:59:03
山東青年(2016年1期)2016-02-28 14:25:25
劍南文學(xué)(2015年1期)2015-02-28 01:15:14
當(dāng)代體育·扣籃(2014年8期)2014-05-23 13:21:55
短篇小說(2014年11期)2014-02-27 08:32:47
當(dāng)代修辭學(xué)(2014年3期)2014-01-21 02:30:44
公務(wù)員文萃(2013年5期)2013-03-11 16:08:37
