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