摘要: 这个博客关于面向正确性与健壮性的软件构造 健壮性:系统在不正常输入或不正常外部环境下仍能够表现正常的程度 处理未期望的行为和错误终止 即使终止执行,也要准确/无歧义的向用户展示全面的错误信息 错误信息有助于进行debug 正确性:程序按照spec加以执行的能力,是最重要的质量指标 安全关键型应用往往 阅读全文
posted @ 2022-06-19 23:36 fsscg 阅读(22) 评论(0) 推荐(0) 编辑