当架构模型进行迭代的过程中,必然伴随着对模型进行修改和改进。我们如何防止对模型的修改,又如何保证对模型进行正确的改进?
Context
架构模型通过精化、合并等活动之后,将会直接用于指导代码。而这个时候,往往就会暴露出一些问题出来,通常在实际编码中,发现架构存在或大或小的问题和错误,导致编码活动无法继续。这时候我们就需要对架构模型进行修改了。而架构设计的过程本身是一个迭代的过程,这就意味着在每一次的迭代周期中,都需要对架构进行改进。
Problem
我们如何避免对架构模型进行修改?又如何保证架构进行正确的改进?
Solution
我们从XP中借用了一个词来形容架构模型的修改过程――Refactoring,中文可以译作重构。这个词原本是形容对代码进行修改的。它指的是在不改变代码外部行为(可观察行为)的情况下对代码进行修改。我们把这个词用在在精化和合并模式中,我们提到了改变和改进的区别,因此,我们的对策主要分为两种:如何防止改变的发生,以及,使用重构来改进软件架构。
防止改变的发生
在任何时候,需求的变更总是对架构及软件有着最大的伤害。而需求变更中最大问题是需求蔓延。很多人都有这样的感觉,项目完成之后,发现初期的计划显得那么陌生。在项目早期对需求进行控制是重要的,但并不是该模式谈论的重点。我们更关注在项目中期的需求蔓延问题和晚期的需求控制问题。关于这方面的详细讨论,请参见稳定化模式。在项目中期,尤其是编码工作已经开始之后,要尽可能避免出现需求蔓延的情况。需求蔓延是经常发生的,可能是因为用户希望加入额外的功能,或是随着用户对软件了解的加深,发现原有的需求存在一定的不足。完全防止需求蔓延是无法做到的,但是需要对其进行必要的控制。例如,有效的估计变更对开发、测试、文档、管理、组织等各个方面带来的影响。
避免发生改变的另一个有效的办法是从软件过程着手。迭代法或渐进交付法都是可用的方法。一个软件的架构设计往往是相对复杂的,其中涉及到整体结构、具体技术等问题。一次性考虑全部的要素,就很容易发生考虑不周详的情况。人的脑容量并没有我们想象的那么大。将架构设计分为多个迭代周期来进展,可以减少单次迭代周期中需要建模的架构数量,因此可以减少错误的发生。另一方面,迭代次数的增多的直接结果是时间的延长,此外还有一个潜在的问题,如果由于设计师的失误,在后期的迭代中出现问题,必然会导致大量的返工。因为之前的模型已经实现了。在得与失之间,我们如何找到适当的平衡点呢?
迭代次数应该根据不同软件组织的特点来制定,对于初期的迭代周期而言,它的主要任务应该是制定总原则(使用架构愿景模式)、定义层结构和各层的职责(使用分层模式)、解决主要的技术问题上。在这个过程中,可以列出设计中可能会遇到的风险,并根据风险发生的可能性和危害性来排定优先级,指定专人按次序解决这些问题。除此之外,在初期参考前一个项目的经验,让团队进行设计(参见团队设计模式),这些组织保证也是很重要。初期的迭代过程是防止改变的最重要的活动。
请注意需求中的非功能需求。如果说功能需求定义了架构设计的目标的话,非功能需求就对如何到达这个目标做出了限制。例如,对于实现一个报表有着多种的操作方法,但是如果用户希望新系统和旧系统进行有效的融合,那么实现的方式就需要好好的规划了。请从初期的迭代过程就开始注意非功能需求,因为如果忽略它们,在后期需要花费很大的精力来调整架构模型。试想一下,如果在项目晚期的压力测试中,发现现有的数据库访问方法无法满足用户基本的速度要求,那对项目进行将会造成多么大的影响。
注意架构的稳定性。在精化和合并模式中,我们提到了一些模式,能够降低不同组件之间的耦合度。并向调用者隐藏具体的实现。接口和实现分离是设计模式最大的特点,请善用这一点。
尽可能的推延正式文档的编写。在设计的初期,修饰模型和编写文档通常都没有太大的意义。因为此时的模型还不稳定,需要不断的修改。如果这时候开始投入精力开发文档,这就意味着后续的迭代周期中将会增加一项维护文档一致性的工作了。而这时候的文档却无法发挥出它真正的作用。但是,延迟文档的编写并不等于什么都不做,无论什么时候进行设计,都需要随手记录设计的思路。这样在需要的时候,我们就能够有充分的资料对设计进行文档化的工作。
对软件架构进行重构
Martin Fowler的Refactoring一书为我们列举了一系列的对代码进行重构方法。架构也是类似的。
重构到模式
Joshua Kerievsky在《Refactoring to Patterns》一书中这样描述重构和模式的关系:
Patterns are a cornerstone of object-oriented design, while test-first programming and merciless refactoring are cornerstones of evolutionary design
(模式是面向对象设计的基石,而测试优先编程和无情的重构则是设计演进的基石)。作者在文中着重强调了保持适度设计的重要性。
在作者看来,模式常常扮演着过度设计的角色。而在解决这个问题的同时又利用模式的优点的解决方法是避免在一开始使用模式,而是在设计演进中重构到模式。这种做法非常的有效,因为在初始设计中使用模式的话,你的注意力将会集中到如何使用模式上,而不是集中在如何满足需求上。这样就会导致不恰当的设计(过度设计或是设计不充分)。因此,在初始设计中,除非非常有把握(之前有类似的经验),否则我们应当把精力放在如何满足需求上。在初始模型完成后(参见精化和合并模式中的例子),我们会对架构进行重构,而随着迭代的演进,需求的演进,架构也需要演进,这时候也需要重构行为。在这些过程中,如果发现某些部分的设计需要额外的灵活性来满足需求,那么这时候就需要引入模式了。
在软件开发过程中,我们更常的是遇见设计不充分的情况,例如组件之间耦合度过高,业务层向客户端暴露了过多的方法等等。很多的时候,产生这种现象是由于不切实际的计划而导致的。开发人员不得不为了最终期限而赶工,所有的时间都花费在新功能上,而完成的软件则被仍在一边。这样产出的软件是无法保证其质量的。对于这种情况,我们也需要对设计进行重构,当然,合理的计划是大前提所在。团队的领导者必须向高层的管理者说明,现在的这种做法只会导致未来的返工,目前的高速开发是以牺牲未来的速度为代价的。因为低劣的设计需要的高成本的维护,这将抵消前期节省的成本。如果软件团队需要可持续的发展,那么请避免这种杀鸡取卵的行为。
因此,使用模式来帮助重构行为,以实现恰当的设计。
测试行为
重构的前提是测试优先,测试优先是XP中很重要的一项实践。对于编码来说,测试优先的过程是先写测试用例,再编写代码来完成通过测试用例(过程细节不只如此,请参看XP的相关书籍)。但是对于架构设计来说,测试行为是发生在设计之后的,即在设计模型完成后,产出相应的测试用例,然后再编码实现。这时候,测试用例就成为联系架构设计和编码活动的纽带。
另一方面,在设计进行重构时,相应的测试用例也由很大的可能性发生改变。此时往往会发生需要改变的测试代码超出普通代码的情况。避免这种情况一种做法是令你的设计模型的接口和实现相分离,并使测试用例针对接口,而不是实现。在精化和合并模式中,我们提到了一些模式,能够有助于稳定设计和测试用例。Martin Fowler在他的Application Facade一文中,提到使用Facade模式来分离不同的设计部分,而测试则应当针对facade来进行,其思路也是如此。
考虑一个用户转帐的用例。银行需要先对用户进行权限的审核,在审核通过之后才允许进行转帐(处于简便起见,图中忽略了对象的创建过程和调用参数):
需要分别针对三个类编写测试用例,设计模型一旦发生变化,测试用例也将需要重新编写。再考虑下面的一种情况:
现在的设计引入了TransferFacade对象,这样我们的测试用例就可以针对TransferFacade来编写了,而转帐的业务逻辑是相对比较稳定的。使用这种测试思路的时候,要注意两点:首先,这并不是说其它的类就不需要测试用例了,这种测试思路仅仅是把测试的重点放在外观类上,因为任何时候充分的测试都是不可能的。但其它类的测试也是必要的,对于外观类来说,任何一个业务方法的错误都会导致最终的测试失败。其次,当外观类的测试无法达到稳定测试用例的效果时,就没有必要使用外观类了。
只针对有需要的设计进行重构。
任何时候,请确保重构行为仅仅对那些有重构需要的设计。重构需要花费时间和精力,而无用的重构除了增大设计者的虚荣心之外,并不能够为软件增加价值。重构的需要来源于两点:一是需求的变更。目前的设计可能无法满足新的需求,因此需要重构。二是对设计进行改进,以得到优秀简洁的设计。除了这两种情况,我们不应该对设计模型进行重构。
使用文档记录重构的模式。
应该承认,模式为设计提供了充分的灵活性。而这些设计部分往往都是模型的关键之处和难点所在,因此需要对模式进行文档化的工作,甚至在必要的时候,对这部分的设计进行培训和指导。确保你的团队能够正确的使用文档来设计、理解、扩展模式。我们在解决方案的前一个部分提到了尽可能延迟文档的创建。而在设计重构为模式的时候,我们就需要进行文档化的工作了。因为模式具有灵活性,能够抵抗一定的变更风险。
重构并保持模式的一致性
正如上一节所说的那样,模式并不是一个很容易理解的东西,虽然它保持了设计的灵活性和稳定性。对于面向对象的新手而言,模式简直就像是飞碟一样,由于缺少面向对象的设计经验,他们无法理解模式的处理思路,在实践中,我们不只一次的碰到这种情况。我们不得不重头开始教授关于模式的课程。因此,最后我们在软件设计采用一定数量的模式,并确保在处理相同问题的时候使用相同的模式。这样,应用的模式就成为解决某一类的问题的标准做法,从而在一定程度上降低了学习的曲线。
保持模式的一致性的另一个方面的含义是将模式作为沟通的桥梁。软件开发是一种团队的行为。因此沟通在软件开发中扮演着很重要的角色。试想一下,开发人员在讨论软件设计的时候,只需要说"使用工厂模式",大家就都能够明白,而不是费劲口舌的说明几个类之间的关系。这将大大提高沟通的效率。此外,模式的使用和设计的重构对于提高团队的编程水平,培养后备的设计人员等方面都是很有意义的。