软件规格说明书 等价类划分,完备性,无冗余性(不能有交集)。 健壮等价类:无效等价类 边界值分析,对于一个含有n个变量的程序,采用边界值分析法测试程序会产生4n+1个测试用例 健壮性测试:除了对变量的5个边界值分析取值外,还需要增加略大于最大值(max+)以及略小于最小值(min-)的取值。 对于有 ...
分类:
其他好文 时间:
2019-06-30 17:32:44
阅读次数:
146
1.命题符号化及联结词 简单命题,命题常项,命题变项,复合命题。 否定联结词,合取联结词,析取联结词,蕴涵联结词,等价联结词 2.命题公式及分类 命题公式,永真式,永假式,可满足式 3.等值演算 若等价式A<->B是重言式,则称A与B是等值的。 24个重要的等值式。 ...
分类:
其他好文 时间:
2019-04-13 22:04:06
阅读次数:
156
1.1 命题逻辑 1.1.1 引言 1.1.2 命题 非 ┐ ;合取(与)∧ ;析取(或∨ 异或⊕) 1.1.3 条件语句 p->q的常用术语: "if p, then q" "如果p,那么q" "p implies q" "p蕴含q" "if p, q " "如果p,则q" "p only if ...
分类:
其他好文 时间:
2019-04-04 00:07:15
阅读次数:
222
数据库事务的隔离级别有4种,由低到高分别为Read uncommitted 、Read committed 、Repeatable read 、Serializable 。而且,在事务的并发操作中可能会出现脏读,不可重复读,幻读。下面通过事例一一阐述它们的概念与联系。 Read uncommitte ...
分类:
数据库 时间:
2019-03-26 22:32:22
阅读次数:
204
前言 在分析 编程之前, 我们需要对模板参数类型 和`class traits`编程的核心. 如果你已经明白了两者, 那么你可以直接看下一篇了. 相同之处 一般对模板参数类型 和`class`认为是一样的. 这两者在参数类型中确实是一样的. 你可以写成 也可以写成 这两者都是一样的, 没有区别. 两 ...
分类:
其他好文 时间:
2018-12-12 20:35:49
阅读次数:
276
一.cut是一个选取命令,就是将一段数据经过分析,取出我们想要的。一般来说,选取信息通常是针对“行”来进行分析的,并不是整篇信息分析的。1.语法格式为:cut[-bn][file]或cut[-c][file]或cut[-df][file]2.使用说明cut命令从文件的每一行剪切字节、字符和字段并将这些字节、字符和字段写至标准输出。如果不指定File参数,cut命令将读取标准输入。必须指定-b、-c
分类:
系统相关 时间:
2018-12-07 13:02:22
阅读次数:
185
效果图如下:点击全选时会全部选中;全不选时全部不选;反选时反向选中. html结构代码: ...
分类:
其他好文 时间:
2018-09-29 00:42:03
阅读次数:
113
转自:https://blog.csdn.net/hubanbei2010/article/details/79878567 作为产品线的支撑角色QA/CI/CD等,http api解析是互联网公司中最常见的工作。 接口访问,返回的数据一般是json格式。 常见场景:对json格式数据的解析,取某个 ...
分类:
Web程序 时间:
2018-09-18 00:20:32
阅读次数:
266
注:初学shell,以下为本人自己写的答案,如果有更好的,请指教! 1. 求2个数之和: 2. 计算1-100的和 3. 将一目录下所有的文件的扩展名改为bak 4.编译并执行当前目录下的所有.c文件 5.打印本机的交换分区大小,处理结果: Swap:1024M 6. 文本分析,取出/etc/pas ...
分类:
编程语言 时间:
2018-08-24 21:20:16
阅读次数:
347
取得FiradioPHP 保存到/config/dnspod1.php 保存到index.php 然后crontab -e加入 ...
分类:
Web程序 时间:
2018-08-11 14:32:15
阅读次数:
399