xbox series和ps5发售以来，国内黄牛价格一直居高不下。虽然海外amazon上ps5补货很少而且基本撑不过一分钟，但是xbox series系列明显要好抢很多。 日亚、德亚的xbox series x/s都可以直邮中国大陆，所以我们只需要借助脚本，监控相关网页的动态，在补货的第一时刻通过微 Read More
测试与正确性论证的效果差异/优缺点 关于方法的测试，是针对规格设计相关测试样例，判断该方法在执行该样例后能否能获得与预期相符的结果。而正确性论证则是在方法规格的基础上，从理论上论证该方法的代码能否做到与规格相同的EFFECTS效果。测试更倾向于具体情况，正确性论证更倾向于论证整体所有情况。 测试：可 Read More
规格化设计的发展历史 (因为很难寻找，所以参考了下别的同学的调研结果) 规格化设计与结构化、模块化设计密不可分，伴随着OOP语言的发展，规格化设计思想逐渐形成体系，慢慢完善。 20世纪60年代，程序的模块化设计思想被提出。伴随着计算机行业的迅速发展，为了解决程序可靠性等问题，结构化、模块化的设计为程 Read More
To begin with 在多线程的海洋里遨游了三周后，同学们又有了这难得的一个月一次的OO博客(休息)时间。多线程的各种"玄学"问题可是给我带来了不少困扰和麻烦。而且这三次作业的共性特点就是特别难debug，不仅是难以给自己debug，给别人debug也不容易。就趁这个时间来回顾下这三周的时光吧 Read More