摘要： 至上而下的设计。首先有清晰的结构，其次模块分隔和模块独立性避免了系统级别的不公，第三，细节的抑制使结构上的缺陷更加容易识别。第四，设计在每个精化步骤上都可以测试的，所以测试可以尽早开始。 阅读全文