- 博客(10)
- 收藏
- 关注
RSS订阅原创 期末软件构造1,2章知识点
软件构造1,2章复习：第一章主要考察软件构造的多维视图，结合今年特殊的考试题型，出现考题的概率变低，都考大题你怎么出1,2章内容？都整成英语的填空了。为了应对简单复习一二章的重点知识以备不时之需，中心放到写代码注释的部分。多维视图，具体是怎么个多维法，主要可以看ppt的图时间维度Moment，Period瞬间和周期性代码维度Build-time，Run-time编写代码的部分，和代码运行的部分。Build-time对于Code-level源代码层面来看，代码的组织逻辑，Ast抽象语法树，函数，方
2020-07-10 19:45:32
247
原创 哈工大软件构造自我复习总结Part1
本文结合2019,2018哈工大考试试卷的知识点对于课程中的知识点再次进行总结，方便进行自我复习。Part1分析各个部分的成绩构成，100分试卷折算60分选择题共15-16题每题2分，分值约为32-30分折算后约为19.2-18单题1.2分分析设计大题68-70分基本与实验相关，5-6道题，可以着重进行复习。需要给出需求，ADT的基本代码设计和代码部分需要进行绘图建模，设计，修改部分代码，重写新代码，写注释涉及第三章的AF,RI,Spec,Testing Strategy,Thread Saf
2020-07-09 11:14:23
394
原创 软件构造学习第三章2
3.3Abstract Data Type（抽象数据类型）ADTJava只有两种类型基本数据类型，和对象数据类型，而抽象数据类型则是进行了约束，只能通过给出的方法来进行操作这类，不能直接通过属性如果把所有的属性变成private可以看起来简单的实现。抽象数据型与表示独立性：：如何设计良好的抽象数据结构，通过封装来避免客户端获取数据的内部表示（即“表示泄露”），避免潜在的bug——在client和implementer之间建立“防火墙” ADT的特性：表示泄漏、抽象函数AF、表示不变量RI基于数学的形
2020-05-17 18:18:48
428
原创 软件构造学习笔记第三章1
3.2设计规约1.我们需要理解方法中的前置条件以及后置条件规范，并且可以写出正确的规范2.什么是先决条件，什么是后置条件，他们各自是什么意思3.理解欠定规约，非确定规约4.理解说明性和操作性规约，并且能够写生命性规格5.了解先决条件，后置条件和规约的强度，并且可以进行相互的比较6.能够写出，有用的，适当的规范的规约编程语言中的方法/函数说明：为了互相沟通编程为什么需要有规范等价行为规范结构：前置条件和后置条件测试和验证规范设计规范分类规范图表规范规格的质量总结二、编程
2020-05-16 02:02:39
267
原创 软件构造学习笔记第三章
3.1数据类型与类型检测本节主要包含四部分内容什么是数据类型（基本，对象）用于设计类的方式不可改变类（immutab），与可改变类(mutable)重点Snapshot diagram 用Snapshot图理：解数据类型程序运行时对象以什么形式存在于内存中重点集合类有哪些，简单操作有什么可参考文献MIT 6.031:01、08CMU 17-214：Oct.01JAVA编程思想：第一到六章，第十一章一、数据类型Java中有两种数据类型，基本数据类型，面向对象的数据类型变量：数据类型
2020-05-15 22:51:27
174
原创 java中的正则表达式
我们计算机离不开字符，就连代码都和字符息息相关。那么对于字符的处理也绝对是一项重要的学习内容，具体来说可能有字符之间的替换，增加与删除， 提取配对等。字符千千万，所以需要总结特征进行分类管理才好进行处理，详细说就是开头字符的特征，结尾字符的特征，字符串里的特征，包含某些字符，不能包含某些字符等。正则表达式就是为此而生的。所以主要从一下三个方面进行1.正则表达式的基本语法规则2.java对于正则表达式的支持一、正则表达式的基本语法规范[]：一位[ABC]：这一位可以出现A或B或C，注意只有
2020-05-15 01:52:17
330
原创 软件构造lab2部分问题要点总结
3.1 Poetic Walks完善 Graph 接口类，并运用泛型的思想，将 String 拓展为泛型 L 类；● 实现 Graph 类的方法：add、set、remove、vertices、sources、targets；● 利用实现的 Graph 类，应用图的思想，实现 GraphPoet 类，如果输入的文本的两个单词之间存在桥接词，则插入该桥接词；若存在多个单一桥接词，则选取边权...
2020-04-26 16:50:36
360
原创 软件构造lab1部分问题要点总结
3.1 Magic Squaresn阶幻方的指n×n数字,通常都是不同的整数,n在所有行,所有列,对角线的和相同在main()函数中调用五次isLegalMagicSquare()函数，将5个文本文件名分别作为参数输入进去，看其是否得到正确的输出（true, false）。需要能够处理输入文件的各种特殊情况，例如：文件中的数据不符合Magic Square的定义（行列数不相等、并非矩阵等）、矩阵...
2020-04-26 16:38:53
219
原创 如何在Eclipse中安装EclEmma插件
在Eclipse Marketplace中安装Eclipse菜单中选择Help → Eclipse Marketplace搜索“EclEmma”然后安装就ok了可以看到已经安装完成了已经有了coverage启动器实际上安装新版的eclipse就有这个其他两种方法方法2从更新站点安装EclEmma的更新站点是http://update.eclemma.org/。4. 从e...
2020-04-09 23:37:26
1550
原创 java-jdk下载以及环境配置
之前上过java课，当初安装了12.0.1版本的jdk，但是新的软件开发课需要使用低版本jdk，所以对于之前模模糊糊装过的jdk在过一遍流程。首先简单介绍一下之前有点迷糊的jdk以及jar还有jvm。JVM全称是（Java Virtual Machine）java虚拟机，java的特性是有很强的的跨平台性，这一特性就来源于java虚拟机，我们编写的java程序运行在jvm上，而不同的操作系统有...
2020-03-08 14:05:14
144
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人