JML单元总结 本单元的重点在于理解规格描述，并在其基础上采用最优的解法尽可能地提高程序的效率，因此本文将从以下四个方面进行总结。 设计策略（思路分析）—— 问题1 容器选择以及性能问题（具体实现）—— 问题3&4 优化结果 —— 问题5 基于JML规格来设计测试的方法和策略 —— 问题2 设计策略 ...
分类：
其他好文 时间：
2021-06-02 16:08:33
阅读次数：
0
Ajax：异步更新页面的技术，必须在http或者https网络网络协议下使用 1.原生js实现：共4步 2.jQuery：$.ajax(配置对象); 常用参数：url, type, data, success, error 3.fetch：fetch(配置).then(处理数据函数).then(接收 ...
分类：
Web程序 时间：
2021-06-02 15:26:14
阅读次数：
0
不积跬步，无以至千里；不积小流，无以成江海。 FastJSON 将 Java 对象转换为 JSON 格式，也可以将 JSON 字符串转换为 Java 对象。 依赖: <dependency> <groupId>com.alibaba</groupId> <artifactId>fastjson</a ...
分类：
编程语言 时间：
2021-06-02 15:24:12
阅读次数：
0
docker-centos7运行systemctl status jenkins， 出现/etc/rc.d/init.d/jenkins: line 59: /etc/init.d/functions: No such file or directory错误， yum安装即可 yum install ...
分类：
其他好文 时间：
2021-06-02 15:14:11
阅读次数：
0
安卓11有权限要求，以下方法管用 //跳转到相机 private void showCamera() { File fileDir = new File(Environment.getExternalStorageDirectory(),"Pictures"); if (!fileDir.exist ...
分类：
移动开发 时间：
2021-06-02 14:56:05
阅读次数：
0
#include <sys/socket.h> #include <sys/wait.h> #include <netinet/in.h> #include <netinet/tcp.h> #include <sys/epoll.h> #include <sys/sendfile.h> #inclu ...
分类：
编程语言 时间：
2021-06-02 14:40:56
阅读次数：
0
Linux系统可以通过top命令查看系统的CPU、内存、运行时间、交换分区、执行的线程等信息。通过top命令可以有效的发现系统的缺陷出在哪里。是内存不够、CPU处理能力不够、IO读写过高。 回到顶部 一、top选项 使用语法：top -hv | -abcHimMsS -d delay -n iter ...
分类：
系统相关 时间：
2021-06-02 14:25:14
阅读次数：
0
利用django.utils.dateparse 将各种类型字符串处理为datetime from django.utils import dateparse date_time=dateparse.parse_datetime("2021-05-28T00:00:00") 利用django.uti ...
分类：
其他好文 时间：
2021-06-02 14:14:01
阅读次数：
0
css modules与antd一起使用时，antd样式不生效解决方案 最近在做历史项目的依赖升级，历史依赖版本： "react": "^15.5.4", "react-dom": "^15.5.4", "antd": "^2.10.1", "autoprefixer": "6.7.2", "bab ...
分类：
Web程序 时间：
2021-06-02 13:26:27
阅读次数：
0
dui界面基于 https://github.com/dingyuanhong/dui_ffplay/ extern "C" { #include "common.h" //ff相关 } #include <Windows.h> #include "../DuiLib/UIlib.h" using ...
