一.测试与正确性论证的效果差异1.测试优点:测试寻找bug的方式比较简单, 可以很快速的验证程序的基本功能, 调试非常方便.缺点:测试很难达到对程序的全面覆盖, 构造一些复杂的测试样例可能难度较大.测试无法证明程序是完全正确的.2.正确性论证优点:正确性论证可以证明程序是正确的.缺点:论证步骤复杂, ...
分类：
其他好文 时间：
2018-06-25 20:33:23
阅读次数：
176
MySQL是一个真正的多线程、多用户的SQL数据库服务，凭借其高性能、高可靠和易于使用的性能，成为服务器领域中最受欢迎的开源数据库系统。为了确保数据库的功能的完性、可定制性，本篇文章将采用源代码编译的方式安装mysql数据库系统实验环境系统：CentOS-7-x86_64(ip:192.168.75.103)使用软件：boost_1_59_0、mysql-5.7.17安装实验环境yum-yinst
分类：
数据库 时间：
2018-06-25 20:33:13
阅读次数：
225
今日内容： 1.hash模块2.xml模块3.configparser模块4.sheve 模块5.shutil模块 知识点一：hash什么是hash： hash是一种算法，该算法接受传入的的内容，经过运算得到一串hash如果把hash算法比喻一座工厂 那传给hash算法的内容就是原材料，生产的has ...
分类：
编程语言 时间：
2018-06-25 20:33:02
阅读次数：
203
实时监控-网络监控: netstat -> netstat 命令用于显示本机网络链接，运行端口、路由表等信息 netstat 参数说明： -n: 拒绝显示别名,能显示数字的全部转化成数字 -l: 仅列出有在Listen(监听)的服务状态 -p：显示建立相关链接的程序名 -t：显示tcp相关的选项 - ...
分类：
系统相关 时间：
2018-06-25 20:32:54
阅读次数：
214
本例中版本号为7.0CentOS-7.0-1406-x86_64-DVD.iso 标准安装版，一般下载这个就可以了CentOS-7.0-1406-x86_64-NetInstall.iso 网络安装镜像CentOS-7.0-1406-x86_64-Everything.iso 对完整版安装盘的软件进... ...
分类：
其他好文 时间：
2018-06-25 20:32:34
阅读次数：
456
1、demo.html <!DOCTYPE html> <html> <head> <meta charset="utf-8"> <title>微信JS-SDK Demo</title> <meta name="viewport" content="width=device-width, initi ...
分类：
微信 时间：
2018-06-25 20:32:24
阅读次数：
2768
Django ORM那些相关操作 Django中ORM介绍和字段及字段参数 Cookie、Session和自定义分页 ...
分类：
其他好文 时间：
2018-06-25 20:32:14
阅读次数：
113
Android studio 3.1.2的Android monitor改为Android profiler,直接点这个就可以真机调试，在手机安装相应文件 ...
分类：
移动开发 时间：
2018-06-25 20:32:08
阅读次数：
305
说明：withColumn用于在原有DF新增一列 1. 初始化sqlContext val sqlContext = new org.apache.spark.sql.SQLContext(sc) 2.导入sqlContext隐式转换 import sqlContext.implicits._ 3. ...
分类：
其他好文 时间：
2018-06-25 20:32:01
阅读次数：
6643
项目中需要同时用到WCF的SOAP接口和RESTFul Service，查了下资料发现WCF可以支持发布两种服务接口，整理资料如下 1、首先建立服务接口 备注：如果宿主不是网站，则接口上增加属性WebInvoke的时候启动会报错 WebInvoke：声明支持RESTFul ，接口名称为GetScho ...
分类：
Web程序 时间：
2018-06-25 20:31:18
阅读次数：
529
将代码封装成函数的形式，可以减少代码的耦合（编程追求的是高内聚，弱耦合） 函数声明： function sayhello(){ console.log('hello world') } 函数表达式：（一般指的匿名函数表达式） 命名函数表达式： var say = function sayhello( ...
分类：
Web程序 时间：
2018-06-25 20:31:02
阅读次数：
168
def 创建函数的关键字 def test (): ##创建一个名字叫test的函数 print('Tom') ##此时并没有输出，因为函数内部代码不执行，当你调用函数的时候才执行 text()##此时调用函数，执行函数 返回值 def email(): print('我要发邮件') return ...
分类：
其他好文 时间：
2018-06-25 20:30:53
阅读次数：
142
面向对象和面向过程比较 面向过程： 核心是过程，过程指的是解决问题的步骤，即先干什么再干什么然后干什么 基于该思想写程序好比在设计一条流水线，是一种机械式的思维方式。 优点：复杂的问题流程化，进而简单化 缺点：扩展性差 面向对象： 核心是对象：对象是特征与节能的结合体。 基于该思想编写程序就好比是在 ...
分类：
其他好文 时间：
2018-06-25 20:30:46
阅读次数：
184
mii-tool与ethtool的用法详解 1、mii-tool 配置网络设备协商方式的工具； 感谢原文作者！原文地址：http://blog.chinaunix.net/uid-20639775-id-154546.html 1.1 mii-tool 介绍； mii-tool - view, ma ...
分类：
其他好文 时间：
2018-06-25 20:30:17
阅读次数：
197
大家好，这里是「 从零开始学 Web 系列教程 」，并在下列地址同步更新...... + github：https://github.com/Daotin/Web 微信公众号： "Web前端之巅" 博客园：http://www.cnblogs.com/lvonve/ CSDN：https://blo ...
分类：
Web程序 时间：
2018-06-25 20:30:08
阅读次数：
235
