大系统软件对接过程中的资源竞争与冲突解决,会隐藏非常深的逻辑错误,
特别是并行计算方法运用,通常用简单的逻辑bug 来类似描述,即从产生错误来
等效定义。它们的发生是动态的,完全用软件自动测试是做不到bug free 的。
长时间在测试状态的试运行是必须的,
用模块化设计是必须的,而每个模块实现算法本身要包含完备性测试,就是从有限状态机的
角度可解析和跟踪。
从测试板到正式版的更新,要遵循循序渐进,否则会出现”野马脱缰”现象,就是系统资源环境
变化引发的动态bug。
非常遗憾,大家喜欢的vm 虚拟机技术,在和其它系统对接时并不可靠,
如embedded 方式。因为我们的大负载并发需求在测试版总与实际差太远。