摘要：
总结 比较测试和正确论证的效果 就我们课堂上所学的测试知识而言，单点测试只是在针对代码的实际情况构造出对应的测试样例进行“覆盖性测试”.而正确性论证则可能稍微复杂一些.是通过一些描述语言来对程序中的模块进行注意检查. 两者有利有弊,都是在覆盖度和简便方式上分别作出了取舍.不过就我个人而言,比较喜欢测 阅读全文
摘要：
1.规格化的发展历史 软件工程发展始于1950年左右，目的在于使用工程化的方法来组织，管理软件的开发。而所谓规格，正式一种形式， 工程化的设计方式。包括：需求分析，功能描述，算法设计，编程，测试和维护。 在规格化设计发展的过程中，一共出现过三次大的该改变和调整。 在1970年左右，出现了基于“前置后 阅读全文
摘要：
概念区分 表示返回值为 类型指针的函数 fun不是函数名称，而是指针变量————指向函数的指针变量 ，该函数返回值也是一个指针。 用法 其中 是一个函数指针，使用的时候可以将 指针指向函数 。 这里可以写成是fun 或者 & fun，因为函数被编译之后实际上就是一个地址值，所以本质上没有什么区别。 阅读全文
摘要：
java集合概述之Set Abstract Java的集合主要有 、`List Queue Map`四种体系。 这四种体系都是接口不能直接用，但是在这四种体系下包含了很多的实现类是可以直接使用的。 集合类和定长数组的区别主要在于，定长数组不仅可以存储基本数据类型还有对象，但是集合类只能存储对象。 这 阅读全文
摘要：
将一些和MarkDown相关的快捷键用一张图表示： 这是Markdown-mode官网。 很多人喜欢用Markdown编辑文档和博客，这里提供一些配置，使得emacs用户能够在自己的编辑器中实现编辑文档并实时查看效果，甚至可以很方便的转换成为PDF格式。 1.安装 首先安装Markdown-mode 阅读全文
摘要：
第二次OO总结如下。 作业一共分为三次，分别是一次电梯，一次IFFF，一次出租车调度。分析顺序是从后往前。 一、出租车调度 程序输入为具有固定格式的命令，系统解析当前的命令，按照当前出租车的实际情况来分配合适的车辆，输出是每次调度的具体细节。 有了上次电梯的调度经验和对IFFF多线程的理解，这次作业 阅读全文
摘要：
前两天做OS实验，又被一波Git操作迷倒，想来还是自己理解上不够细致，总结一下关于远程操作Git push和Git pull的知识。 git push 一、git push使用本地的对应分支来更新对应的远程分支。 注意：本地分支名称是指要被推送到远端的分支，而远程分支是指推送的远程主机的其中一个目标 阅读全文
摘要：
设计原则和设计模式是两个不同的概念。 设计模式提供了一套软件开发过程中面临的一些问题的最佳解决方案，在实践中使用这些方案会使得你的代码然具有很好的可读性，可靠性，以便于优秀的代码可以直接被他人使用。而设计原则是设计模式最直接的体现，逻辑上更符合Java编程中追求的高内聚和低耦合的基本思想，好的代码理 阅读全文
摘要：
Abstract： 第一次接触多线程，现部分总结如下： 有三种方式实现多线程Java程序，本文只学习其中两种方式，并试图通过一个例子来解释多线程背后的本质和这两种调用方式之间的关系： 1.继承Thread类，重写run这个方法。 2.实现Runnable接口和其中的run方法。 现举例如下： 一、第 阅读全文