“消失”的完备性
一月
3
系统完备性与完备性验证的相关思考:
- 完备性验证是设计和实现系统的必要步骤,至少教科书上十有八九是这样写的;
- 完备性也许已经不在是必要验证,完备性的考量正在“消失”;
- 系统复杂程度提高,完备性验证越来越困难;
- 世界更新很快,系统不断变化,完备性需求变化的更新周期很可能比验证周期还要短暂;
- 完备性验证所得到的好处与消耗来比较,验证越接近100%的部分,性价比越低;
- 迭代式开发与开放性结构,给与系统不断改进的空间,递进式完备更经济更有效;
- 对于复杂的情况,不存在100%的完备,只有可以接受的完备;
- 完备性验证是系统可靠性保证的必要步骤,又绝不可以掉以轻心;
- 鉴于此,以应用为目的的,对完备性验证的有效约减是一种必然。
那么,在这样一个情况下,完备性的准确定义是什么样的呢?需要进一步研读和思考……
补充:部分的简单完备的叠加,不等同于整体系统完备!


Recent Comments