摘要: 2018 春 面向对象 第15次作业 一、测试与正确性论证的比较 测试对于程序正确性的验证极其依赖于测试集的完备性与强度,正确性论证只是对程序是否实现了其规格进行了论证,这两者都不能完全保证程序的正确性。 二、OCL语言调研 "Object Constraint Language" 对象约束语言(O 阅读全文
posted @ 2018-06-25 15:10 ShinriiTin 阅读(126) 评论(0) 推荐(0) 编辑
摘要: OO第十二次作业(第三次博客作业) 针对第三单元的三次作业和课程内容,撰写技术博客 (1)调研,然后总结介绍规格化设计的大致发展历史和为什么得到了人们的重视 随着计算机技术的发展,结构化设计语言和结构化分析无法满足用户的需求,OOP由此应运而生,即面向对象的程序设计。OOP的诞生是程序设计方法学的一 阅读全文
posted @ 2018-05-30 14:38 ShinriiTin 阅读(154) 评论(0) 推荐(0) 编辑
摘要: 总结性博客作业 (1)从多线程的协同和同步控制方面,分析和总结自己三次作业来的设计策略及其变化。 第五次作业 三个电梯分别为三个线程,输入处理为一个线程,电梯调度为一个线程。 第六次作业 每个监视任务为一个线程,输入处理为一个线程。 第七次作业 100辆出租车分别为100个线程,输入处理为一个线程, 阅读全文
posted @ 2018-05-02 00:36 ShinriiTin 阅读(174) 评论(0) 推荐(2) 编辑
摘要: 基于度量分析程序结构 第一次作业 第二次作业 第三次作业 分析自己程序的bug 幸好没有。 分析自己发现别人程序bug采用的策略 黑箱测试,让被测试者的程序和我的程序运行同样的随机数据,比较结果差异。 如果有不一致的数据,对其进行分析,结合代码找到原因。 心得体会 构思要充分。 关注issue,但不 阅读全文
posted @ 2018-04-03 17:32 ShinriiTin 阅读(132) 评论(0) 推荐(1) 编辑
摘要: 写在前面   离最后一次课程结束已经过去一周多了,忙碌于各种事情,终于找到一些琐碎的时间能来这里回忆与总结一下在这暑期短短两周的时间所学到的东西。由于时间过得有点久了,我会先回忆一下第二三次课程和作业,然后再说第四次作业和总结。 第二次课程   第二节课主要学习了接口( inte 阅读全文
posted @ 2017-08-04 00:19 ShinriiTin 阅读(261) 评论(0) 推荐(0) 编辑
摘要: 写在前面 又看到这个熟悉的陌生人:JAVA了。 上一次见啊,还似高中搞OI的时候,为了摸鱼不写高精度小数类,稍微看了一点点JAVA的语法。 但是当时比较懒,没有去深入研究,只是把C++翻译成JAVA水过几道算法题而已。 也是不知道啊,这次再见JAVA,会不会有什么新的体会。 也许吧。 作业1 基于课 阅读全文
posted @ 2017-07-06 15:21 ShinriiTin 阅读(185) 评论(0) 推荐(0) 编辑