摘要:
这世界几乎不存在完全正确的软件系统,目前的趋势是:系统规模越来越大,逻辑越来越复杂,要求越来越高。这种情况下追求完全正确会让成本变得不可控。理论上,设计、实现、环境都正确的软件可以做到完全正确;现实是,这三条一条都做不到。一,就算是小型商业软件,无论测试还是形式化证明,工作量都是巨大无比,所以只能妥 阅读全文
摘要:
软件架构师何志丹 对自己的“平均随机数封装类”的测试。 测试[0到0x1000]个种子,每个种子产生0x1000个随机数。 CRand rand; int nums[0x10000]={0}; for( int j = 0 ; j < 0x10000 ; j++ ) { rand.m_seed = 阅读全文