软件构造复习笔记-Part5 断言与调试

断言 作用：允许程序在运行时检查自己，测试有关程序逻辑的假设，如前置条件、后置条件、不变量等，可将黑盒测试转换为白盒测试 应用场合 输入/输出参数落在预期范围内 程序运行/结束时文件流的打开和关闭 程序开始（结束）时文件处于开始（结束） 文件流以只读、只写或读写方式打开 输入变量的值不被方法改变 判断指针不是空值 判断数据结构是否是指定长度 判断真值表是否初始化 当一个方法开始执行时（或完成时）容

>>阅读原文<<