软件构造第七次学习博客——第5、6章知识点总结

软件构造第七次学习博客——第5、6章知识点总结 PS：补充第5章知识点 1.断言 （1）作用：允许程序在运行时检查自己，测试有关程序逻辑的假设，如前置条件、后置条件、不变量等，可将黑盒测试转换为白盒测试 （2）应用场合 ·输入/输出参数落在预期范围内 ·程序运行/结束时文件流的打开和关闭 ·程序开始（结束）时文件处于开始（结束） ·文件流以只读、只写或读写方式打开 ·输入变量的值不被方法改变 ·判

>>阅读原文<<