- 博客(4)
- 收藏
- 关注
RSS订阅转载 OO第四次博客作业
一、 测试与正确性论证的效果差异及优缺点测试：基于前置条件和后置条件对输入划分并抽样产生测试数据，检查方法执行输出 是否满足后置条件• 优点：易于实施，工程广为采用• 缺点：无法确保正确性论证：针对格式化的规格和代码实现，人工方式对代码逻辑进行分析，确认是否所有 满足前置条件的输入都能产生满足后置条件的结果• 优点：折衷，形式验证与自然语言层次逻辑推理相结合...
2018-06-25 18:49:00
84
转载 OO第三次博客作业
一、 规格化设计的发展历史 高级语言的发展经历了从早期语言到结构化程序设计语言，从面向过程到非过程化程序语言的过程。相应地，软件的开发也由最初的个体手工作坊式的封闭式生产，发展为产业化、流水线式的工业化生产。 6 0年代中后期，软件越来越多，规模越来越大，而软件的生产基本上是人自为战，缺乏科学规范的系统规划与测试、评估标准，其恶果是大批耗费巨资建立起来的软件系统，由...
2018-05-30 08:43:00
128
转载 OO第二次课程总结
这三次作业分别是多线程电梯、文件监控器、出租车。这三次作业不是一个主题，但这三次作业都是多线程问题，相比之前的单线程难度有了很大的提升。第五次作业 第五次作业是电梯主题的最后一个作业，也是多线程问题的第一个作业。这次的作业对于我是难上加难，因为我电梯的前两次作业都是写的面向过程的代码，所以这一次如果要实现多线程电梯，只有重写这一种办法了。并且在改成面向过程的代码以...
2018-05-01 21:40:00
92
转载 OO第一次课程总结
作业一 多项式运算 作为一个之前从未接触过java的小白，虽然已经做好了这学期OO很艰难的心理准备，但还是觉得这门课程的难度超出了我的预期。第一周买了一本教程，然后在网上找了一些视频。用了一周的时间自学java，但只是学习了一些基础的语法，并没有学习类和对象的概念以及java面向对象的思想。 第一周作业发布之后，丝毫没有感受到助教所说的温柔，可能是第一次看到这么长，这么复...
2018-04-04 11:36:00
175
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人