[TOC] OO第三单元总结 1 梳理JML语言的理论基础、应用工具链情况 1.1 理论基础 ? JML是用于对Java程序进行规格化设计的一种表示语言。使用JML，能够描述一个方法预期的功能而不管如何实现，先设计类和接口，推迟了过程性的思考。JML以javadoc注释的方式来表示规格，有两种注释方 ...
分类：
其他好文 时间：
2020-05-23 18:39:41
阅读次数：
46
OO_Unit2_Review 一.JML语言的理论基础、应用工具链 1.JML语言的理论基础 Java Modeling Language（JML）是一种规范的注释语言，用于规定类的行为和接口。 JML的优点： 1、其规范性不仅使得注释更加准确。 2、同时凭此我们也可以借助JML的工具链来对某个类 ...
分类：
其他好文 时间：
2020-05-23 18:23:50
阅读次数：
48
第三单元总结 一、JML理论基础、应用工具链 1.1 理论基础 1.1.1 简述 JML是实现数据抽象的一种规格语言，通过前置条件、后置条件、副作用、异常行为等来约束方法的预期功能，在实现方法代码前完成约束和设计。 1.1.2 基本语法 前置条件 表示调用一个方法前所必须满足的要求，该要求需要由方法 ...
分类：
其他好文 时间：
2020-05-23 18:02:53
阅读次数：
53
JML语言的理论基础、应用工具链情况 JML 是用于 Java 的规格描述语言。我们使用 JML 来描述 Java 模块的行为，避免了对设计者意图的歧义。JML 的规格可以写到注释或者单独的文件中，所以带有 JML 规格的文件可以直接使用 Java 编译器来编译，而无需做出修改。 OpenJML 是 ...
分类：
其他好文 时间：
2020-05-22 19:07:48
阅读次数：
53
一、梳理JML语言的理论基础、应用工具链情况 理论基础 定义： JML是用于对Java程序进行规格化设计的一种表示语言 JML基础 关键字解释举例 \result 方法执行后的返回值 \result = p1.getId() == p2.getId(); \old(expr) 相应方法执行前的取值 ...
分类：
其他好文 时间：
2020-05-21 16:20:01
阅读次数：
52
4GB以上超大文件上传和断点续传服务器的实现 随着视频网站和大数据应用的普及，特别是高清视频和4K视频应用的到来，超大文件上传已经成为了日常的基础应用需求。 但是在很多情况下，平台运营方并没有大文件上传和断点续传的开发经验，往往在网上找一些简单的PHP或者Java程序来实现基本的上传功能，然而在实际 ...
分类：
Web程序 时间：
2020-05-20 18:52:19
阅读次数：
70
梳理JML语言的理论基础、应用工具链情况 JML(Java Modeling Language) JML是一种形式化的、面向JAVA的行为接口规格语言（behavioral interface specification language） JML允许在规格中混合使用Java语法成分和JML引入的语 ...
分类：
其他好文 时间：
2020-05-20 12:36:25
阅读次数：
79
1、mysql内置的功能 1.1 连接数据库 mysql常用参数：-u 用户-p 密码-h IP-P 端口-S socket文件-e 免交互执行命令 show collation; 对于英文字符串的,大小写的敏感utf8mb4generalci ... ...
分类：
数据库 时间：
2020-05-20 00:22:19
阅读次数：
100
树状数组简单来看就是一个维护前缀和的数据结构，它相当于线段树去掉了所有的右子树，需要查询时，通过信息拼接来达到查询目的，基础应用为 **(单点更新，区间查询)** **(区间更新，单点查值)** (多了个差分) **(区间修改，区间查询)** (通过数学推导得出我们需要维护两个树状数组) 具体内容参 ...
分类：
编程语言 时间：
2020-05-05 23:35:57
阅读次数：
76
实践内容 一个主动攻击实践，如ms08_067 攻击机：Linux kali 4.19.0 kali1 amd64 ip：192.168.160.150（NAT） 靶机：metasploitable linux 2.0.0 ip：192.168.160.151（NAT） 利用漏洞：UnreallRC ...
分类：
其他好文 时间：
2020-05-03 23:06:06
阅读次数：
135
