以C++語言標準委員會現主席Herb Sutter老兄以及他編寫的Exceptional系列（已出版的包括：《Exceptional C++》、《More Exceptional C++》、以及《Exceptional C++ Style》）為甚。。

主動調試和契約編程相輔相成，共同保證軟件開發的質量。契約編程相當于經濟生活中簽訂的各種合同，而主動調試相當于某方不遵守合同時采取的法律懲罰措施。
各種開發語言和開發工具都提供這些調試語句，標準C++提供了assert函數，MFC提供了ASSERT調試宏幫助我們進行主動調試，在實際工作中，建議統一使用MFC的ASSERT調試宏。

參數檢查
對于編寫的函數，除了明確的指定契約外，在函數開始處應該對傳入的參數進行檢查，確保非法參數傳入時立即報告錯誤信息。例如：

BOOL GetPathItem ( int i , LPTSTR szItem , int iLen )  
{  
ASSERT ( i > 0 ) ;  
ASSERT ( NULL != szItem ) ;  
ASSERT ( ( iLen > 0 ) && ( iLen < MAX_PATH ) ) ;  
ASSERT ( FALSE == IsBadWriteStringPtr ( szItem , iLen ) ) ;  
} 

這樣的檢查只能夠排除指針為空的情況，但是如果指針指向的是非法地址，或者指針指向的對象并不是我們需要的類型，上面的例子就沒有辦法檢查出來，而是統統認為是正確的。完整的檢查應該如下：

// An example of checking only a part of the error condition  
BOOL EnumerateListItems ( PFNELCALLBACK pfnCallback )  
{  
ASSERT ( NULL != pfnCallback ) ;  
 
} 

恰當地在代碼中使用ASSERT，對bug檢測和提高調試效率有極大的幫助，下面舉個簡單的例子加以說明。

switch( nType )  
{  
case GK_ENTITY_POINT:  
// do something  
break;  
case GK_ENTITY_PLINE:  
// do something  
break;  
default:  
ASSERT( 0 );  
} 

在上面的例子中，switch語句僅僅處理了GK_ENTITY_POINT和GK_ENTITY_PLINE兩種情況，應該是系統中當時只需要處理這兩種情況，但是如果后期系統需要處理更多的情況，而此時上面這部分代碼又沒有及時更新，或者是因為開發人員一時疏忽遺漏了。

一個可能導致系統錯誤或者崩潰的bug就出現了，而使用ASSERT可以及時地提醒開發人員他的疏忽，盡可能快的消滅這個bug。還有一些情況，在開發人員編寫代碼時，如果能夠確信在某一點出現情況A就是錯誤的，那么就可以在該處加上ASSERT，排除情況A。#t#

綜上所述，恰當、靈活的使用ASSERT進行主動調試，能夠極大提高程序的穩定性和安全性，減少調試時間，提高工作效率。綜上所述，恰當、靈活的使用ASSERT進行主動調試，能夠極大提高程序的穩定性和安全性，減少調試時間，提高工作效率。