契約式設計
→DbC
契約式設計 - 維基百科，自由的百科全書
Design by contract