一、测试与正确性论证的效果差异 （一）测试 基于前置条件和后置条件对输入划分并产生抽样测试数据，检查方法执行输出是否满足后置条件。 优点：实现相对容易，只需要不断构造测试样例进行测试即可。 缺点：1.覆盖性较差，某些bug可能很难通过测试查出来。 2.利用测试对于多线程程序来说，一些bug无法复现， ...
分类：
其他 时间：
2018-06-23 12:37:43
收藏：
0 评论：
0 赞：
0 阅读：
234
一，编程范式 所谓编程范式（programming paradigm），指的是计算机编程的基本风格或典范模式。怎么说呢，每个人都有自己不同的习惯，当然编程也是一样的，每个程序组员根据自己不同的习惯会写出不同的代码。当然这样肯定是不行的啦，这样的可读性不强，而且太乱了，所以慢慢慢慢的大家就统一编程的风 ...
分类：
其他 时间：
2018-06-23 12:36:54
收藏：
0 评论：
0 赞：
0 阅读：
189
C. Alphabetic Removals time limit per test 2 seconds memory limit per test 256 megabytes input standard input output standard output You are given a s ...
分类：
其他 时间：
2018-06-23 12:36:27
收藏：
0 评论：
0 赞：
0 阅读：
220
使用fix_yahoo_finance这个包，这里提供的pdr_overrider()可以修复不能读取的问题 ...
分类：
其他 时间：
2018-06-23 12:36:05
收藏：
0 评论：
0 赞：
0 阅读：
635
本文主要是介绍Docker容器的相关内容 容器创建 我们已经知道，镜像是只读的，而基于镜像创建出来的容器是可读写的，所以，一般我们实际中，会经常使用对应镜像创建容器并且使用这些容器。同样，如果我们想要使用容器，那么我们必须首先需要创建容器。而且要知道一个镜像可以同时创建多个容器 [root@206 ...
分类：
其他 时间：
2018-06-23 12:35:40
收藏：
0 评论：
0 赞：
0 阅读：
236
python中没有其他语言中的三元表达式，不过有类似的实现方法 如: 上面的代码就是python中实现三目运算的一个小demo, 如果a>b, k等于3,否则k等于4 理论上使用if elif else 也可以实现,但是使用三目运算可以大大简化代码,提高开发效率 ...
分类：
编程语言 时间：
2018-06-23 12:35:20
收藏：
0 评论：
0 赞：
0 阅读：
225
理解Thyme leaf Java模板引擎。能够处理HTML，XML，Javascript，CSS甚至纯文本。类似JSP，Freemaker 自然模板。原型即页面 语法优雅易懂。OGNL，SpringEL 遵循web标准。支持HTML5 Thymeleaf标准方言 如何识别标准方言 <span th ...
分类：
其他 时间：
2018-06-23 12:35:03
收藏：
0 评论：
0 赞：
0 阅读：
213
一.要点 1.选取图片 wx.chooseImage({ sizeType: [], // original 原图，compressed 压缩图，默认二者都有 sourceType: [], // album 从相册选图，camera 使用相机，默认二者都有 success: function (r ...
分类：
微信 时间：
2018-06-23 12:34:41
收藏：
0 评论：
0 赞：
0 阅读：
282
docker公共仓库 https://hub.docker.com/ 国内docker仓库 阿里 开发者平台 镜像中心 - 网易蜂巢 https://hub.tenxcloud.com/ docker仓库 docker仓库是存放镜像的地方，分为共有仓库和私有仓库。 搭建docker本地私有仓库 使用 ...
分类：
其他 时间：
2018-06-23 12:34:22
收藏：
0 评论：
0 赞：
0 阅读：
227
开发工具：STS 代码下载链接：https://github.com/theIndoorTrain/Springboot/tree/083bb312526653d27ca56abf4f586e097cc4a980 前言： 在web项目中，前端传入的时间通常为字符串格式，比如‘1999-01-02’、 ...
分类：
编程语言 时间：
2018-06-23 12:33:46
收藏：
0 评论：
0 赞：
0 阅读：
244
抽象类和普通类有区别嘛？在继承的时候，还是只能继承一次父类嘛? 答案： 抽象类除了在抽象方法和属性上面不能实现具体的代码之外和普通类没有区别。依旧符合类的基本特征。所以在继承的时候抽象类也是属于基类，也就是只能继承一个基类。 下面的代码介绍了抽象类的基本特征：引用类型。 ...
分类：
Windows开发 时间：
2018-06-23 12:33:29
收藏：
0 评论：
0 赞：
0 阅读：
206
servives.msc 打开电脑服务运行，可以查看MySQL的启动情况。 net stop MySQL 停止MySQL运行net start MySQL 启动MySQL 注意：有的时候需要管理员的身份，不然没有效果。 有两种方法：1 连接数据库：mysql -u+用户名 -p+用户密码 -hloc ...
分类：
数据库技术 时间：
2018-06-23 12:33:12
收藏：
0 评论：
0 赞：
0 阅读：
271
分布式容错性：分布式网络极其鲁棒，能够容忍部分节点的异常状态； 不可篡改性：一致提交后的数据会一直存在，不可被销毁或修改； 隐私保护性：密码学保证了数据隐私，即便数据泄露，也无法解析。 随之带来的业务特性将可能包括： 可信任性：区块链技术可以提供天然可信的分布式账本平台，不需要额外第三方中介机构参与 ...
分类：
Web开发 时间：
2018-06-23 12:32:51
收藏：
0 评论：
0 赞：
0 阅读：
236
在线播放地址 ...
分类：
其他 时间：
2018-06-23 12:32:30
收藏：
0 评论：
0 赞：
0 阅读：
184
RNIF BAM Tracking Error?解决办法：?503: Service Unavailable??解决办法：IIS 应用程序池运行账户用户名或密码错误，用户名不能是domain\username格式，直接使用usernamepublic initiator terminated on ... ...
分类：
Web开发 时间：
2018-06-23 12:31:52
收藏：
0 评论：
0 赞：
0 阅读：
322
/** * get combinations ( C(superscript, subscript) ) * @param totalCount normal data node group count except primary data node group * @param selectCo ...
分类：
编程语言 时间：
2018-06-23 12:31:31
收藏：
0 评论：
0 赞：
0 阅读：
248
https://blog.csdn.net/wpz0713/article/details/51499654 原因分析： 可能在PLSQL Developer执行update时没有commit，oracle将该条记录锁住了。 解决方案： ...
分类：
其他 时间：
2018-06-23 12:31:05
收藏：
0 评论：
0 赞：
0 阅读：
312
1. bash针对kubectl命令的自动补充这可能是在使用Kubernetes过程中最容易做的事，但它也是其中一个最有用的。要添加自动补充功能，如果使用bash，只需执行以下命令： 它将添加自动补全命令到你的.bashrc文件。因此每个你打开的shell窗口都支持该功能。我发现自动补全对一些长的参 ...
分类：
Web开发 时间：
2018-06-23 12:30:46
收藏：
0 评论：
0 赞：
0 阅读：
226
1、打开vimrc文件 sudo vi /usr/share/vim/vimrc 2、添加 set filetype=python au BufNewFile,BufRead *.py,*.pyw setf python set autoindent " same level indent set ... ...
分类：
编程语言 时间：
2018-06-23 12:30:29
收藏：
0 评论：
0 赞：
0 阅读：
260
# 说明下面我们有时候运行代码的时候会出现几个进度条，我在pycharm上当我把sleep设置太小的时候会出现这种情况，把sleep设置大点就好了 # 要想设置小点也不会出现问题，那么可以在Windows下的dos命令行下运行，也可以使用别的编译器或者换成Linux系统。也有可能你的pycharm不... ...
分类：
编程语言 时间：
2018-06-23 12:30:14
收藏：
0 评论：
0 赞：
0 阅读：
163
