第十五次oo作业
作业十五
测试与正确性论证的效果差异
程序的测试需要通过输入特定数据等方式,检查程序是否和预期相同,因为测试不可能穷举,导致了不穷举的测试不可能验证程序是完全正确的,只能验证程序在测试时没有发生错误,尽管如此,测试依然是一种高效的检查程序的方法,通过输入数据或复现现场,直观的发现代码的问题,进而在代码中找到问题的来源并修正。
程序的正确性论证是在用户提出需求后,进行规格撰写后,论证程序是否符合规格的过程。因为规格往往是布尔型或自然语言,对程序员来说并不如代码和测试数据直观,且工作量巨大。但相应的,好处是对代码整体进行了具体的剖析,在规格符合需求的前提下,能够发现程序与规格间的逻辑上的不符。
二者相比较而言,测试是一种较为简单,较为直接与直观的方法。通过编写测试数据就可以对于程序进行黑盒测试,不需要花大量时间在理解程序本身上。相比之下正确性论证就需要测试者对于程序本身就很细致的了解,对于要求功能有很细致的了解,每一部分的测试都会显得十分麻烦,尤其是在面对一些逻辑较为复杂的代码,正确性论证的工作量呈指数型增长。
OCL语言和JSF规格的对比
OCL语言全拼为objective constraint language,中文叫做对象约束语言,是用来约束定义的,形式化无二义的语言。OCL语言是一种声明式语言,用来描述应用于UML模型的规则,现在是UML标准的一部分。OCL语言和JSF都是声明式语言,但OCL一般与UML图相关,语法更规范。
第十四次作业
UML类图
UML顺序图
UML状态图
总结
阐述四个单元模块知识点之间的关系
本学期所学内容大概可分为以下四个单元。
一、什么叫做面向对象编程,面向对象和面向过程的区别在哪里。主要是第一次至第四次作业。
二、多线程编程,多线程编程的运行特点及调试方法。主要是第五次至第九次作业。
三、规格设计,如何在宏观上对于程序进行设计与调试,为以后大规模的软件开发打基础。主要是第十次至第十三次作业。
四、正确性论证,从科学理论的角度去评价一个程序的好坏,改变之前黑盒测试的逻辑习惯。主要是第十四次作业。
四个单元深入浅出,从全面讲解java知识,深入多线程设计,到较为轻松的测试和jsf论述,我们体验了从语言学习、构建工程到单元测试的完整过程。
梳理自己所设计实现的程序,分析自己在设计、测试和质量上的进步
应该说OO这门课给我带来了很大的提升。一是面向对象的编程,二是多线程的相关内容,三是工程化开发的相关知识。在阅读博客,进行互评,与室友同学的交流过程中,我学到了很多东西,简单的如常量的定义(其实很想叫他宏定义,因为主要作用其实类似于宏定义),大到编程风格,编程结构,可以说,没有与同学们之间的大量交流,我是难以获得这些提高的。在面向对象课程之前,虽然我也编写过一些小型的程序,基本没有接触过测试方面的内容,测试时也更多地根据自己想当然的方式来测试,没有一个规范的,高效的方式,在现在看来,以前自己的测试也略显笨拙。
阐述自己对工程化开发的理解
软件开发无疑需要大量的团队合作,工程化代码就尤为重要。代码规范、JSF规范,都是方便工程化开发的实用工具。工程化之所以出现,也是因为计算机行业从量变到质变的一个过程,一个人编写代码,只需要自己能够编写时读懂,甚至不需要考虑维护。几个人开发的程序,需要有一定的规范,方便他人阅读,对接。几十上百人的工程,需要的则是一个高效的开发规范,不仅需要考虑到当前的开发成本,甚至需要考虑到多年后,其他人阅读并维护代码的代价。个人代码的可阅读性,鲁棒性,与整个工程息息相关,一个人的不留意可能会带来整个团队很大的困扰。工程化开发正是适合当前的大规模计算机开发的一个有效手段。
对课程的任何期望或建议
首先不能否认,OO这门课有一定的不足,经过一个学期的学习,大家也能体验到不少。但总的来说OO这门课,是利大于弊的,对我们个人能力的提升非常巨大,所以个人还是认为可以保留当前OO的主要形式,但也不可否认需要一些改进,比如受到很多人吐槽的指导书经常修改,助教的解答甚至互相矛盾等等,这些也需要助教团队和老师们多总结以前的同学们的常见问题,以减少不必要的工作量
同时,对于不少同学恶意的查找bug,乱报bug的行为,个人认为可以采用同学们曾经提到过的,每次测试后,由被测者给测试者打一个印象分,对于乱找bug的同学报以相对较低的分数,除了段位匹配外,也增加印象分的匹配,从而可以一定程度上限制一些同学乱报bug的风气。
第十五次oo作业的更多相关文章
- 第十四,十五周PTA作业
1.第十四周part1 7-3 #include<stdio.h> int main() { int n; scanf("%d",&n); int a[n]; ...
- 第十二次oo作业
作业十二 规格化设计简介 规格化设计的发展历史 1950年代,第一次分离,主程序与子程序的分离结构是树状模型,子程序可先于主程序编写.通过使用库函数来简化编程,实现最初的代码重用.产生基本的软件开发过 ...
- 团队作业一 庆祝"十五万的总冠军"成立
很荣幸能够撰写我们团队的第一篇博客. 我们这些同学能组成一个新的团队真的很高兴,团队中的每一个人都有自己的优点的长处.希望在工作中我们能竭尽 所能,充分发挥我们的本事,让我们大家各自发挥自己的才能.. ...
- 第十五周博客作业 <西北师范大学| 周安伟>
第十五周作业 助教博客链接https://home.cnblogs.com/u/zaw-315/ 作业要求链接https://www.cnblogs.com/nwnu-daizh/p/10946673 ...
- 第十五周java实验作业
实验十五 GUI编程练习与应用程序部署 实验时间 2018-12-6 1.实验目的与要求 (1) 掌握Java应用程序的打包操作: Java程序的打包,程序编译完成后,程序员将.class文件压缩打 ...
- oo作业总结(四)
测试与正确性论证 测试是通过构造一系列测试数据,通过对比程序的实际运行结果和预期输出结果来判断程序是否有bug的一种手段.同时,在测试的时候是默认看不到程序的具体实现的,即进行黑盒测试,例如每次OO作 ...
- PS:改装店收的是友情价,包安装十五个毛主席。
糟糠之妻下堂,娇俏公主上位--更换宝马三系座椅作业 - 切诺基 Jeep家族 越野e族论坛 越野/SUV/旅行/赛事/改装/互动中心 PS:改装店收的是友情价,包安装十五个毛主席.
- 《Linux命令行与shell脚本编程大全》 第十五章 学习笔记
第十五章:控制脚本 处理信号 重温Linux信号 信号 名称 描述 1 HUP 挂起 2 INT 中断 3 QUIT 结束运行 9 KILL 无条件终止 11 SEGV 段错误 15 TERM 尽可能 ...
- spring boot / cloud (十五) 分布式调度中心进阶
spring boot / cloud (十五) 分布式调度中心进阶 在<spring boot / cloud (十) 使用quartz搭建调度中心>这篇文章中介绍了如何在spring ...
随机推荐
- 使用Visual Studio Team Services敏捷规划和项目组合管理(五)——组合管理
使用Visual Studio Team Services敏捷规划和项目组合管理(五)--组合管理 组合待办事项为产品所有者提供关于几个敏捷特性团队工作的洞察.产品所有者可以将高优先级的目标定义为Ep ...
- java最小公倍数与最大公约数
import java.util.Scanner; /** * Created by Admin on 2017/3/26. */ public class test02 { public stati ...
- Flume 1.7.0单机版安装
下载解压到/usr/local/flume 配置环境变量 export FLUME_HOME=/usr/local/flume export FLUME_CONF_DIR=$FLUME_HOME/co ...
- 前后端分离djangorestframework——限流频率组件
频率限制 什么是频率限制 目前我们开发的都是API接口,且是开房的API接口.传给前端来处理的,也就是说,只要有人拿到这个接口,任何人都可以通过这个API接口获取数据,那么像网络爬虫的,请求速度又快, ...
- Android重复依赖解决办法
参考文章:https://blog.csdn.net/qq_24216407/article/details/72842614 在build.gradle引用了Vlc的安卓包:de.mrmaffen: ...
- centos7 Docker私有仓库搭建及删除镜像
如果不想用私有镜像库,你可以用docker的库 https://hub.docker.com 环境准备 环境:两个装有Docker 17.09.0-ce 的centos7虚拟机 虚拟机一:192.16 ...
- 【Teradata】grouping和rollup窗口函数
1.group by后带rollup子句 先按一定的规则产生多种分组,然后返回各个分组所产生的结果集的并集,且没有去掉重复数据(统计出的数据是求和还是最大值还是平均值等这就取决于SELECT后的聚合函 ...
- js模块化规范—commonjs
commonjs规范说明 每个js文件都可当作一个模块 在服务器端: 模块的加载是运行时同步加载的(不会阻塞,等待时间回比较长).在浏览器端: 模块需要提前编译打包处理 commonjs规范基本语法 ...
- ES5-ES6-ES7_Symbol数据类型
Symbol数据类型简介 ES6 引入了一种新的原始数据类型Symbol,表示独一无二的值.它是 JavaScript 语言的第七种数据类型,前六种是:undefined.null.布尔值(Boole ...
- tomcat 设置连接数
maxConnections.maxThreads.acceptCount的含义及关系maxThreads:tomcat同时处理请求的任务个数,默认值为200maxConnections :tomca ...