OO第三次博客总结作业

OO第三次博客总结作业

---

 

 

1.规格化设计的大致发展历史和为什么得到了人们的重视

---

 

　　

　　 发展历史...上网搜索了一圈...什么都没搜索到，只能谈谈自己对规格化设计重要性的一些看法。

　　规格化设计，顾名思义，是有规范有规格的去管理、编写自己的代码。这样的好处就在于，当自己编写一个大的项目的时候，虽然有成千上万行的代码，但是依然能够通过规格化设计准确的检索到自己想要找的部分。同时，在以后的码农生活中，用户通过你的规格化设计，也能很好的理解和使用你的代码。

 

2.按照作业，针对自己所被报告的规格bug以及雷同的规格bug（限于 bug树的限制，对手无法上报），列一个表格分析

---

 

 

第九次作业
requestIn类没写JSF	821行
Taxi类没写JSF	1202行
不符合JSF规范	182行
第十次作业
modifies格式错误	7行
JSF不符合规范	12行
第是一次作业
JSF不符合规范	7行

 

3.分析自己规格bug的产生原因

---

 

　　对于JSF没有那么重视吧...而且每次遇到的人，对于JSF的要求还都挺高的。第一次有JSF要求的作业，正好周三那天有事，本来想的是把功能写完之后，周三写一些JSF，后来被耽搁了，就没写，还好那次测我的人，没有对这个要求很高，才没有很多bug。第二次有JSF，是根本没把这个太当回事儿，也没有想到有人会很认真的看过每一个JSF，挑很多错误。第三次有JSF，是 上次的一个bug，忘了修复了。

 

4.分别列举5个前置条件和5个后置条件的不好写法，并给出改进写法

---

 

前置条件

例1

更改之前

/**

     * @REQUIRES:(\all int a;);

     */

更改之后

/**

     * @REQUIRES:(\all int a; 0 <= a <=79);

     */

例2

更改之前

/**

     * @REQUIRES:任意a; 

     */

更改之后

/**

     * @REQUIRES:(\all int a; 0 <= a <=79);

     */

例3

更改之前

/**

     * @REQUIRES:(x!=null && x.state==state.order);

     */

更改之后

/**

     * @REQUIRES:(x instanceof taxi && x!=null  x.state==order);

     */

例4

更改之前

/**

     * @REQUIRES:(x!=null && x.state=state.order);

     */

更改之后

/**

     * @REQUIRES:(x!=null && x.state==state.order);

     */

例5

更改之前

/**

     * @REQUIRES:无

     */

更改之后

/**

     * @REQUIRES:None;

     */

后置条件

例1

更改之前

/**

     * @EFFECTS:赋值语句;

     */

 

更改之后

/**

     * @EFFECTS:this.number = number;this.credit = credit;

     */

例2

更改之前

/**

     * @EFFECTS:(credit==credit+k）;

     */

更改之后

/**

     * @EFFECTS:(credit==（old）credit+k）;

     */

例3

更改之前

/**

     * @EFFECTS:(credit==（old）credit+k）;

     */

更改之后

/**

     * @EFFECTS:(credit==（old）credit+k）;

         * @THREAD_REQUIRES:

         *      \locked(\this);

         * @THREAD_EFFECTS:

         *      \locked();

     */

例4

更改之前

/**

     * @EFFECTS:(credit=（old）credit+k）;

     */

更改之后

/**

     * @EFFECTS:(credit==（old）credit+k）;

     */

 

5.按照作业分析被报的功能bug与规格bug在方法上的聚集关系

---

 

 

方法名	功能bug数	规格bug数
detail.write	1	0
Taxi.run	2	1
RequestIn.run	2	1
RequestAndControl	1	0
Taxi.changelight	0	1
Taxi.change	0	1
Main.main	0	1

 

6.归纳自己在设计规格和撰写规格的基本思路和体会

---

　　

每次都是先写完代码，后补的JSF，所以JSF可能就和实际运行有一些不同。

REQUIRES：回忆回忆有什么前置条件，想起什么就写什么

MODIFIES：看那些变量是蓝色的...因为我用的黑色底板颜色，特别注意return。

EFFECTS：只看结果，不看过程

THREAD_RQUIRES\THREAD_EFFECTS：方法是否带锁。

转载于:https://www.cnblogs.com/zyq16061126/p/9109300.html