本章主要介绍了形式化方法的基本概念包括形式规约（即软件规格说明，是软件系对象作用的方法，自己对象行为的描述）形式证明与验证（技术包括：检测，定理定理证明），程序求精，逻辑时态的一阶线性时态逻辑、计算树逻辑。模型检测临就是在Kripk模型下，对以CTL*公式给出的软件性质得正确性验证、计算树逻辑。模型...
分类：
其他好文 时间：
2015-03-02 12:39:24
阅读次数：
109
浏览器是我们前端开发者工作的平台，是我们最长用的软件，是我们必须要了解的知识面，做个学习记录。现在人都离不开网络，在网上我们能干很多事情，用途最多的就是浏览器，它是一扇窗户，打开这扇窗户可以看到大千世界的变化，是人类获取信息重要的软件工具之一。对于单纯的使用者只知道怎么使用浏览器去上网冲浪，而对于前...
分类：
其他好文 时间：
2015-03-02 12:38:56
阅读次数：
167
首先认识关于计算机的位于字符1.计算机只能识别二进制.2.1个字节代表8个二进制位 1Byte(字节) =8bits(二进制位).通常情况下认为字解释计算机最小的单位,3.一个16进制为等价于4个二进制 10进制转换n进制采用练出到取余4.类变量通常有三部分组成 变量名命名规范: ...
分类：
编程语言 时间：
2015-03-02 12:40:42
阅读次数：
166
strcpy,strlen, strcat, strcmp函数,strlen函数和sizeof的区别
分类：
其他好文 时间：
2015-03-02 12:39:52
阅读次数：
184
U盘安装window系统：1. 制作系统启动U盘，推荐使用老毛桃。2. 电脑上插入U盘，启动系统，选择U盘启动。3. 进入老毛桃选择界面，选择生成PE系统。推荐win8，之前在一个戴尔电脑上使用win7 PE失败。4. 进入PE系统，查看硬盘信息是否正常。如果没有指定硬盘信息，可能需要进行分区激活。...
首先必须以管理员身份运行cmd.exe，即在cmd.exe右键选择以管理员身份运行。目前共有两个存在网络盘的文件需要注册，一个dll,一个ocx。开始时将两个文件都拷贝到c:\windows\system32\目录注册，但只有dll文件注册成功，regsvr32那个ocx文件时出现以下错误模块“%1...
在微信朋友圈发照片太矫情，小视频又耗流量，只发文字又太单调，何不发段语音来呼朋唤友呢？你是说朋友圈发语音？这是真的吗？sure，开发者已经利用微信JS-SDK接口实现了，扫描下方的二维码 然后开始录音并保存，最后点击分享按钮就可以把自己的这段录音分享到朋友圈中了。 当你把自己的这段录音分享到...
分类：
微信 时间：
2015-03-02 12:37:31
阅读次数：
240
1. 概念单点登录（Single Sign On , 简称 SSO ）是目前比较流行的服务于企业业务整合的解决方案之一， SSO 使得在多个应用系统中，用户只需要登录一次就可以访问所有相互信任的应用系统。CAS(Central Authentication Service)是一款不错的针对 Web ...
分类：
其他好文 时间：
2015-03-02 12:39:49
阅读次数：
140
Tomcat内存溢出的原因 在生产环境中tomcat内存设置不好很容易出现内存溢出。造成内存溢出是不一样的，当然处理方式也不一样。 这里根据平时遇到的情况和相关资料进行一个总结。常见的一般会有下面三种情况： 1.OutOfMemoryError： Java heap space 2.OutO...
分类：
其他好文 时间：
2015-03-02 12:39:28
阅读次数：
182
第一个就是很多人用.Net写程序，会谈到托管这个概念。那么.Net所指的资源托管到底是什么意思，是相对于所有资源，还是只限于某一方面资源？很多人对此不是很了解，其实.Net所指的托管只是针对内存这一个方面，并不是对于所有的资源；因此对于Stream，数据库的连接，GDI+的相关对象，还有Com对象等...
学习java语言list遍历的三种方法，顺便测试各种遍历方法的性能，测试方法为在ArrayList中插入1千万条记录，然后遍历ArrayList，发现了一个奇怪的现象，测试代码如下：package com.hisense.tiger.list;import java.util.ArrayList;i...
分类：
其他好文 时间：
2015-03-02 12:39:34
阅读次数：
148
-Xdebug -Xnoagent -Xrunjdwp:transport=dt_socket,server=y,suspend=y,address=7779配置好后，在myeclipse中配置好后就可以远程debug了，但是服务器编译时可能没有行号、和变量信息（）需要修改javac的参数。使用an...
分类：
Web程序 时间：
2015-03-02 12:39:07
阅读次数：
1434
原文网址：http://blog.csdn.net/smfwuxiao/article/details/85307421、Android.mk文件概述Android.mk文件用来告诉NDK编译系统，应该如何编译这些源码。更确切地说，该文件其实就是一个小型的Makefile。该文件会被NDK的编译工具...
分类：
移动开发 时间：
2015-03-02 12:38:13
阅读次数：
261
.full{ height:100%; position:fixed;}使用position的fixed特性固定位置
分类：
其他好文 时间：
2015-03-02 12:37:06
阅读次数：
116
做测试方面的工作也有一段时间，开始感到有些迷茫，不知该朝哪个方向发展下去。过完年来上班时停下来几天，搜索了一些测试同行工作几年后的一些感悟，其中有一篇名叫《进入软件测试行业的六年感悟》帮我梳理了一下思路。测试人员的能力等于测试的广度*测试的深度。测试的广度指需求分析、测试流程、测试管理、开发流程、开...
分类：
其他好文 时间：
2015-03-02 12:38:52
阅读次数：
163
1 题目Rotate an array ofnelements to the right byksteps.For example, withn= 7 andk= 3, the array[1,2,3,4,5,6,7]is rotated to[5,6,7,1,2,3,4].Note:Try to ...
分类：
其他好文 时间：
2015-03-02 12:37:24
阅读次数：
126
MSSQL:DECLARE @_pagecount INT;SET @_pagecount = 18/10;SELECT @_pagecount;结果为1Mysql:BEGIN DECLARE _pagecount INT; SET _pagecount = 18/10; SELE...
分类：
数据库 时间：
2015-03-02 12:35:34
阅读次数：
158
