学步园

信，或，不信？

看似最简单的if-else分支条件选择，却因处于变化环境中而难以一言道明。

不同机器、不同平台、不同输入、不同参数传递、不同控制流跳转、乃至不同时间点，都可能会让信任度由珠穆朗玛的顶峰偏转到死海海岸线。

撇开笼统而难以界定的标准，评价可信的角度从如下三方面入手更可信：

1.认识

间接：兼听则明，旁听则暗。

直接：静态分析，动态测试，形式化验证。

2.创建

模型选取，代码生成，缺陷查找。

3.运行

插桩，监控(MOP)，反馈控制。

容错。

此间，尽管知识与技术的重要性在某种程度上等同，但相关指标必须要由工具决定。