1）等价类划分： 等价类是指某个输入域的子集合.在该子集合中,各个输入数据对于揭露程序中的错误都是等效的.并合理地假定:测试某等价类的代表值就等于对这一类其它值的测试.因此,可以把全部输入数据合理划分为若干等价类,在每一个等价类中取一个数据作为测试的输入条件,就可以用少量代表性的测试数据.取得较好的 ...
分类：
其他好文 时间：
2021-01-08 11:34:41
阅读次数：
0
题目: 已知$a,b,c>0$,$abc\geq \frac{1}{2}$,求证: $\frac{1}{4a^3+1}+\frac{1}{4b^3+1}+\frac{1}{4c^3+1}\geq \frac{1}{4abc+1}.$ 证明:由已知可设$a=\sqrt[3]{\frac{kyz}{x^ ...
分类：
其他好文 时间：
2021-01-06 12:04:22
阅读次数：
0
在静态方法和非静态方法上加 Synchronized的区别 非静态方法 class Test{ public synchronized void test() { } } 等价于 class Test{ public void test() { synchronized(this) { } } } ...
分类：
其他好文 时间：
2021-01-02 10:52:47
阅读次数：
0
public class EnumTest { public static void main(String[] args) { Size s=Size.SMALL; Size t=Size.LARGE; //s和t引用同一个对象？ System.out.println(s==t); // //是原 ...
分类：
其他好文 时间：
2021-01-02 10:48:34
阅读次数：
0
58.SAM后缀自动机 东西挺多的 SAM中每一个节点都是一个endpos的等价类，节点与节点之间有字符的转移。构成的SAM是一个DAG，每一个在原串中本质不同的子串都唯一对应一条在SAM从初始节点出发的路径 可以发现对于一个节点的那些串，如果以长度升序排序后，前一个串是后一个串的后缀并且长度相差1 ...
分类：
其他好文 时间：
2020-12-28 11:12:57
阅读次数：
0
sqlmap是一款强劲自动化的sql注入工具，使用python开发，支持python2/3。RESTfulAPI规则几乎是当前开发执行的默认规范。在restful接口中，常常将变量位置放置在url中。例如http://127.0.0.1:8080/{user}/profile，其中{user}就是变量，根据代码实现方式，可以等价于http://127.0.0.1:8080/profile?user
分类：
数据库 时间：
2020-12-25 13:19:47
阅读次数：
0
任务一 #include <stdio.h> const int N=3; int main() { int a[N] = {1, 2, 3}; int i; printf("通过数组名及下标直接访问数组元素:\n"); for(i=0; i<N; i++) printf("%d: %d\n", & ...
分类：
其他好文 时间：
2020-12-22 13:10:47
阅读次数：
0
一、命令描述与格式 将文件或标准输入组合输出到标准输出，所以注定了其可以配合管道应用， 格式：cat [选项] [files] 选项： -A --show-all ：等价于-vET -b --number-nonblank ：对非空行编号 -e ：等价于-vE -E --show-ends ：在每一 ...
分类：
其他好文 时间：
2020-12-22 11:54:31
阅读次数：
0
内置属性 主要有两个常用内置属性：${basedir}项目的根目录(包含pom.xml文件的目录)，${version}项目版本 POM属性 用户可以使用该属性引用POM文件中对应元素的值，常用的POM属性包括： ${project.build.sourceDirectory}：项目的主源码目录，默 ...
分类：
其他好文 时间：
2020-12-15 12:18:57
阅读次数：
2
ulam 基于C语言的无类型Lambda演算解释器 github：https://github.com/hhusjr/ulam 代码很简短，只有单个C语言文件，600行不到。后面会逐步加入更多语法特征，以及改进为具有类型的$\lambda-calculus$等等。 Lambda演算 \(\lambd ...
分类：
编程语言 时间：
2020-12-03 11:41:04
阅读次数：
7
