t_zh

摘要： 测试与正确性论证 正确性论证:基于理论的,通过逻辑上证明程序的正确性. 好处: 测试不能包括无限的全集,但是通过正确性论证可以取到所有的数据情况,来从理论上证明程序的正确性 缺点: 不能严格保证程序的正确性,完全可能出现理论正确但实际上却有实现错误的情况出现,正确性论证不能保证程序的实际正确性.理论 阅读全文

摘要： 规格设计的发展历史 随着计算机软硬件的发展,代码的复杂程度也在不短增加,随着计算机软件规模日渐庞大，结构化程序设计方法开始无法满足用户的需求，面向对象程序设计产生。面向对象程序设计是一场重大的革命，提高了开发人员的效率，有效的控制了软件开发的复杂度，提高了软件的可维护性和可拓展性。一个复杂,功能强大 阅读全文

摘要： 第五次作业度量和类图 第六次： 第7次： 心得体会和分析：bug分析： 第五次作业和第六次都存在一个严重问题，即更新时间与实际操作的问题。比如控制时间的时候，往往用sleep函数来，很多时候为了保证题目精度，往往使用的是假时间，但时间的改变和sleep函数使用的先后顺序就可能存在问题，在sleep期 阅读全文

摘要： 第一次作业 度量及类图 bug分析: 本次作业我自己公测通过但是还是存在两个bug没有处理,第一个是在输出的时候关于系数为0的项应该忽略,同时也要处理','等输出格式.还要则是string转int的时候,没有判断string长度,过长会导致parseint()函数抛出异常,导致crash掉. 这次作 阅读全文