一、 论述测试与正确性论证的效果差异,比较其优缺点 测试是面对程序,构造样例进行验证,让程序运行,观察程序的运行结果和预期结果比较,来判断在这种情况下程序的正确性。有点像形式验证。 优点:相对容易,比较直观 缺点:不能保证绝对正确 正确性是根据规格推断程序的逻辑,检测是否完成任务。类似于逻辑验证。是 ...
分类:
其他好文 时间:
2018-06-25 12:59:06
阅读次数:
123
Apollo2.5aimsforLevel-2autonomousdrivingwithlowcostsensors.感知模块整体图
分类:
其他好文 时间:
2018-06-25 12:58:58
阅读次数:
227
1-1 DOM查找document.getElementById()功能:返回拥有这个id的第一个对象的引用返回:dom对象如果页面中id不存在 会返回null 如果有重复的id返回第一个document.getElementsByTagName("tag")功能:返回一个对所有标签引用的集合返回: ...
分类:
Web程序 时间:
2018-06-25 12:58:49
阅读次数:
171
为zabbix增加支持传参的自定义监控项 例如使用zabbix来监控tcp的12种状态 tcp的12种状态可以通过man netstat来找到,即 LISTEN:等待从任何远端TCP 和端口的连接请求。 SYN_SENT:发送完一个连接请求后等待一个匹配的连接请求。 SYN_RECEIVED:发送连... ...
分类:
其他好文 时间:
2018-06-25 12:58:40
阅读次数:
126
这是一篇安装记录的博客。 是在centos7的环境下安装python3,pip3,mysql,salt-ssh 的步骤。 1 安装mysql 在CentOS中默认安装有MariaDB,这个是MySQL的分支,但为了需要,还是要在系统中安装MySQL,而且安装完成之后可以直接覆盖掉MariaDB。 a ...
分类:
数据库 时间:
2018-06-25 12:58:33
阅读次数:
310
苟且让我从我非擅长的“公理化”开始进行分拆,抛弃一切具体含义,从公理化的道路去看看,去尝试尝试
分类:
其他好文 时间:
2018-06-25 12:58:23
阅读次数:
160
1、使用 cnpm 或 npm 安装 Echarts 或者 npm方式 2、在项目文件的入口js文件main.js中添加 3、在需要添加图表的组件中创建依赖的实例 使用这种方式得到的是已经加载了所有图表和组件的 ECharts 包,因此体积会比较大。也可以只按需引入需要的模块。例如 4、在模板中创建 ...
分类:
其他好文 时间:
2018-06-25 12:58:15
阅读次数:
1211
xu言: 最近研究python,觉得做些windows小工具还挺好玩,就研究了下py代码如何转成exe 这里用到一个工具 pywin32 https://sourceforge.net/projects/pywin32/files/pywin32/Build%20221/ 根据自己情况选择你wind ...
第一步去掉相关依赖<exclusions><exclusion><artifactId>jcl-over-slf4j</artifactId><groupId>org.slf4j</groupId></exclusion></exclusions>第二步commons-logging.propertie
分类:
Web程序 时间:
2018-06-25 12:57:54
阅读次数:
372
exportfs命令exportfs命令用来管理当前NFS共享的文件系统列表-a全部挂载或者全部卸载-r重新挂载-u卸载某一个目录-v显示共享目录-f在“新”模式下,刷新内核共享表之外的任何东西。任何活动的客户程序将在它们的下次请求中得到mountd添加的新的共享条目。-v输出详细信息。当共享或者取消共享时,显示在做什么。显示当前共享列表的时候,同时显示共享的选项。可以使用:exportfs-ar
分类:
Web程序 时间:
2018-06-25 12:57:45
阅读次数:
220
以母犬成年体重22斤,公犬成年体重24斤左右为前提,幼犬每月体重概况如下(1月龄即为30天,两月龄即为60天...):(3月龄以后的幼犬如果是家庭测量,会有很大出入,同一窝幼犬在不同家庭,体重变化甚至高达4斤左右,3个月到6个月幼犬生长较快,每月可长三四斤。所以这个标准是在合理的饲养条件下测量所得。 ...
分类:
其他好文 时间:
2018-06-25 12:57:36
阅读次数:
982
目录1. 前言2. 配置Ceph radosgw用户3. 部署HA的MariaDB集群4. 部署HA的Redis集群5. 部署Harbor集群参考资料 1. 前言 Harbor 1.4.0版本开始提供了HA部署方式,和非HA的主要区别就是把有状态的服务分离出来,使用外部集群,而不是运行在本地的容器上 ...
分类:
其他好文 时间:
2018-06-25 12:57:29
阅读次数:
1491
环环相扣的面试 提起vue面试环节,你不得不提vue的生态,它的全家桶,像什么vue-router、vuex、vue ssr等。但是看一个前端er对vue的研究深度,不能仅仅停留在表面,更要深入它的原理背后,探究它的源码。 比较唬人的开场白,你不妨先照着这个结构图大概说一下,以便向面试官展示你对vu ...
分类:
其他好文 时间:
2018-06-25 12:57:21
阅读次数:
179
下面的值作为布尔表达式的时候,会被看做是假: False None 0 "" () [] {} 即标准值False和None、所有类型的数字0(包括浮点型、长整型和其它类型)、空序列(空字符串、空元组、空列表)、以及空字典都为假。其他的一切都被解释为真,包括特殊值True。 ...
分类:
编程语言 时间:
2018-06-25 12:57:13
阅读次数:
132
pymongo需要将一条记录从一个Mongo同步到另一个mongo中去,其中doc中有时间字段,为ISODate格式,python无法识别该格式,需要做下处理,为了简单这里仅写一个测试脚本,用来将ISODate格式的数据插入mongo中。脚本如下:#!/usr/bin/pythonimportpymongofromdateutilimportparserdateStr=‘2018-06-1
分类:
其他好文 时间:
2018-06-25 12:57:05
阅读次数:
961
这个Boot-crm管理系统我花了大概两周写完,因为是刚学完SSM框架,所以立马开始了这个项目,项目初期,运行书本上给的前端代码都报了许多错误,导致这个原因是因为书本给的 设计说明文档 没有看清楚。然后crm项目的第一个功能-管理员登录,写这个功能的我也是手忙脚乱的,首先是因为我在SSM框架的架构思 ...
分类:
其他好文 时间:
2018-06-25 12:56:54
阅读次数:
252