zoukankan      html  css  js  c++  java
  • 软件构造 第七章第三节 断言和防御性编程

    第七章第三节 断言和防御性编程

    断言:在开发阶段的代码中嵌入,检验某些"假设"是否成立。若成立,表明程序运行正常,否则表明存在错误。

     

    可用于检查:

    内部不变量:

    表示不变量:

    控制流不变量

    方法的前置条件

    方法的后置条件

     

    • 断言主要用于开发阶段,避免引入和帮助发现bug
    • 实际运行阶段, 不再使用断言
    • 软件发布阶段,禁用断言避免影响性能。

     

    断言Correctness

    错误/异常处理Robustness

     

    Defensive Programming

    对来自外部的数据源要仔细检查,例如:文件、网络数据、用户输入等

    对每个函数的输入参数合法性要做仔细检查,并决定如何处理非法输入

  • 相关阅读:
    图书管理系统
    关键路径
    最短路径

    最小生成树、最短路径
    Huffman编码
    LA 3401
    UVA 10881
    OI 刷题记录——每周更新
    4396: [Usaco2015 dec]High Card Wins
  • 原文地址:https://www.cnblogs.com/masteryellow/p/9215627.html
Copyright © 2011-2022 走看看