OO第三单元总结 这是oo课的第三个单元，也就是关于JML的学习。在这一个单元中，我感到和前几个单元有着很大的不同。因为在前几个单元中，我们要实现的功能必须通过阅读指导书，理解自然语言的含义才能理解，这样一来容易出现理解偏差，二来也很容易漏掉关键信息。但是，在这一单元中，我们只需要阅读相应的JML规 ...
分类：
其他好文 时间：
2020-05-23 13:19:23
阅读次数：
35
一、JML语言的理论与应用工具链 JML语言是对一个方法、类、程序的外部可感知行为进行抽象表示的规格化语言，它具有两个重要的特征。第一点：JML语言是抽象的。它就如同一个方法、类、程序的说明书，它告诉你这个用这方法需要什么条件，使用了这个方法之后满足什么效果。但这样的效果任何实现，JML语言不进行描 ...
分类：
其他好文 时间：
2020-05-23 13:18:26
阅读次数：
49
一、获取资源 1.打开需要模仿的页面：http://mail.swpu.edu.cn/ 2.按F12，查看网页的源码： 二、编写代码 三、效果展示 登陆成功则跳转成功 8.码云地址：https://gitee.com/LDS19980227/codes 9.总结： 在做这个之前，我没有一点相关的基础 ...
分类：
其他好文 时间：
2020-05-23 11:22:03
阅读次数：
66
一、JML介绍 JML(Java Modelling Language)是一种用于描述Java程序方法的行为的语言。JML规格对方法的执行效果、执行条件和副作用等作出了明确的规定。 JML的相关工具链包括OpenJML、JMLUnit等，OpenJML可以对JML的正确性进行静态检验，以及对方法的正 ...
分类：
其他好文 时间：
2020-05-23 09:40:28
阅读次数：
65
面向对象第三单元总结 本单元主要训练JML语言和利用JUnit进行单元测试，重点在于理解透彻JML所描述的类和方法的规格，实现后利用JUnit对重点方法进行测试。Java建模语言（Java Modeling Language，JML）是一种进行详细设计的符号语言，利用它可以形式化地描述类和方法地规格 ...
分类：
其他好文 时间：
2020-05-23 00:25:21
阅读次数：
75
OO第三单元——基于JML的社交网络总结 一、JML知识梳理 1）JML的语言基础以及基本语法 JML是用于java程序进行规格化设计的一种表示语言，是一种行为接口规格语言。其为严格的程序设计提供了一套行之有效的方法。通过JML以及其支持工具，不仅可以基于规格自动构造测试用例，并整合了SMT Sol ...
分类：
其他好文 时间：
2020-05-22 13:03:22
阅读次数：
46
Hive产生背景： mapreduce编程的不便性 HDFS上的文件缺少Schema Hive Facebook开源的，最初用于海量结构化的日志数据统计问题 构建在hadoop之上的数据仓库 hive定义了一种类SQL查询语言：HQL（类似SQL但不完全相同） 通常用于离线数据处理（采用mapred ...
分类：
其他好文 时间：
2020-05-18 16:01:16
阅读次数：
183
定时任务 1.选择 1. Linux下Crontab文件，每个域之间用空格分割，其排列如下正确的是：(B) A.MIN HOUR DAY MONTH YEAR COMMAND B.MIN HOUR DAY MONTH DAYOFWEEK COMMAND C.COMMAND HOUR DAY MONT ...
分类：
系统相关 时间：
2020-05-17 23:09:24
阅读次数：
145
视频1：复习环境 视频2：变量及定义 （结合 01数值类型和序列类型.ppt）xshell中练习： 查看关键字>>> import keyword>>> keyword.kwlist['False', 'None', 'True', 'and', 'as', 'assert', 'break', ' ...
分类：
其他好文 时间：
2020-05-16 10:56:11
阅读次数：
88
GRD云渲染主要用于什么领域?GRD属于边缘计算的公链原理是将世界上多余的显卡GPU算力汇总，为需求着提供渲染计算服务，供与求都在公链上完成消费和奖励。是一个基于区块链分布式计算的技术，致力于将全球PC端的闲余计算能力分配给需要大规模画面渲染的企业客户。那么GRD云渲染主要用于什么领域?渲染农场提供全方位计算、存储、网络和安全服务，海量计算资源随用随取，无需人力维护，极具成本优势。影视特效海量资源
分类：
其他好文 时间：
2020-05-14 17:18:04
阅读次数：
92
