梳理JML语言的理论基础、应用工具链情况 JML是一种行为接口规范语言，可以用于指定Java模块的行为。JML可以让我们对某个JAVA的行为进行规范，而不用真正地陷入到实现的细节中去。 JML的许多构造配合SMT Slover可以对代码进行形式化验证。 通过部署JMLUnitNG/JMLUnit可以 ...
分类：
其他好文 时间：
2019-05-22 20:56:09
阅读次数：
88
OO第三单元——JML与规格化设计 2019-05-22 JML语言及应用工具链 JML理论基础 JML（Java Modeling Language）是一种行为接口规格语言，用于对Java程序进行规格化设计。通过JML及其支持工具，不仅可以基于规格自动构造测试用例，并整合了SMT Solver等工 ...
分类：
其他好文 时间：
2019-05-22 19:18:42
阅读次数：
94
#!/usr/bin/envpython#coding:utf-8importsmtplib,time,stringfromemail.mime.textimportMIMETextfromemail.MIMEMultipartimportMIMEMultipartdefsend_mail(subject,message):SMTPserver=‘qq的smtpserver‘sen
分类：
编程语言 时间：
2019-04-30 10:36:49
阅读次数：
417
Python中有内置的smtplib模块，完成一封邮件的发送，需要做很多准备工作。第三方的py_smtp这个包也是基于smtplib的，在Python中使用py_smtp发送电子邮件非常方便，只要填写发送邮件的相关信息即可。 一、安装模块 pip install py-smtp 二、发送邮件 三、注 ...
分类：
编程语言 时间：
2019-04-27 19:37:46
阅读次数：
186
企业云邮箱各个服务器地址及端口信息如下： 收件服务器地址： POP 服务器地址：pop3.mxhichina.com 端口110，SSL 加密端口995 或 IMAP 服务器地址：imap.mxhichina.com 端口143，SSL 加密端口993 发件服务器地址： SMTP 服务器地址：smt ...
分类：
其他好文 时间：
2019-04-12 12:09:29
阅读次数：
412
```
#coding:utf8
from smtplib import SMTP_SSL
from email.header import Header
from email.mime.text import MIMEText mail_info = { "from": "", "to": "",... ...
分类：
编程语言 时间：
2019-04-08 13:58:11
阅读次数：
192
# 常用命令 docker run 镜像 docker images 查看所有镜像 docke ps 查看运行中的容器 docker ps -a 列出所有容器 docker stop $(docker ps -a -q) 停止所有容器 docker rm $(docker ps -a -q) 删除所 ...
分类：
其他好文 时间：
2019-04-06 18:56:33
阅读次数：
149
一、连接MySQL数据库 二、数据库操作 显示数据库 mysql - 用户权限相关数据 test - 用于用户测试数据 information_schema - MySQL本身架构相关数据 创建数据库 删除数据库 使用数据库 显示当前数据库下所有的表 用户管理 授权管理 1 all privileg ...
分类：
数据库 时间：
2019-03-03 22:29:06
阅读次数：
230
今晚先上代码，明天再说怎么写的，请勿用于非法用途！！！！！ ...
分类：
编程语言 时间：
2019-02-28 00:51:40
阅读次数：
191
