摘要：
| 项目 | 内容 | | | | | 这个作业属于哪个课程 | "罗杰" | | 这个作业的要求在哪里 | "[热身作业" ]() | | 我在这个课程的目标是 | 提高Coding能力和团队协作能力 | | 这个作业在哪个具体方面帮助我实现目标 | 熟悉课程作业流程，为第一作业缓冲 | 还没有写 阅读全文
摘要：
测试和正确性论证的效果差异测试：测试一般分为功能性测试和边界条件测试，功能性测试是为了保证程序能够完成要求的正常功能，边界测试是测试边界条件，比如游戏中地图越界的问题，一般来说，如果不能正常处理边界条件，程序崩溃也是经常的事情。测试的优点是 效率比较高，缺点是即使所有的测试点都过了，也不能保证程序没有bug。正确性论证：正确性论证是从代码逻辑的角度来论证代码是否有无bug，优点是能够全面覆盖... 阅读全文
摘要：
规格化设计发展历史 在调研的过程中再一次验证了“百度搜索不适合学术”这个观点，没有找到合适的搜索结果后，转用Google，才找到了一些细节。 保证程序的正确性以及减少软件错误一直是程序员关注的问题，Hoare提出了基于“前置后置条件”的接口规格方法。 为了建立正确的类规格，近些年来，研究者们进行了抽 阅读全文
摘要：
第七次作业——出租车本次作业是模拟出租车和乘客交互的系统，对于在地图中的乘客发出合法请求之后，出租车先到乘客地点接单然后再将乘客运送到目标位置。本次作业中主要需要处理的问题是如何将gui类自己的代码耦合，正常显示出图形界面；如何设计接单窗口时间限制，如何满足多线程安全。在类的设计上有输入输出处理InputHandler和OutputHandler类，线程有RequestDeal和Taxi，并... 阅读全文
摘要：
自己学习Java的记录以及在其中踩得的一些坑... 0.0 基本问题关于基本概念的理解Java虚拟机是什么？内部的工作原理JVM、JRE、JDK的含义以及作用javac编译器的使用jar：jar包在Eclipse、IDEA中的导入、jar包的创建多线程线程池，对象锁、类锁 0.1 编码规范对于编程课程的作业，很多程序是写完就扔，一千行一下的代码貌似即使命名糟糕、编码不规范，貌似也能完成要求功... 阅读全文
摘要：
对于渗透，太小型的网站没有太大价值，而大型网站（比如各种电商平台）对于代码审计往往非常严格，新手基本找不到漏洞，而一些比较容易搞掉的站点（政府.gov、各种教育网站.edu或者很多商业中型站点）渗透又有喝茶甚至受到刑事处罚的危险（参考世纪佳缘案件），所以搭建本地的渗透靶场环境是比较有价值的， 同时从 阅读全文
摘要：
尝试使用Eclipse中的AmaterasUML工具，但是始终安装不成功，所以类图是使用的商业版的IDEA自带的UML Support工具制作。 同理，尝试在Eclipse Oxygen和Eclipse Java Neon安装Metrics报错，使用IDEA的MetricsReloaded分析度量 阅读全文
摘要：
学习总结 在C语言和数据结构的基础上，在上暑期的面向对象Java先修课程时，熟悉语言的速度明显加快了很多。Java和C在很多基础语法上非常相似，比如基本的数据类型，循环以及条件分支语句，数组的遍历等。但是两者在思想上是截然不同的，C是面向过程性的：一般操作步骤将问题分解为连续的小问题，然后使用函数逐 阅读全文