摘要: 测试与正确性论证的效果差异及其优缺点 测试是利用测试代码,通过编写测试用例来验证代码是否能正常完成所要求的功能,自动测试相较于正确性论证来说更加的直观,直接测试代码的功能,而正确性论证是在JSF的基础上用表达式和语言梳理代码的结构并论证其功能的正确实现。 测试的优点是直观明确,缺点是通过样例测试正确 阅读全文
posted @ 2018-06-25 03:54 鳕鱼香酥 阅读(147) 评论(0) 推荐(0) 编辑
摘要: 一、规格化的发展历史 最早的程序设计都是面向机器,从一开始使用的机器语言,到后面的汇编语言,都是面向机器的语言,编写困难也容易出错。随着需求的发展,程序的编写从面向机器走向面向过程,但由于goto语句导致的面条式代码,极大的限制了程序的规模,“软件危机”产生,程序设计的思想又经历了几次革命,“结构化 阅读全文
posted @ 2018-05-30 19:39 鳕鱼香酥 阅读(177) 评论(0) 推荐(0) 编辑
摘要: 前两次作业我都无效了……用了很久时间但还是没能弄明白多线程的写法,以后还是要学会即时的多问问会的同学吧…… 以及我的Mertrics在挣扎很久之后还是用不了……跪了 第七次作业 第七次作业能够完成的原因大概是相对难度来说要比前两次简单,同时多线程的知识摸索了两周终于有点用了吧,然而分配到我的作业的测 阅读全文
posted @ 2018-05-02 17:54 鳕鱼香酥 阅读(110) 评论(0) 推荐(0) 编辑
摘要: 作业一 在第一次作业发布的时候对这次作业比较掉以轻心,因为之前在暑假的时候上过先导课,对面向对象的编程思想和java的语法都比较熟悉,加上有其他的事物分心,所以到了最后一天才开始着手写代码,轻视作业的结果自然是惨不忍睹,仅仅能勉强完成一个能运行、不crash的程序。 作业二&三 我比上一次留了更多的 阅读全文
posted @ 2018-04-04 18:11 鳕鱼香酥 阅读(129) 评论(0) 推荐(0) 编辑
摘要: 在先导课之前我未曾接触C和Python之外的语言,在大一学年的课程中,用面向过程的思想方法足以完成绝大多数课程要求,故而我也对面向对象的编程思想知之甚少,虽然多有耳闻但是对它一直没有一个正式的学习了解也没有任何直观感受过。因此,在第一节先导课上,第一次真的去了解到面向对象的思想感觉是很新鲜甚至有点惊 阅读全文
posted @ 2017-08-07 03:51 鳕鱼香酥 阅读(228) 评论(1) 推荐(0) 编辑