UML技術(shù)與測(cè)試驅(qū)動(dòng)開發(fā)技術(shù)結(jié)合的研究.pdf

1、統(tǒng)一建模語言（UML）和測(cè)試驅(qū)動(dòng)開發(fā)（TDD）是軟件工程發(fā)展過程中的兩項(xiàng)卓越成果。一直以來，人們很少把UML和TDD應(yīng)用到同一個(gè)軟件開發(fā)過程中。然而實(shí)踐表明：結(jié)合面向?qū)ο蠓治?設(shè)計(jì)（OOA/D）和極限編程/測(cè)試驅(qū)動(dòng)開發(fā)（XP/TDD）技術(shù)是非常有效的開發(fā)模式，其中OOA/D中最常用的技術(shù)是UML。因此，研究UML技術(shù)與TDD技術(shù)的結(jié)合具有重要的意義。 首先，本文在基于UML狀態(tài)圖生成單元測(cè)試用例的方法及測(cè)試覆蓋準(zhǔn)則的基礎(chǔ)上，研究

2、了基于UML類圖及其OCL常量約束、前置條件和后置條件生成單元測(cè)試用例的方法及生成測(cè)試用例的覆蓋準(zhǔn)則。接下來，討論并分析了TDD與UML的關(guān)系，得出實(shí)際開發(fā)中的很多情況下，TDD離不開UML的結(jié)論。 在此基礎(chǔ)上，本文提出了一種結(jié)合UML技術(shù)與TDD技術(shù)開發(fā)軟件的方法，該方法以UML類圖及其OCL約束和TDD方法中自動(dòng)化單元測(cè)試框架作為這兩者之間的橋梁。 因此，本文進(jìn)一步研究了基于UML類圖及其OCL約束自動(dòng)生成單元測(cè)試用