基于UML的OSPF協(xié)議分析和建模技術(shù)研究.pdf

1、該論文研究的內(nèi)容是為了適應(yīng)四川省網(wǎng)絡(luò)通信技術(shù)重點(diǎn)實(shí)驗(yàn)室兩項(xiàng)研究工作需要而提出的.首先協(xié)議測試系統(tǒng)需要易于修改適合用于測試系統(tǒng)調(diào)試的測試對象,其次新的單物理層平面體系結(jié)構(gòu)(SUPA)的研究和協(xié)議軟件開發(fā)中需要探索建模技術(shù).選擇以面向?qū)ο蠹夹g(shù)為基礎(chǔ)、具有方便的圖形化界面的統(tǒng)一建模語言(UML)為工具,以應(yīng)用較廣而復(fù)雜程度較高的OSPF協(xié)議作為探討協(xié)議實(shí)現(xiàn)建模的對象有助于上述兩項(xiàng)工作的后續(xù)工作的開展.該項(xiàng)工作利用UML對OSPF協(xié)議工作機(jī)制進(jìn)

2、行較為詳細(xì)的分析,為OSPF的主要運(yùn)作機(jī)制(鏈路狀態(tài)數(shù)據(jù)庫、鄰居發(fā)現(xiàn)和數(shù)據(jù)庫交換等)建模并在Linux平臺上實(shí)現(xiàn)了OSPF協(xié)議中的部分功能.該文中反映的作者建立的模型包括:用例模型、靜態(tài)結(jié)構(gòu)對象模型和動態(tài)行為模型.最后,作者對在Linux環(huán)境中開發(fā)的部分OSPF協(xié)議實(shí)現(xiàn)進(jìn)行了初步的測試,結(jié)果表明基本該實(shí)現(xiàn)具備了OSPF協(xié)議中相關(guān)部分的基本功能.該項(xiàng)研究與實(shí)踐還表明:用UML作為協(xié)議分析與建模工具,由于所建模型能以標(biāo)準(zhǔn)的、易于理解的方式為

3、協(xié)議軟件建立藍(lán)圖,有助于高效正確地開發(fā)可維護(hù)、易擴(kuò)展、和可重用與可移植的OSPF協(xié)議實(shí)現(xiàn).該論文的主要貢獻(xiàn)是:①用UML中的"用例模型"和"用例詳述"的形式對OSPF進(jìn)行了較為詳盡的分析,較好地解決了復(fù)雜協(xié)議中對繁瑣細(xì)節(jié)的分析描述.②用UML"狀態(tài)圖"對OSPF協(xié)議中的接口狀態(tài)機(jī)和鄰居狀態(tài)機(jī)進(jìn)行了建模分析;借用UML狀態(tài)圖中的"復(fù)合狀態(tài)"等概念對協(xié)議文本中描述的"接口狀態(tài)機(jī)"和"鄰居狀態(tài)機(jī)"進(jìn)行了細(xì)化,并以此為基礎(chǔ)分析了相關(guān)的實(shí)現(xiàn)機(jī)制.