- 博客(13)
- 收藏
- 关注
RSS订阅原创 一条命令解决：docker与虚拟机冲突
一条命令解决：win10 docker与虚拟机冲突管理员身份打开Powershell/cmd输入命令：bcdedit /set hypervisorlaunchtype off重启电脑
2022-04-17 14:10:27
2435
原创 2021-08-18
2021-08-18哈工大自动每日上报（本部）欢迎使用Markdown编辑器你好！ 这是你第一次使用 Markdown编辑器 所展示的欢迎页。如果你想学习如何使用Markdown编辑器, 可以仔细阅读这篇文章，了解一下Markdown的基本语法知识。新的改变我们对Markdown编辑器进行了一些功能拓展与语法支持，除了标准的Markdown编辑器功能，我们增加了如下几点新功能，帮助你用它写博客：全新的界面设计 ，将会带来全新的写作体验；在创作中心设置你喜爱的代码高亮样式，Markdown 将代
2021-08-18 16:27:40
308
原创 2021-07-01
哈工大软件构造阅读心得6-2: 规格说明本文参考：MIT Reading6哈工大学长汉化注：这个系列是本人看过阅读资料之后，对看过的内容进行的总结测试与规格说明在测试中，我们谈到了黑盒测试意味着仅仅通过规格说明构建测试，而白盒测试是通过代码实现来构建测试。但是要特别注意一点：即使是白盒测试也必须遵循规格说明。 你的实现也许很依赖前置条件的满足，否则方法就会有一个未定义的行为。而你的测试是不能依赖这种未定义的行为的。例如，假设你正在测试find，它的规格说明如下：这个规格说明已经很明显的要求.
2021-07-01 13:19:39
137
原创 2021-06-30
哈工大软件构造阅读心得2-1: Java基础本文参考：MIT Reading6哈工大学长汉化麻省理工18年春软件构造课程阅读06“规格说明” - 李秋豪 - 博客园(cnblogs.com)注：这个系列是本人看过阅读资料之后，对看过的内容进行的总结为什么使用规格说明在编程中，很多让人抓狂的bug是由于两个地方的代码对于接口行为的理解不一样。当程序崩溃的时候，就很难发现问题在哪里。简洁准确的的规格说明使得我们远离bug，更可以快速发现问题所在。规格说明对使用者（客户）来说也是很有用的，它们使得使
2021-06-30 13:13:30
170
原创 2021-06-30
哈工大软件构造阅读心得5: 版本控制本文参考：MIT Reading5哈工大学长汉化注：这个系列是本人看过阅读资料之后，对看过的内容进行的总结本部分主要是讲述Git指令，详见廖雪峰的官方网站
2021-06-30 12:09:32
118
原创 2021-06-29
哈工大软件构造阅读心得4-1: 代码评审本文参考：MIT Reading4哈工大学长汉化注：这个系列是本人看过阅读资料之后，对看过的内容进行的总结每一个变量只有一个目的在 dayOfYear 这个例子中， dayOfMonth被用来做不同意义的值：一开始它是这个月的第几天，最后它是返回的结果（是今年的第几天）。不要重利用参数，也不要重利用变量。在现在的计算机中，变量不是一个稀缺的资源。当你需要的时候就声明一个（命名一个易理解的名字），不需要它的时候就停止使用。如果你的变量在前面几行代表一个意思.
2021-06-29 19:27:29
114
原创 2021-06-29
哈工大软件构造阅读心得4-1: 代码评审本文参考：MIT Reading4哈工大学长汉化注：这个系列是本人看过阅读资料之后，对看过的内容进行的总结代码评审代码评审有两个主要目的：提升代码质量。找出存在及潜在的bug，分析代码的清晰度以及代码是否严格遵循了当前工程的标准。提升程序员的水平。代码评审是提升程序员水平的一个重要方法，通过它可以学习到语言新的特性、工程上新的设计以及一些新的实现方法。特别是在开源项目中，很多交流都是在代码评审这种环境下进行的。风格标准大多数公司或者大的项目都会要求
2021-06-29 16:38:30
130
原创 2021-06-29
哈工大软件构造阅读心得3-2: 测试本文参考：MIT Reading3哈工大学长汉化注：这个系列是本人看过阅读资料之后，对看过的内容进行的总结黑盒测试与白盒测试回想上面提到的：规格说明是对函数行为的描述——参数类型、返回值类型和对它们的约束条件以及参数和返回值之间的关系。黑盒测试意味着只依据函数的规格说明来选择测试用例，而不关心函数是如何实现的。这也是到目前为止我们的例子里一直在做的。我们在没有看实际代码的情况下分段并且寻找multiply和max的边界。白盒测试的意思是在考虑函数的实际实现方法
2021-06-29 11:10:37
130
原创 2021-06-28
哈工大软件构造阅读心得3-1: 测试本文参考：MIT Reading3哈工大学长汉化注：这个系列是本人看过阅读资料之后，对看过的内容进行的总结验证验证的目的就是发现程序中的问题，以此提升你对程序正确性的信心。验证包括：形式推理，即通过理论推理证明程序的正确性。形式推理目前还缺乏自动化的工具，通常需要漫长的手工计算。即使是这样，一些关键性的小程序也是需要被证明的，例如操作系统的调度程序、虚拟机里的字节码解释器，或者是文件系统代码审查。即让别人仔细的阅读、审校、评价你的代码，这也是发现b.
2021-06-28 21:59:01
220
1
原创 2021-06-28
**哈工大软件构造阅读心得2-1: Java基础**本文参考：MIT Reading2哈工大学长汉化MIT Reading1哈工大学长汉化枚举类型有时候一种类型中会存在一个既小又有限的不可变的值的集合，例如：一年中的月份： January, February, …, November, December一周中的每一天：Monday, Tuesday, …, Saturday, Sunday指南针中的方向：north, south, east, west可以配出的颜色：bl
2021-06-28 18:26:48
95
原创 2021-06-27
哈工大软件构造阅读心得2-1: Java基础本文参考：MIT .练习基础下面这块代码取自某一个函数中：int a = 5; // (1)if (a > 10) { // (2)int b = 2; // (3)} else { // (4)int b = 4; // (5)} // (6)b *= 3; // (7)哪一行会导致编译时报错？7报错原因：b cannot be resolved to
2021-06-27 22:34:15
288
原创 2021-06-23
哈工大计算机系统大作业这里写目录标题哈工大计算机系统大作业第一章 概述第二章 预处理第三章 编译第四章 汇编第五章 链接第六章 Hello进程管理第七章 Hello内存管理第八章 Hello的I/O管理第一章 概述第二章 预处理第三章 编译第四章 汇编第五章 链接第六章 Hello进程管理第七章 Hello内存管理第八章 Hello的I/O管理第1章 概述1.1 Hello简介P2P：1） Program：在IDE中输入代码，即可完成程序。2） Process：hello..
2021-06-23 14:24:57
678
原创 2021-06-22
**哈工大软件构造阅读心得1: 静态检查**本文参考：MIT Reading1哈工大学长汉化注：MIT之前学过Python，所以阅读当中会穿插Python和Java的对比。冰雹序列冰雹序列的定义从正整数n开始，如果n是偶数，则下一个数是n/2，否则下一个数是3n+1，直到n等于1。示例如下：如果n是偶数，下一个数会比n小。如果n是奇数，下一个数会比n大。n的取值忽大忽小，那么n最后都会归为1么？（目前没有解决办法）冰雹序列的计算代码这里需要注意的是：python以缩进分割语句块
2021-06-22 19:04:44
976
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人