什么是mybatis MyBatis 是支持普通 SQL查询，存储过程和高级映射的优秀持久层框架。MyBatis 消除了几乎所有的JDBC代码和参数的手工设置以及结果集的检索。MyBatis 使用简单的 XML或注解用于配置和原始映射，将接口和 Java 的POJOs（Plain Ordinary ...
分类：
其他好文 时间：
2020-05-29 11:56:28
阅读次数：
71
本教程源码请访问：tutorial_demo 在《Spring04_IOC和DI实战》当中，我们使用XML配置的方式结合Apache Commons DbUtils实现单表的CRUD操作，这篇教程我们使用纯注解方式结合Apache Commons DbUtils实现单表的CRUD操作。 一、需求和技 ...
分类：
编程语言 时间：
2020-05-28 12:46:25
阅读次数：
59
一、相关注解 @GetMapping：等价于@RequestMapping(method=RequestMethod.GET) @PostMapping：等价于@RequestMapping(method=RequestMethod.POST) @PutMapping：等价于@RequestMapp ...
分类：
其他好文 时间：
2020-05-26 20:41:31
阅读次数：
68
#1、Spring源码下载 首先下载spring的源码，下载地址如下： 点击自己想下载的版本，点击后下载第一个dist.zip文件即可。 spring源码 #2、将spring的jar包导入项目 1、先将下载好的spring压缩包解压到某个文件夹 2、在eclipse中建立一个空的Dynamic w ...
分类：
编程语言 时间：
2020-05-26 18:01:45
阅读次数：
92
在HttpClient 4.x版本中引入了大量的构造器设计模式 https请求建立详解 首先建立一个信任任何密钥的策略。代码很简单，不去考虑证书链和授权类型，均认为是受信任的： class AnyTrustStrategy implements TrustStrategy{ @Override pu ...
分类：
Web程序 时间：
2020-05-26 17:59:30
阅读次数：
86
1.Junit白盒测试 *步骤： 1.定义一个测试类（测试用例） *建议： *测试类名：被测试的类名+Test *包名：xxx.xxx.xxx.test cn.itcast.test 2.定义测试方法：可以独立运行 *建议： *方法名：test+测试的方法名 testAdd（） *返回值：void ...
分类：
编程语言 时间：
2020-05-24 11:42:18
阅读次数：
55
JML语言的理论基础、应用工具链情况 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。可以通过开展规格化设计，而给代码实现者以明确、严谨的设计需求；也可以针对已有的代码给出规格，以提高代码的维护性。 结合Junit、OpenJML、SMT So ...
分类：
其他好文 时间：
2020-05-23 20:01:29
阅读次数：
54
@FixMethodOrder(MethodSorters.NAME_ASCENDING) //使下面的方法按照一定顺序执行 public class ProductCategoryDaoTest extends BaseTest { MethodSorters.JVM：按照JVM得到的方法顺序（代 ...
分类：
其他好文 时间：
2020-05-23 09:17:28
阅读次数：
85
面向对象第三单元总结 本单元主要训练JML语言和利用JUnit进行单元测试，重点在于理解透彻JML所描述的类和方法的规格，实现后利用JUnit对重点方法进行测试。Java建模语言（Java Modeling Language，JML）是一种进行详细设计的符号语言，利用它可以形式化地描述类和方法地规格 ...
分类：
其他好文 时间：
2020-05-23 00:25:21
阅读次数：
75
JML理论基础： 在大一的离散结构课程中，我们学习叻关于谓词逻辑的相关知识。作为一名周六还得补考离散二的菜鸡，我只能爬。我个人理解上JML语法格式是谓词逻辑和java的生动结合，让读者在理解与讨论的过程中收获极大的欢乐，并基于契约化编程的思想来解放程序员于bug之中->如果完全按照规格实现，那么WA ...
分类：
其他好文 时间：
2020-05-23 00:09:49
阅读次数：
58
