摘要：
• 1. 论述测试与正确性论证的效果差异，比较其优缺点 测试：针对每一个具体的方法，按照规格规范，编写不同情况下的测试数据，验证执行效果是否符合预期（规格）。测试虽然比较麻烦，但是是最准确的测试方法，因为在正确性论证中有可能会有人为的推导错误，所以根据每种情况编写代码会更保险一些。但是编写过程中可能 阅读全文
摘要：
(1)调研，然后总结介绍规格化设计的大致发展历史和为什么得到了人们 的重视 1.大致发展历史： （百度百科）软件形式化方法最早可追溯到20世纪50年代后期对于程序设计语言编译技术的研究，即J.Backus提出BNF描述Algol60语言的语法，出现了各种语法分析程序自动生成器以及语法制导的编译方法， 阅读全文
摘要：
一、第五次作业——多线程电梯 （1）分析： 因为时间比较紧迫，所以采用了伪多线程的方式，即计算还是单线程，但是输出是三个多线程。不过最后被判无效了，GG。 现在分析一下觉得还是挺清晰的，电梯开三个线程，在分派任务的时候wait，notify一下就行了。 算法分析： 1.每个电梯有一个list队列，在 阅读全文
摘要：
第四次作业 一、基于度量来分析自己的程序结构（1）多项式计算器 • 度量类的属性个数、方法个数、每个方法规模、每个方法的控制分支数目、类总代 码规模 • 计算经典的OO度量，分析类的内聚和相互间的耦合情况 可以看出主函数比较复杂，因为懒得传参数写成方法，所以计算都写到主函数了。 •自我点评优点和缺点 阅读全文
摘要：
二、算法思考 一定要想好再编，面向对象不是面向过程，一定要把类都规划好 分成两部分 （1）输入监察 1.用正则，形如{(+|-)/s+} 问题：正则本身bug 2.状态机 3.tips *但是所有空格应该被直接忽略“1 24”=“124”，所以不能split？，但是可以一开始就替换空格 *所有数均可 阅读全文
摘要：
一、基础任务 1.完成JAVA的复习 2.正则表达式的学习 （1）超详细解说：https://www.cnblogs.com/xyou/p/7427779.html 最后，区位号也可能没有包含在圆括号内，对此可以简单地在圆括号后附上?元字符，但这不是一个很好的解决方法。因为它也包含了不配对的圆括号， 阅读全文
摘要：
正则 阅读全文
摘要：
构造方法 构造方法的方法名必须与类名一样。构造方法没有返回类型，也不能定义为void，在方法名前面不声明方法类型。 Java 中局部变量、实例变量、类变量（静态变量） 私有访问修饰符-private 私有访问修饰符是最严格的访问级别，所以被声明为 private 的方法、变量和构造方法只能被所属类访 阅读全文
摘要：
上课内容：测试正确率；测试性能 结果： 教训：能用类库的就用类库！自己写的很难快起来！ JAVA内存管理机制 http://www.importnew.com/21463.html http://www.cnblogs.com/gw811/archive/2012/10/18/2730117.htm 阅读全文
摘要：
就课程内容和教学方式谈谈自己的意见和建议 课程内容：Java简介，java基础语法，继承，接口，存储机制 教学方式：课上讲课训练，下课作业 1.作业环节：交流与总结不够。上课测试仅仅是反应了正确率，有bug没有解决，有代码优化的不够。希望能在课上多和同学交流作业思路与心得，每个人都分享一些经验或者困 阅读全文