第三次博客总结

一.规格化设计对的发展历史

在1968年，荷兰教授E.W.Dijkstra提出了“GOTO语句是有害的”观点，指出程序的质量与程序中所包含的GOTO语句的数量成反比，认为应该在一切高级语言中取消GOTO语句。这一观点在计算机学术界激起了强烈的反响，引发了一场长达数年的广泛的论战，其直接结果是结构化程序设计方法的产生。80年代中后期，面向对象程序设计逐渐成熟，被计算机界理解和接受，人们又开始进一步考虑面向对象的开发问题。这就是九十年代以Microsoft Visual系列OOP软件的流行的背景。1990年以后，面向对象分析、测试、度量和管理研究都得到长足的发展，规格化设计应运而生。规格化设计能够帮助编程者进行架构，以及在未来对其方便地维护。此外，因为规格化设计能使他人方便地理解代码含义，而使得程序员们在大型多人的开发中能够便捷地以他人的代码为基础进行开发工作，提高了工作效率。因此规格化设计得到了人们的重视。

二.规格bug统计


功能Bug
规格bug

oo9
0
1

oo10
0
0

oo11
0
0

oo第9次作业的bug分析


bug类别
bug内容

规格bug
Main和Taxi以及sche的run（）没写JSF

三.原因

我当时以为线程方法不需要写JSF。

四.jsf的修改

前置：

1. 前置条件缺少对传入参数的范围判断

修改前

修改后

2. 前置条件缺少对参数存在性的判断

修改前

修改后

3.当没有前置条件时

修改前

修改后

4.前置条件判断应用“==”号

修改前

修改后

5.多余的前置条件

修改前

修改后

后置：

1. 在非必要情况下使用自然语言

修改前

修改后

2. 不是布尔表达式

修改前

修改后

3.改变值书写不规范

修改前

修改后

4. 后置条件没写全

修改前

修改后

5.将中间变量的修改写入到后置条件中

修改前

修改后

五.功能Bug与规格Bug的聚类关系

在现阶段，我认为JSF问题大多是格式或者规范问题，也就是书写问题，和功能bug聚集关系并不大。

六.心得体会

最初写规格是很难上手的，但经过这么多次写规格的训练，也积累了一些熟练度，写的更快了。此外，以前我一个方法写很多行代码，然而这样的方法是很难写出规格的，为了写好规格，也必须将代码缩减，使所有方法各司其职，变相的规范了我的代码风格，提高了代码可读性。

原文地址：https://www.cnblogs.com/xie8/p/9112567.html

时间： 2024-08-30 10:09:53

第三次博客总结的相关文章

第三版博客装订完毕

html: <div class="header"> <div class="wrap"> <div class="logo"> <a href="http://www.cnblogs.com/qiuge227/"> <img src="http://images.cnblogs.com/cnblogs_com/qiuge227/565381/o_logo.png

第三周博客问题总结

