但是當(dāng)開始調(diào)試時(shí)發(fā)生了什么呢？教條地（Dogmatically）遵循抽象邊界就像戴了一個(gè)眼罩；當(dāng)一個(gè)bug第一次出現(xiàn)的時(shí)候，你根本不知道它是隱藏在哪個(gè)抽象里，還是在層與層的交互之間。另一個(gè)思考抽象盒子內(nèi)部的通常的推論是 沖動(dòng)地假設(shè)這個(gè)bug是別人的錯(cuò)誤。（“一定是編譯器的錯(cuò)!”） 我想起 Knuth 關(guān)于計(jì)算機(jī)科學(xué)的引用：

     這樣的人非常擅長(zhǎng)處理不同的法則應(yīng)用到不同情況下的情形，他們是那些可以快速地改變抽象層次，可以同時(shí)觀察很多大的事物和小的細(xì)節(jié)的人。——引自 Hartmanis 的圖靈獎(jiǎng)獲獎(jiǎng)感言

我認(rèn)為這里的描述更多的是在軟件開發(fā)的科學(xué)面或者也可以說是設(shè)計(jì)方面的——但不是工程方面的。

因?yàn)檎{(diào)試和測(cè)試是和觀察和理解一個(gè)現(xiàn)有的系統(tǒng)相關(guān)的，而不是構(gòu)建或修改一個(gè)系統(tǒng)，我們自己構(gòu)建的藩籬（譯注：指層次抽象）使得我們的工程原則變成了障礙。調(diào)試工具，集成開發(fā)環(huán)境，測(cè)試框架，等等都被一種需要違反抽象邊界的需求而賦予了特色。

結(jié)果，干凈和骯臟（就像 Mitch 叫他們的）開始撕咬混戰(zhàn)，他們爭(zhēng)斗的問題是：我們的軟件開發(fā)框架 對(duì)他們對(duì) FIaI(NtMSHaG)LoE (ML) （譯注：實(shí)在不知道怎么翻譯）的堅(jiān)持 是應(yīng)該絕對(duì)嚴(yán)格呢，或是絕對(duì)寬松(Smalltalk)？ 我不知道通過 構(gòu)建涵蓋這些不同開發(fā)模型的軟件框架，我們是否能夠做的更好。

Joel Spolsky has a post about the phases of the software development cycle that's remarkably close to my own observations. In Joel's view, the first phase is art (i.e., design phase); the second is engineering (construction); and the third is science (debugging and testing).

Joel's interest is in project management and management tools, but mine is more in development tools. Once you recognize the divide between the engineering and science aspects of software development, you can better understand one of the tensions in the approach to development, a tension which leads to plenty of heated debate. This tension comes about because the Fundamental Immutable and Inviolable (Not to Mention Sacred, Holy, and Good) Laws of Engineering are sometimes at odds with the practice of science.

To wit: abstraction and modularity are the heart and lungs of software engineering. Rules #1 , 2 and 3 are "Localize concerns, i.e. , separate concerns and enforce their orthogonality." More simply: use abstractions and don't violate them. By making one concern completely oblivious to (i.e., parametric in) another, you maximize your freedom to change one without affecting the other. This allows for local reasoning which in turn leads to separable development and maintenance. Disciplined developers create layered abstractions and fastidiously respect their boundaries.

But what happens when you start debugging? Dogmatically adhering to abstraction boundaries is like wearing blinders; when a bug first arises, you never know which abstraction layer it's hiding in, or if it's in the interaction between layers. Another common consequence of thinking inside the abstraction box is impulsively assuming the bug is someone else's fault. ("The compiler must be broken!") I'm reminded of Knuth's quote about computer scientists:

Such people are especially good at dealing with situations where different rules apply in different cases; they are individuals who can rapidly change levels of abstraction, simultaneously seeing things "in the large" and "in the small."
          -- quoted in Hartmanis's Turing Award lecture

I think this is describing more the science and perhaps also the design aspects--but not the engineering aspect--of software development.

Because debugging and testing are about observing and understanding an existing system, rather than constructing or modifying a system, the barriers we construct to enforce our engineering principles become obstacles. Debugging tools, IDE's, testing frameworks, etc. are all characterized by a need to violate abstraction boundaries.

As a result, the Cleans and Dirties (as Mitch calls them) fight tooth and nail about whether our software development frameworks should be absolutely strict in their adherence to the FIaI(NtMSHaG)LoE (ML) or absolutely lax (Smalltalk). I wonder if we couldn't do better by building software frameworks that were aware of these different modes of development.