1.
输入参数或输出参数的取值处于预期的范围内
.
2.
子程序开始
(
或者结束
)
执行时
,
文件或流是处于打开
(
或者关闭
)
的状态
3.
子程序开始
(
或者结束
)
执行时
,
文件或流的读写未知处于开头
(
或结尾
)
处
4.
文件或流已用只度
,
只写或可读可写方式打开
5.
仅用于输入的变量的值没有被子程序所修改
6.
指针非空
7.
传入子程序的数组或其他容器至少能容纳
X
个数据元素
8.
表已初始化
,
存储着真实的数值
9.
子程序开始
(
或结束
)
执行时
,
某个容器是空的
(
或者满的
)
10.
一个经过高度优化的复杂子程序的运算结果和相对缓慢但代码清晰的子程序的预算结果相一致
以上这些只是一些基本假定.可以有更多的端来来说明的假定