软件构造正确性和健壮性

  面向健壮性的编程有以下几点要求或优点：处理未期望的行为和错误终止即使终止执行，也要准确/无歧义的向用户展示全面的错误信息错误信息有助于进行debug

  健壮性原则：总是假定用户为恶意用户，假定自己的代码会失败把用户想象成一个小孩，可能输出任何东西注意，因为用户很小孩，最好要返回给用户错误提示信息，而且要详细准确无歧义！对自己的代码要保守，对用户的行为要开放。

　　关于这一点，体现在代码方面，就需要做出策略，是写多个分支进行检查或者是检测错误报错。