今日小组成员任务完成情况: 郭义总结 继续看了白盒测试,了解到白盒测试的测试方法有代码检查法、静态结构分析法、静态质量度量法、逻辑覆盖法、基本路径测试法、域测试、符号测试、路径覆盖和程序变异。白盒测试法的覆盖标准有逻辑覆盖、循环覆盖和基本路径测试。其中逻辑覆盖包括语句覆盖、判定覆盖、条件覆盖、判定/ ...
分类:
其他好文 时间:
2017-12-05 22:46:30
阅读次数:
190
例子中脚本解释: 0ctf_momo_3 脚本解释 脚本思路 由于程序对输入验证是单字符比较,可以用爆破的方式,由于mov混淆不具有变异特性,验证分支入口特点明显,有以下三个: 将所有的验证分支存储起来之后,遍历爆破。 爆破验证指定两个寄存器中的值相等即输入字符正确。 脚本编写思路 insn_byt ...
分类:
其他好文 时间:
2017-11-25 11:09:36
阅读次数:
199
列表渲染 v-for指令 根据一组数组的选项列表进行渲染 语法:value,key in items | value,key of items 变异方法 vue提供一组方法,对数组进行操作的时候,会触发视图更新。 push() pop() shift() unshift() splice() sor ...
分类:
其他好文 时间:
2017-11-21 20:49:23
阅读次数:
355
Linux应用 编程深入 语言编程标准C程序设计七 经典C11程序设计 以下内容为阅读: 《标准C程序设计》(第7版) 作者:E. Balagurusamy(印), 李周芳译 清华大学出版社 2017.7 《21天学通C语言》(第7版) 作者:Bradley Jones Peter Aitken D ...
分类:
其他好文 时间:
2017-11-14 17:47:54
阅读次数:
188
本文没有对遗传算法的原理做过多的解释 基础知识可以参考下面的博客:http://blog.csdn.net/u010451580/article/details/51178225 本实验用到的变异用到下面网址上的方法,当然这个网址也很好的阐释了CVRP的解决方案:https://image.hans ...
分类:
编程语言 时间:
2017-11-12 23:03:31
阅读次数:
297
做checkbox多选功能的时候遇到了一个坑,逻辑怎么看都对,但是就是有bug,最后发现数组那里值变了页面勾选没有重新渲染。 换了关键词搜索找到了相关方法。 其实之前读文档教程的时候看到过这里,但是只有真的使用之后才会有最直接的感触。 数组更新检测 变异方法 Vue 包含一组观察数组的变异方法,所以 ...
分类:
编程语言 时间:
2017-11-05 23:25:45
阅读次数:
416
fill 和fill_n函数是C++ Primer第十二章泛型算法部分内容,并把它们称为生成和变异算法,也就是说这两个函数只能对输入范围内已存在的元素进行操作。如果试图对空容器进行fill_n操作,会导致严重的运行错误,所以在对元素进行写入操作时要检查目标的大小是否足以存储要写入的元素。 fill函 ...
分类:
编程语言 时间:
2017-10-30 15:56:52
阅读次数:
184
进化规则是为了求解预测问题而提出的一种有限状态机模型,其中机器的状态是基于基本均匀随机分布的规律进行变异,可用于求解静态和非静态时间序列的预测问题。应用于人工智能以及其他复杂系统领域的优化问题。 进化计算中常用的两种算法,进化规则和遗传算法。进化规则算法在运行过程中,主要是模拟和借鉴了生物在进化过程 ...
分类:
其他好文 时间:
2017-10-17 15:10:01
阅读次数:
149
按位运算和逻辑运算的区别: 逻辑运算是将两个bool进行运算 按位运算是将整型、浮点型转化为二进制进行运算 逻辑与、按位与 ∧ & 11变1 其余变0 逻辑或、按位或 ∨ | 00变0 其余变1 非 ! 0变1 1变0 异或 ^ 相同为1 不同为0 优先级 !>&>^>| 位运算过程: !10&8| ...
分类:
其他好文 时间:
2017-10-12 20:34:05
阅读次数:
154
Vcf文件格式是GATK钟爱的表示遗传变异的一种文件格式。 就拿GATK给出的vcf例子说明吧,下面这个文件只表示了一个完整vcf文件的前几个SNP。 看上去确实有点复杂,那就把它分为两部分看吧,第一部分把他归为说明文件,就是每一列最前面有2个#符号的那些列所提到的就是为了解释下面“正文”INFO列 ...
分类:
其他好文 时间:
2017-10-12 12:09:05
阅读次数:
183