JML语言的理论基础、应用工具链情况 JML 是用于 Java 的规格描述语言。我们使用 JML 来描述 Java 模块的行为,避免了对设计者意图的歧义。JML 的规格可以写到注释或者单独的文件中,所以带有 JML 规格的文件可以直接使用 Java 编译器来编译,而无需做出修改。 OpenJML 是 ...
分类:
其他好文 时间:
2020-05-22 19:07:48
阅读次数:
53
if (null !=merchLadderRatesRecords && merchLadderRatesRecords.size() !=0 && merchLadderRatesRecords.isEmpty() ){ for (MerchLadderRateRecord merchLadde ...
分类:
其他好文 时间:
2020-05-20 18:37:54
阅读次数:
42
远程线程的注入 PE的修正 https://bbs.pediy.com/thread-222187.htm 从github上下载了ReflectiverLoader认真学习了一下 在代码中得到一些心得和自己的想法,都按步骤写到了代码中,现在分享给大家,如有错,望大家指正 其中需要注入的dll和解析, ...
分类:
编程语言 时间:
2020-05-20 15:52:50
阅读次数:
62
读写excel表格和结果回写 一、需求 + 1.将用例代码和用例数据进行分离 + 2.用例中的参数,和预期结果参数化处理 + 3.用例数据放到excel中存储 + 4.用例执行的结果回写到excel中 二、实现流程 + 1.设计测试用例,excel中编写用例数据 + 2.定义测试用例类,编写测试用例 ...
分类:
编程语言 时间:
2020-05-19 22:44:19
阅读次数:
65
[TOC] 1.面向对象编程 1.1 对象封装 函数的简单编写到对象封装 2.创建型设计模式 ...
分类:
其他好文 时间:
2020-05-19 22:24:52
阅读次数:
70
上一篇写到了jQuery.prototype对象的init方法,因为init方法内容较多,因此弄了个上下篇 先列一下jQuery.prototype对象上的方法与属性吧 jQuery.fn = jQuery.prototype = { jquery: core_version, // 49行 cor ...
分类:
Web程序 时间:
2020-05-18 00:19:32
阅读次数:
79
.Net Core3.0 WebApi 项目框架搭建:目录 appsettings.json 我们在写项目时往往会把一些经常变动的,可能会变动的参数写到配置文件、数据库中等可以存储数据且方便配置的地方,这样会方便我们在项目上线以后做相对应的配置工作。 .Core WebApi项目中我们将把配置文件统 ...
分类:
移动开发 时间:
2020-05-17 13:26:33
阅读次数:
109
实践内容 从 MariaDB 一张表内读 10 万条记录,经处理后写到 MongoDB 。 具体实现 1、新建 Spring Boot 应用,依赖如下: 2、创建一张表,并生成 10 万条数据 3、创建 Person 类 4、创建一个中间处理器 5、创建 ,用户数据库映射 6、创建任务完成的监听 7 ...
分类:
编程语言 时间:
2020-05-17 01:35:05
阅读次数:
71
[toc] 简介 终于要写到java中最最让人激动的部分了IO和NIO。IO的全称是input output,是java程序跟外部世界交流的桥梁,IO指的是java.io包中的所有类,他们是从java1.0开始就存在的。NIO叫做new IO,是在java1.4中引入的新一代IO。 IO的本质是什么 ...
分类:
编程语言 时间:
2020-05-15 09:55:12
阅读次数:
74
文件包含漏洞概述 程序开发人员一般会把重复使用的函数写到单个文件中,需要使用某个函数时直接调用此文件,而不需要再次编写,其中文件调用的过程一般称为文件包含。 通过PHP函数引入文件时,传入的文件名没有经过合理的验证,从而操作了预想之外的文件,就可能导致意外的文件泄漏甚至恶意代码注入。 <?php e ...
分类:
其他好文 时间:
2020-05-14 23:49:24
阅读次数:
112