摘要： 这世界几乎不存在完全正确的软件系统，目前的趋势是：系统规模越来越大，逻辑越来越复杂，要求越来越高。这种情况下追求完全正确会让成本变得不可控。理论上，设计、实现、环境都正确的软件可以做到完全正确；现实是，这三条一条都做不到。一，就算是小型商业软件，无论测试还是形式化证明，工作量都是巨大无比，所以只能妥 阅读全文

摘要： 软件架构师何志丹 对自己的“平均随机数封装类”的测试。 测试[0到0x1000]个种子，每个种子产生0x1000个随机数。 CRand rand; int nums[0x10000]={0}; for( int j = 0 ; j < 0x10000 ; j++ ) { rand.m_seed = 阅读全文