码迷,mamicode.com
首页 > 2016年10月10日 > 全部分享
代码静态分析工具的误报原因分析
1. 引言 本篇文章分析了代码静态分析的基本原理以产生误报的根本原因,并介绍了形式化方法在LDRA工具套件中的应用情况。文章从实际工程应用的角度阐述了这些形式化方法的局限性,在参考文献1《Formal Methods Implemented in the LDRA Tool Suite》中我们详细描 ...
分类:其他好文   时间:2016-10-10 09:30:02    阅读次数:200
zTree+EasyUi做权限遇到的小问题
最近需要做一个zTree+EasyUi的权限管理系统,以前有过接触,在做这一块时,用到了ztree,树来加载咱们的菜单栏,后台获取登录用户信息的权限列表,转换成json对象来加载到咱们的树当中,代码如下: 你会发现人家早就想到了这一点,来实现这个效果,那么, 我们就可以运用到自己的ztree当中了, ...
分类:其他好文   时间:2016-10-10 09:31:13    阅读次数:320
DB time VS. DB CPU
如何行之有效地展示系统负载在做系统调优的时候是必不可少的技巧。通常我们会使用Oracle提供的Time Model,比如我们需要作出类似于下面这样的趋势图来展示系统负载的高低。 这样的趋势图可以直接使用Oracle10g以后的OEM得到,也可以将SQL结果传入Excel中作出趋势图,这里并不是想说如 ...
分类:数据库   时间:2016-10-10 09:29:30    阅读次数:258
iOS H5 容器的一些探究(一):UIWebView 和 WKWebView 的比较和选择
来源:景铭巴巴 链接:http://www.jianshu.com/p/84a6b1ac974a 一、Native开发中为什么需要H5容器 Native开发原生应用是手机操作系统厂商(目前主要是苹果的iOS和google的Android)对外界提供的标准化的开发模式,他们对于native开发提供了一 ...
分类:移动开发   时间:2016-10-10 09:29:35    阅读次数:353
软件工程第二次作业
最大子数组和的实现与测试 题目要求 题目要求 给定源数组求该数组中和最大的子数组 算法思想 算法思想 遍历源数组,每遍历一次用一个当前子数组和计数器(pseudoResult)将当前遍历过的数字加和,然后判断pseudoResult是否大于0,大于0的话就和最大子数组个计数器(result)比较,取 ...
分类:其他好文   时间:2016-10-10 09:28:40    阅读次数:138
连接 insance 到 vlan101 - 每天5分钟玩转 OpenStack(97)
前面我们创建了 vlan101,今天继续部署 instance 到该 vlan network,并讨论 instance 之间的连通性。 ...
分类:其他好文   时间:2016-10-10 09:29:13    阅读次数:116
Swift 3.0 使用Core Data
swift版本:3.0 Xcode版本:8.0 iOS版本:10.0 自iOS10 和swift3.0 之后,苹果的访问CoreData的方法发生了很大改变,简洁了许多,下面的内容是从0开始建立一个entity,并实现其存储和读取的功能。 注:这个是一种convenience方法,即快速实现。所以并 ...
分类:编程语言   时间:2016-10-10 09:26:28    阅读次数:683
ASP.NET的session操作方法总结
在开发ASP.NET程序时,需要对相关数据进行缓存,缓存较多的主要是用户的身份信息,现提供几个对session操作较为常用的方法: 1.添加session,对设置对应的时间: 以上对session的添加操作中,主要是参数值的类型不同,以后后两种方式中,对session的有效时间进行滑动设置。 2.s ...
分类:Web程序   时间:2016-10-10 09:26:45    阅读次数:299
Linux操作技巧
不同的Linux之间copy文件常用有3种方法: 第一种就是ftp,也就是其中一台Linux安装ftp Server,这样可以在另外一台机器使用ftp的client程序来进行文件的copy。 第二种方法就是采用samba服务,类似Windows文件copy 的方式来操作,比较简洁方便。 第三种就是利 ...
分类:系统相关   时间:2016-10-10 09:26:55    阅读次数:191
第13章 .NET应用程序配置
using System; using System.Collections.Generic; using System.Linq; using System.Text; using System.Collections; using System.Configuration; using Syst ...
分类:Web程序   时间:2016-10-10 09:26:51    阅读次数:163
软件测试上线标准
一、编写目的 明确软件测试工作的开始和结束标准。 二、软件测试合格标准 以上比例为错误占总测试模块的比例。 三、缺陷修复率标准 1) A、B、C级错误修复率应达到100% 2) D级错误修复率应达到96%以上 四、覆盖率标准 测试需求执行覆盖率应达到100%(业务测试用例均以执行)。 五、错误级别 ...
分类:其他好文   时间:2016-10-10 09:26:57    阅读次数:208
bzoj1090:[SCOI2003]字符串折叠
思路:区间dp,令f[l][r]表示l到r的答案,于是f[l][r]=min(f[l][mid],f[mid+1][r]),如果能折叠f[l][r]=min(f[l][r],f[l][l+len-1]+calc(r-l+1,len),calc是计算数字的长度。记忆化搜索即可。 1 #include< ...
分类:其他好文   时间:2016-10-10 09:26:14    阅读次数:105
上周热点回顾(10.3-10.9)
热点随笔: · ASP.NET Core官方计划路线及需要废除的一些Framework技术(Moon.Orm塑造Orm经典)· 老司机学新平台 - Xamarin Forms开发框架二探 (Prism vs MvvmCross)(Teddy's Knowledge Base)· JavaScript ...
分类:其他好文   时间:2016-10-10 09:26:53    阅读次数:148
200. Number of Islands
Given a 2d grid map of '1's (land) and '0's (water), count the number of islands. An island is surrounded by water and is formed by connecting adjacen ...
分类:其他好文   时间:2016-10-10 09:27:02    阅读次数:186
js实现判断浏览器版本
浏览器版本低于8以下就跳到kill-ie.html ...
分类:Web程序   时间:2016-10-10 09:26:20    阅读次数:166
总结ThinkPHP使用技巧经验分享(二)
循环输出volist 还有别名 iterate模版赋值:$User = D('User')$list = $User->findAll()$this->assign('list',$list)模版定义:<iterate name="list" id="vo">{$vo.name}</iterate> ...
分类:Web程序   时间:2016-10-10 09:24:19    阅读次数:214
mysql 5.7.14 安装配置方法图文教程(转)
http://www.jb51.net/article/90259.htm ******************************** 因笔者个人需要需要在本机安装Mysql,先将安装过程记录如下,希望对他人有所参考。 一、下载软件 1. 进入mysql官网,登陆自己的oracle账号,下载M ...
分类:数据库   时间:2016-10-10 09:23:37    阅读次数:248
1210条   上一页 1 ... 54 55 56 57 58 59 60 ... 72 下一页
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!