- 博客(6)
- 收藏
- 关注
RSS订阅原创 软件构造课程--常用Git指令
git config --global user.name “**”git config --global user.email ****创建用户名和邮箱git init初始化目录，创建仓库git clone https:// *****克隆远程仓库git add .把变化提交到暂存区（不包括删除）git add -A把变化提交到暂存区（包括删除）git commit -m ...
2019-06-23 23:37:36
194
原创 软件构造课程反思
测试以前写c语言的时候，多数使用的是比较低级的控制台输出信息的方式进行debug。但其实这样的效率低，而且覆盖面差。在使用Junit进行测试后，同时学习了precondition等，能够更好的制定一个test策略。养成了写函数，然后写测试文件进行测试的习惯。这也强迫你将函数多样封装化，这样测试类也好写一点。异常处理以前使用的是if condition Then的方式进行异常处理。现在有che...
2019-06-23 23:16:12
107
原创 软件构造课程--ADT
文章目录ADT抽象类操作的类型AF 和 RIcheck repSafe from rep exposureADTAbstract Data Types可简单理解为一个封装的类型，它不需要提供各种详细的信息，但是可以有强大的功能。它具有一定的防御性，只对外提供一些操作，但是内部可以是各种复杂的函数。抽象类操作的类型对于一个抽象类操作它的类型主要有4种：t非此类型的数据 T则为该数据类型。...
2019-06-23 22:56:29
189
原创 软件构造课程--可变性
文章目录Mutability可变变量的风险常用的immutable变量总结MutabilityJava语言中有immutable和mutable变量。immutable指变量创建后，不可改变，即永远表示一个定值。String类型就是一个immutable类型。在你对String进行修改时，他会创建一个新的String变量，将变量重新绑定。比如将一个String s进行+=操作，则会创建一个新的...
2019-06-23 22:09:56
177
原创 软件构造课程--注释
文章目录注释的目的Precondition和PostconditionDeterministic and underdetermined specsDeclarative and Operational specsStronger and Wearker specs注释的目的正如课程的目标Safe from bugs，Easy to understand，Ready for change。Bu...
2019-06-23 21:32:10
324
原创 软件构造课程--代码规范
软件构造课程--代码规范代码规范Check Style修改代码中出现tab字符导入文件辅助修改其他问题代码习惯代码规范良好的代码习惯可以帮助我们提升代码质量，方便找bug，同时也帮助其他程序员理解我们的代码。不同项目要求的代码规范不同，在lab5中我们使用了Google或Oracle的规范，对代码进行习惯进行修改。Check Style我们可以通过CheckStyle工具对我们的代码规范进...
2019-06-22 19:04:04
211
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人