[BUAA OO]第三次博客作业

OO第三次博客作业

1、 规格化设计的发展

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

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

2、 JSF不规范写法

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

3、 JSF写法改进

1改进前：

1改进后：

2改进前

2改进后

3改进前

3改进后

4改进前

4改进后

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

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

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

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