1.学会了```的用法 一开始并没有成功,后来发现是因为输入法没有切换成英文,今后这样的问题要避免出现.--20145106 2.问题:教材86页,Guess的代码,猜数字,不知道原先没有设定好一个数字,为什么可以在0-9之间猜中一个数 解答:百度了(Math.random()10)这行代码的意思,知道了(Math.random())的意思是在[0,1)之间随机产生一个数字,10,所以变成了[0,10)之间随机产生一个数字,所以可以进行猜数字 --20145123 3.IntegerCache.

第三版博客修改计划

为了让自己在学习中不断进步,随时保持学以致用的心态是尤为重要的.这样,一来让人有一种成就感的同时,也有一种满足感. 二来让你永远保持着一种心态,那就是谦逊,释然. 什么是进步,进步就是在每天的点点滴滴中,有所获,有所得. 什么是付出,付出就是每天你都知道自己在做什么,为什么要做,并为之努力的做. 什么是收获,收获就是即使你看不到它微小的变化,但在不知不觉中让自己仿佛变了一个人似的. 记得,记忆中感受最深的一本书是斯宾塞·约翰逊著作的<谁动了我的奶酪?>(Who Moved My Cheese?

第三次博客

第三次博客 一. 规格发展历史 从20世纪60年代开始,就存在着许多不同的形式规格说明语言和软件开发方法.在形式规格说明领域一些最主要的发展过程列举如下: 1969-1972 C.A.R Hoare撰写了"计算机编程的公理基础(An Axiomatic Basis for Computer Programming)"和"数据表示的正确性证明"两篇开创性的论文,并提出了规格说明的概念. 1974-1975 B.Liskow/S.N. Zilles和J. Guttag引

Android 博客园客户端 （三） 博客列表和内容显示

项目地址:https://github.com/ZhangTingkuo/AndroidCnblogs.git 经过很多天的努力,终于完成了博客界面的三个Fragment列表显示,分别是,首页.推荐.阅读排行.其实,距离上次,并没有增加更多的功能. 下一步,添加新闻界面的列表和内容显示.

oo第三次博客总结

1.规则化发展历史 形式化方法的研究高潮始于20世纪60年代后期,针对当时所谓"软件危机",人们提出种种解决方法,归纳起来有两类:一是采用工程方法来组织.管理软件的开发过程:二是深入探讨程 序和程序开发过程的规律,建立严密的理论,以其用来指导软件开发实践.前者导致"软件工程"的出现和发展,后者则推动了形式化方法的深入研究.经过30多 年的研究和应用,如今人们在形式化方法这一领域取得了大量.重要的成果,从早期最简单的形式化方法一阶谓词演算方法到现在的应用于不同领域.不

对于其中三篇博客我的感想

读完三篇文章使我想到了很多,同样都是从农村出来的孩子,但是现在的生活和他们那个年代相比简直就是一个天一个地.我们现在的生活待遇远远比他们好的多的多,他们上初中高中年代是艰辛的,我们的是优越的.父母是最疼爱自己的孩子的,他把所有好的东西都给了我们.我上学期间父母把我当宝贝一样宠着,但是他们不管我的学习,学好学坏他们都不管,我初中之前还是比较争气的,成绩都在班里前十名,但是高中之后我就不行了,成绩一落千丈.我是从初三从石家庄回来上高中的,回来之后没人管我,可以说我的学业是我一个人自主的学出来的,对于

第三篇博客

第一部分.指针及其应用 一．指针及其应用 1.指针.引用和取值 什么是指针?什么是内存地址?什么叫做指针的取值?指针是一个存储计算机内存地址的变量.从指针指向的内存读取数据称作指针的取值.指针可以指向某些具体类型的变量地址,例如int.long和double.指针也可以是void类型.NULL指针和未初始化指针. 根据出现的位置不同,操作符 * 既可以用来声明一个指针变量,也可以用作指针的取值.当用在声明一个变量时,*表示这里声明了一个指针.其它情况用到*表示指针的取值. &是地址操作符,用来引

20135221黄卫 第三周博客

Linux内核源代码 回顾: 计算机三大法宝 存储程序计算机 函数调用堆栈 中断 操作系统两把宝剑 中断上下文的切换 进程上下文的切换 Linux内核源代码简介 arch/x86目录下的代码是重点关注的 init目录:内核启动相关的代码基本都在init目录下 init/main.c中start_kernel函数就相当于普通C程序的main函数 fs目录:file system文件系统 ipc目录:进程间通信 kernel目录:Linux内核核心代码在kernel目录中 二.构造一个简单的Linu

C语言第三次博客作业---单层循环结构

一.PTA实验作业 题目1:最佳情侣身高差 1.实验代码 int N,i; double height; //height表示身高 char sex; //sex表示性别 (height>=1.0&&height<=3.0); (N>0&&N<=10); scanf("%d",&N); for(i=1;i<=N;i++){ scanf("\n%c%lf",&sex,&height)