一、requests模块 1、get请求 断言 2、post请求 3、代理请求 4、模拟登录请求 使用session登录 使用cookie登录 使用cookie登录2 5、requests获取HTML 6、requests获取图片 7、cookie转换字典 8、URL编解码 9、忽略HTTPS证书和 ...
分类：
编程语言 时间：
2020-05-24 00:36:58
阅读次数：
61
当传参数的时候 ，为了方便 ，参数的类型定义成了interface{} , 如果要给这个原类型的属性赋值 ， 就需要强转回去 例如下面的代码： func RenderList(w http.ResponseWriter, render interface{}) { header := tools.F ...
分类：
其他好文 时间：
2020-05-23 18:15:53
阅读次数：
102
oo第三单元总结 1.JML语言的基础理论、应用工具链情况 JML是Java模块的行为接口规范语言。JML提供了语义来正式描述Java模块的行为，从而避免了有关模块设计者意图的歧义。JML的目标是提供严格的形式语义，同时仍然可供任何Java程序员访问。可以利用JML的行为规范的各种工具。因为规范可以 ...
分类：
其他好文 时间：
2020-05-23 16:33:20
阅读次数：
46
OO第三单元总结 1. JML基础梳理及工具链 1.1 注释结构 JML以javadoc注释的方式来表示规格， 每行都以@起头 行注释 的表示方式为 ； 块注释 的表示方式为 1.2 JML表达式 ? JML相对于Java新增的表达式成分仅用于JML中的断言(assertion)语句和其他相关的注释 ...
分类：
其他好文 时间：
2020-05-23 16:10:54
阅读次数：
38
常言道：“学历代表过去，能力代表现在，学习力代表将来”。当我们还年轻时，要看长远一点，为将来做打算。 骄傲使人退步,谦虚使人进步！持续学习，才会使人不断进步。 曾经，有一个小伙断言：5年之内阿里巴巴将打败慧聪网。说完后观众及当时的各位大佬都在嘲笑这位看起来有些营业不良的小伙子，慧聪网CEO郭凡生也是 ...
分类：
其他好文 时间：
2020-05-23 14:41:42
阅读次数：
98
JML 规格设计 JML语法 1. 一些语法的细节： jml断言中，不能使用++， ，+=等操作符 \old(expr) 仅表示一个java对象expr的引用是否在操作前后变化，而不能查看成员变量是否改变 \not_assigned(x, y) 表达式，用来表示变量是否被赋值，而\not_modif ...
分类：
其他好文 时间：
2020-05-23 13:28:33
阅读次数：
54
assert 1 > 2,'1不大于2' 抛出异常：AssertionError: 1不大于2 if not 1 > 2: raise Exception('1不大于2') 抛出异常：Exception: 1不大于2 ...
分类：
编程语言 时间：
2020-05-23 13:28:17
阅读次数：
70
java基础语法 注释 单行注释 // 多行注释 /* content */ 文档注释 /** this is javadoc comment */ 标识符 关键字 Abstract assert boolean break byte case..... 不可作为变量名或方法名 数据类型 强类型语言 ...
分类：
编程语言 时间：
2020-05-23 09:52:17
阅读次数：
52
前面有说过在测试过程中可以截图，截图后，我们可以通过对比截图的相似度，来进行断言 本文介绍两个可以对比截图相似度的方法 方法一： from PIL import Image import math import operator from functools import reduce def im ...
分类：
其他好文 时间：
2020-05-22 21:38:40
阅读次数：
110
```python import keyword print(keyword.kwlist) # 运行结果 ['False', 'None', 'True', 'and', 'as', 'assert', 'async', 'await', 'break', 'class', 'continue',... ...
分类：
编程语言 时间：
2020-05-21 19:18:40
阅读次数：
57
