- 博客(8)
- 收藏
- 关注
RSS订阅原创 AF RI 与Safety from rep exposure如何撰写
课上学习与查阅资料时讲述AF RI 与Safety from rep exposure的撰写有些地方过于抽象，着重于映射关系，看完很容易一头雾水，依旧不知道怎么写才好，这里写一下我对于其撰写的理解。 Abstraction function（抽象函数）: 关键在“抽象”，用精炼的语言描述你的这个类是对什么实际事物的抽象，并可简介这个函数中实现了哪些方法，让人能知道这个函数是干什么的。 Repres...
2020-05-06 18:27:50
292
原创 Junit测试入门（只介绍assertequal）
添加JUnit测试库 1.右键项目，Build Path–Add Libraries 2.选择JUnit，Next，再选择自己要的JUnit版本 创建测试文件 和创建普通的java类型文件一样，一般命名为“测试的类名字+Test” import需要的库 org.junit.Test是必需的库，剩下根据需要import，我使用了assertEqual方法，故需要import org.junit....
2020-04-29 21:15:23
1098
原创 java巧用static
在最近的实验中需要实现一个棋类游戏，棋类游戏中有固定的操作方法，只是参数不同，而游戏的过程便是由用户选择性的调用这些方法，那么我们自然的想到能否先把这些方法先初始化加载好以便自己调用呢。 static为我们实现了这个需求 我们习惯把对应方法归类放在不同类里，访问时则需要先实例化对应的类再访问其中的方法。 而用static修饰方法，让类加载器在加载对应的方法时就实例化了对应的类，无需我们再手动实例化...
2020-04-18 11:45:06
97
原创 try catch finally简析
**第一种情况：**try中无异常，没有finally。 不会执行catch中的语句，执行完try中语句即返回。 **第二种情况：**try中有异常，没有finally int i=1/0中0不能做除数，有异常，跳转到catch中执行处理异常的语句。 **第三种情况：**try中无异常，有finally，且finally中有return 发现返回的是“finally”，即finally中的re...
2020-03-16 14:56:54
167
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人