weixin_59176583的博客

原创 【密码学】规约证明

密码学，规约证明

原创 【软件构造】规约

specification

原创 【软件构造】小谈designing patterns

designing patterns

原创 【软件构造】抽象数据类型（ADT）

抽象数据型（ADT）

原创 软件构造小结

首先简要说明一下进程和线程的关系。理解这两个概念对于学习计算机非常重要。cpu执行的是进程中的线程。线程是并行执行的(异步)。一个进程包含多个线程，最少包含一个线程(主线程，UI线程)。进程中变量是不共享的，但线程是共享的。对于线程中的变量，哪个线程中的方法调用了这个变量，这个变量就属于哪个线程。泛型是面向对象程序设计中的一个非常重要的概念。泛型程序设计是程序设计语言的一种风格或范式。泛型允许程序员在强类型程序设计语言中编写代码时使用一些以后才指定的类型，在实例化时作为参数指明这些类型。例如，ArrayLi

原创 软件构造小结

总结一下自己在本阶段软件构造课程中的收获，其中包括遇到的一些问题以及对重要知识点的理解。首先，在编写java代码时，不清楚System.out.println，System.out.print和System.out.printf的区别。printf主要是继承了C语言的printf的一些特性，可以进行格式化输出。print就是一般的标准输出，但是不换行。println和print基本没什么差别，就是最后会换行。总结一下，printf和print的差别是最后会不会换行。但是如果想要格

原创 哈工大计算机系统大作业

原创 【无标题】

首先，接触了git，了解了git的用法并掌握了git的基本操作，例如：git init，git add .，git commit -m“”，git push等命令。github平台为计算机工作者提供了极大便利。然后，学习了黑盒测试、白盒测试以及等价类。白盒测试是对程序内部代码结构的测试，黑盒测试是对程序外部表现行为的测试。一个好的测试，不是要去证明程序是正确的，而是能发现程序的错误，这是设计测试用例时非常重要的一个原则。接着，一个很重要的知识点就是可变数据类型和不变数据类型。我的理解是：当可变数