按驗證契約設計.pdf

1、測試驅(qū)動開發(fā)(Test-Driven Development,TDD)和按契約設計(Design by Contract,DbC)是保證軟件質(zhì)量和支持變化的兩種新的軟件工程方法.該文通過深入、詳細的研究這兩種方法的利弊,將兩者融合起來,取長補短,提出基于驗證契約設計(Design by Verifying Contract,DbVC)方法,該方法的主旨是將TDD測試優(yōu)先的思想引入到DbC中,同時通過DbC中契約的設計思想來彌補TDD中設

2、計不足的弊端,其核心就是驗證契約驅(qū)動實現(xiàn).通過將DbVC的原則貫穿于整個軟件開發(fā)過程中,該文提出一個輕量級的軟件開發(fā)過程:基于驗證契約的全程質(zhì)量保證過程.該過程采用UML及其擴展來描述系統(tǒng)的組成和行為以及一組稱之為"抽象、細化、檢證"的活動不斷將系統(tǒng)向產(chǎn)品推進.該過程本質(zhì)就是"不斷細化,用行動的細化帶動對象的細化.在這不斷細化的過程,不斷檢查契約的一致性."該文通過一個簡單的例子,首先闡述了如何將現(xiàn)實業(yè)務規(guī)則按分類派生為系統(tǒng)模型的契約,