1.??????
輸入參數或輸出參數的取值處于預期的范圍內
.
2.??????
子程序開始
(
或者結束
)
執行時
,
文件或流是處于打開
(
或者關閉
)
的狀態
3.??????
子程序開始
(
或者結束
)
執行時
,
文件或流的讀寫未知處于開頭
(
或結尾
)
處
4.??????
文件或流已用只度
,
只寫或可讀可寫方式打開
5.??????
僅用于輸入的變量的值沒有被子程序所修改
6.??????
指針非空
7.??????
傳入子程序的數組或其他容器至少能容納
X
個數據元素
8.??????
表已初始化
,
存儲著真實的數值
9.??????
子程序開始
(
或結束
)
執行時
,
某個容器是空的
(
或者滿的
)
10.??
一個經過高度優化的復雜子程序的運算結果和相對緩慢但代碼清晰的子程序的預算結果相一致
以上這些只是一些基本假定.可以有更多的端來來說明的假定