第十五次oo作业

作业十五

测试与正确性论证的效果差异

程序的测试需要通过输入特定数据等方式,检查程序是否和预期相同,因为测试不可能穷举,导致了不穷举的测试不可能验证程序是完全正确的,只能验证程序在测试时没有发生错误,尽管如此,测试依然是一种高效的检查程序的方法,通过输入数据或复现现场,直观的发现代码的问题,进而在代码中找到问题的来源并修正。

程序的正确性论证是在用户提出需求后,进行规格撰写后,论证程序是否符合规格的过程。因为规格往往是布尔型或自然语言,对程序员来说并不如代码和测试数据直观,且工作量巨大。但相应的,好处是对代码整体进行了具体的剖析,在规格符合需求的前提下,能够发现程序与规格间的逻辑上的不符。

二者相比较而言,测试是一种较为简单,较为直接与直观的方法。通过编写测试数据就可以对于程序进行黑盒测试,不需要花大量时间在理解程序本身上。相比之下正确性论证就需要测试者对于程序本身就很细致的了解,对于要求功能有很细致的了解,每一部分的测试都会显得十分麻烦,尤其是在面对一些逻辑较为复杂的代码,正确性论证的工作量呈指数型增长。

OCL语言和JSF规格的对比

OCL语言全拼为objective constraint language,中文叫做对象约束语言,是用来约束定义的,形式化无二义的语言。OCL语言是一种声明式语言,用来描述应用于UML模型的规则,现在是UML标准的一部分。OCL语言和JSF都是声明式语言,但OCL一般与UML图相关,语法更规范。

第十四次作业

UML类图
1346314-20180625165008153-924414034.jpg
UML顺序图
1346314-20180625170312566-984394437.jpg
UML状态图
1346314-20180625170908557-1323462134.jpg

总结

阐述四个单元模块知识点之间的关系

本学期所学内容大概可分为以下四个单元。

一、什么叫做面向对象编程,面向对象和面向过程的区别在哪里。主要是第一次至第四次作业。

二、多线程编程,多线程编程的运行特点及调试方法。主要是第五次至第九次作业。

三、规格设计,如何在宏观上对于程序进行设计与调试,为以后大规模的软件开发打基础。主要是第十次至第十三次作业。

四、正确性论证,从科学理论的角度去评价一个程序的好坏,改变之前黑盒测试的逻辑习惯。主要是第十四次作业。

四个单元深入浅出,从全面讲解java知识,深入多线程设计,到较为轻松的测试和jsf论述,我们体验了从语言学习、构建工程到单元测试的完整过程。

梳理自己所设计实现的程序,分析自己在设计、测试和质量上的进步

应该说OO这门课给我带来了很大的提升。一是面向对象的编程,二是多线程的相关内容,三是工程化开发的相关知识。在阅读博客,进行互评,与室友同学的交流过程中,我学到了很多东西,简单的如常量的定义(其实很想叫他宏定义,因为主要作用其实类似于宏定义),大到编程风格,编程结构,可以说,没有与同学们之间的大量交流,我是难以获得这些提高的。在面向对象课程之前,虽然我也编写过一些小型的程序,基本没有接触过测试方面的内容,测试时也更多地根据自己想当然的方式来测试,没有一个规范的,高效的方式,在现在看来,以前自己的测试也略显笨拙。

阐述自己对工程化开发的理解

软件开发无疑需要大量的团队合作,工程化代码就尤为重要。代码规范、JSF规范,都是方便工程化开发的实用工具。工程化之所以出现,也是因为计算机行业从量变到质变的一个过程,一个人编写代码,只需要自己能够编写时读懂,甚至不需要考虑维护。几个人开发的程序,需要有一定的规范,方便他人阅读,对接。几十上百人的工程,需要的则是一个高效的开发规范,不仅需要考虑到当前的开发成本,甚至需要考虑到多年后,其他人阅读并维护代码的代价。个人代码的可阅读性,鲁棒性,与整个工程息息相关,一个人的不留意可能会带来整个团队很大的困扰。工程化开发正是适合当前的大规模计算机开发的一个有效手段。

对课程的任何期望或建议

首先不能否认,OO这门课有一定的不足,经过一个学期的学习,大家也能体验到不少。但总的来说OO这门课,是利大于弊的,对我们个人能力的提升非常巨大,所以个人还是认为可以保留当前OO的主要形式,但也不可否认需要一些改进,比如受到很多人吐槽的指导书经常修改,助教的解答甚至互相矛盾等等,这些也需要助教团队和老师们多总结以前的同学们的常见问题,以减少不必要的工作量

同时,对于不少同学恶意的查找bug,乱报bug的行为,个人认为可以采用同学们曾经提到过的,每次测试后,由被测者给测试者打一个印象分,对于乱找bug的同学报以相对较低的分数,除了段位匹配外,也增加印象分的匹配,从而可以一定程度上限制一些同学乱报bug的风气。

转载于:https://www.cnblogs.com/AlbertShen99/p/9225346.html

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值