[BUAA OO]第三次博客做业

OO第三次博客做业

一、 规格化设计的发展

我认为，规格化设计主要源自于软件设计的两次危机。第一次是因为大量存在的goto语句，让当时被普遍应用的面向过程式的编程语言臃肿不堪，在逻辑性上与工程规模上鱼与熊掌不可兼得。故而，人们提出告终构化程序设计的编程思想，旨在使程序实现结构化设计的思想。这种设计思想旨在控制各个模块的程序复杂度，从而保证总体工程的正确性。

然而，因为硬件设备的快速迭代，对于软件的要求也愈来愈高。工程的日益庞大、面向过程程序的可扩展性差、可维护性有限，使得人们提出了面型对象程序编程的思想。而面向对象程序编程之中，模块的对接是必不可少的。为了使本身的程序不至于让他人没法阅读，也不至于让其自己显得过于臃肿。一个良好的规格化设计显然是必须的。

 

二、 JSF不规范写法

这几回做业个人运气能够说是比较不错，第九次做业JSF写的不是很认真，许多不太好描述的后置条件都是用天然语言写的（当时也不太清楚符合规范的写法是如何，在后面的上机课上看到老师写的才明白），可是互测的同窗并无申报。。。第十次做业在这方面有所改进，可是仍是存在着modifies中因为对传进来的对象参数自己进行修改，故而我写的是modifies：该对象参数，被测试者申报书写不规范。在一番争论以后，我也明白了这种看似聪明的写法无疑是偷懒。也就服从了测试者的判断，根据规范修改了代码的规范。第十一次做业因为个人代码相比第十次的，没有大量的更改，而老的问题也已经修复，因此也没有被测试出不规范问题。

 

 

三、 JSF写法改进

1改进前：

 

1改进后：

 

 

2改进前

 

 

2改进后

 

 

3改进前

 

 

3改进后

 

 

4改进前

 

 

4改进后

 

 

四、 功能BUG与规格BUG的聚焦分析

个人功能bug与规格bug并没有明显联系，个人规格bug主要是由于我第一次不太会写，第二次在有些地方写的不是很清楚致使的。而个人功能bug是因为我没有即便看群聊天和issue致使的（这点真让人很不开心，指导书里面对某一个程序功能并无要求，而在微信群里面助教解答问题的时候竟然要求了，真是让人没法适从），核心功能上三次做业并无出现问题。

 

五、 设计规格和撰写规格的基本思路和体会

我认为一个好的规格，首先要求咱们对于这段函数的功能设计上就要清晰。好比对于传进来参数合理性的判断，也就是前置条件，咱们是应该统一放在调用函数以前，仍是该函数体以内，这样细小的设计虽然不会影响咱们程序的执行，可是对于一个良好的程序规范，统一的规格显然是必须的。其次，咱们的规格要写的尽可能清晰。就好比我第十次做业被测试者找出的bug就是一个很好的错误示范。对于对象参数的修改只写该对象的名字，并不能让人很明显的知道这个函数究竟对什么进行了修改。而上机课中老师们所写的规范就很是值得咱们学习，咱们甚至能够根据老师们所写的规范，反向写出、补全甚至修改不正确的代码，这就体现了规范在程序可维护性上的重要体现。