面向?qū)ο蟮男滦蛙浖_發(fā)技術(shù)文獻綜述

劉家俊

摘 要：面向?qū)ο蟮拈_發(fā)技術(shù)能夠有效的提升網(wǎng)站開發(fā)、軟件系統(tǒng)開發(fā)、移動軟件和測試軟件的效率。針對面向?qū)ο蠹夹g(shù)在尺度分配、軟件測試以及操作多態(tài)性上存在的問題，本文提出了面向?qū)ο蟮男滦蛙浖_發(fā)技術(shù)研究。首先開展了異構(gòu)應(yīng)用領(lǐng)域的面向?qū)ο筮m應(yīng)性分析，得出了遙感成像領(lǐng)域、系統(tǒng)測試領(lǐng)域以及專家判決領(lǐng)域?qū)τ诿嫦驅(qū)ο蠹夹g(shù)的操作多態(tài)性需求。然后歸納了形式化推理的面向?qū)ο蠓椒▌?chuàng)新，分析了基于petri網(wǎng)推理、形式化uml以及總體視圖MVC的面向?qū)ο蠓椒尚行裕詈髮γ嫦驅(qū)ο蠓椒ㄟM行總結(jié)和歸納。

關(guān)鍵詞：對象；異構(gòu)；Petri；MVC

中圖分類號：TP311.52 文獻標(biāo)識碼：A 文章編號：1671-2064（2017）20-0015-01

面向?qū)ο笫且杂邢薰δ芗险J(rèn)知和表征世界客觀事物的重要思想，其區(qū)別于面向直線思維的過程認(rèn)知，能夠?qū)⒖腕w、功能、特征、狀態(tài)和過程進行有效分離，改變了人類最開始的按照流程分解問題來解決問題的方式，大幅地降低認(rèn)知處理的難度。通過面向?qū)ο蟮姆绞剑梅庋b、繼承、多態(tài)、傳遞等新型函數(shù)編寫方式，能夠設(shè)計出結(jié)構(gòu)清晰、可重用性高的大規(guī)模軟件系統(tǒng)，并且實現(xiàn)組件式和動態(tài)性的功能模塊和消息機制，從而為程序的擴展性和靈活性提供很好的支撐。國際上現(xiàn)有的開發(fā)語言C++、C#、JAVA、python、HTML、Verilog等都已經(jīng)能夠很好的支撐和擴展面向?qū)ο蟮木幊?，并在面向?qū)ο蟮闹С窒略诰W(wǎng)站開發(fā)、軟件系統(tǒng)開發(fā)、移動軟件和測試軟件取得了良好的應(yīng)用效果，而目前國內(nèi)在面向?qū)ο蟮拈_發(fā)語言方面仍是空白。

國內(nèi)外大型軟件開發(fā)公司以及科研機構(gòu)從面向?qū)ο蟮男骂I(lǐng)域以及新方法等方面開展研究。面向?qū)ο蟮倪b感影像信息提取，將圖像以及處理過程作為對象，提升信息提取準(zhǔn)確性和處理速率，但其最優(yōu)信息提取尺度分配如何從對象中建立客體仍然是一個難以處理的問題。同時，由于編程語言思路的改變，對軟件測試提出了更高的要求，傳統(tǒng)的檢測手段不足以滿足現(xiàn)有的軟件開發(fā)，因此解決軟件測試的問題非常迫切。對于面向?qū)ο蟮膶＜蚁到y(tǒng)，其專家知識庫是由推理模型不斷學(xué)習(xí)形成的，其對操作的封裝多態(tài)性需要進行進一步的簡化。

針對面向?qū)ο蠹夹g(shù)在尺度分配、軟件測試以及操作多態(tài)性上存在的問題，本文提出了面向?qū)ο蟮男滦蛙浖_發(fā)技術(shù)研究。首先開展了異構(gòu)應(yīng)用領(lǐng)域的面向?qū)ο筮m應(yīng)性分析，得出了遙感成像領(lǐng)域、系統(tǒng)測試領(lǐng)域以及專家判決領(lǐng)域?qū)τ诿嫦驅(qū)ο蠹夹g(shù)的操作多態(tài)性需求。然后歸納了形式化推理的面向?qū)ο蠓椒▌?chuàng)新，分析了基于petri網(wǎng)推理、形式化uml以及總體視圖MVC的面向?qū)ο蠓椒尚行?，最后對面向?qū)ο蠓椒ㄟM行總結(jié)和歸納。

1 異構(gòu)應(yīng)用領(lǐng)域的面向?qū)ο筮m應(yīng)性分析

1.1 遙感成像領(lǐng)域的面向?qū)ο筮m應(yīng)性分析

齊義娜[1]提出一種面向?qū)ο蟮母叻直媛蔬b感影像信息提取與尺度效應(yīng)分析，針對IKONOS影像地物信息的提取建立了基于精度的均指方差算法模型，通過理論分析了面向?qū)ο蟊O(jiān)督學(xué)習(xí)分類法的可行性。通過實驗仿真得到，面向?qū)ο蟮挠跋穹治龇椒ㄔ诜诸惥纫约胺诸愋Ч隙几哂诨谙裨姆诸惙椒?，在對高分辨率影像進行信息提取方面具有的優(yōu)越性。管珍等[2]提出面向?qū)ο蟮倪b感影像分類研究，提出了多尺度分割的概念，分析了參數(shù)選擇的標(biāo)準(zhǔn)，選取德國德紹城的遙感影像為數(shù)據(jù)源。實驗仿真表明，面向?qū)ο蟮姆诸惙椒▽崿F(xiàn)分類結(jié)果精度達到了85%以上。

1.2 系統(tǒng)測試領(lǐng)域的面向?qū)ο筮m應(yīng)性分析

在軟件測試領(lǐng)域，魏少涵[3]提出了一種面向?qū)ο筌浖y試方法，其構(gòu)建了一個基于論壇測試系統(tǒng)的測試方案，有效監(jiān)測出軟件運行過程中的局部漏洞。但是由于局域檢測效應(yīng)的存在，無法整體關(guān)聯(lián)全局代碼，容易造成漏洞的漏檢。齊震[4]設(shè)計了一種面向?qū)ο筌浖淖詣踊瘻y試框架，其針對傳統(tǒng)軟件測試方案的缺點，確定了一套測試框架的編寫規(guī)則和實現(xiàn)機制，并實現(xiàn)面向?qū)ο蟮闹悄茏赃m應(yīng)測試系統(tǒng)，有效解決了復(fù)雜環(huán)境下的測試問題。

1.3 專家判決領(lǐng)域的面向?qū)ο筮m應(yīng)性分析

在專家判決領(lǐng)域，李曙歌[5]提出了基于面向?qū)ο笾R表示的專家系統(tǒng)，其有效應(yīng)用于大田作業(yè)的小麥自動化生產(chǎn)中，實現(xiàn)預(yù)估小麥產(chǎn)量的可信度達到0.837，提升了專家系統(tǒng)的預(yù)測精度。汪康康等[6]提出了一種面向?qū)ο蟮恼{(diào)度命令票專家系統(tǒng)，并設(shè)計了以城市電力的調(diào)度為對象的調(diào)度命令票專家系統(tǒng)，構(gòu)造了規(guī)則庫和推理模塊。該系統(tǒng)已經(jīng)成功應(yīng)用在成都電業(yè)局調(diào)度局配網(wǎng)調(diào)度網(wǎng)絡(luò)中，并獲得了良好的應(yīng)用效果。

2 形式化推理的面向?qū)ο蠓椒▌?chuàng)新

2.1 基于petri網(wǎng)推理的面向?qū)ο蠓椒?/p>

在基于petri網(wǎng)絡(luò)領(lǐng)域，顧妍午等[7]提出了面向?qū)ο驪etri網(wǎng)技術(shù)在系統(tǒng)建模應(yīng)用，利用對象的封裝及繼承等特性，設(shè)計了描述對象內(nèi)部的狀態(tài)變化細節(jié)及與外部聯(lián)系的接口，降低了所建立系統(tǒng)模型的結(jié)構(gòu)復(fù)雜性，實現(xiàn)了OOPN建模了電梯的控制系統(tǒng)，有效解決了多聯(lián)系、多環(huán)節(jié)的建模問題。陶曉峰等[8]提出了一種面向?qū)ο驪etri網(wǎng)的構(gòu)造及應(yīng)用研究，基于客戶機/服務(wù)器模式，有效實現(xiàn)面向?qū)ο?Petri網(wǎng)的結(jié)構(gòu)、形式定義、運行規(guī)則。

2.2 基于形式化uml的面向?qū)ο蠓椒?/p>

在基于形式化UML的面向?qū)ο蠓椒ㄑ芯恐?，董愛美[9]提出了一種基于UML的面向?qū)ο笮枨蠼７椒ǎ行Τ绦蜷_發(fā)進行可視化、詳細描述、構(gòu)造和文檔化的標(biāo)準(zhǔn)建模，實現(xiàn)從面向功能的開發(fā)方法轉(zhuǎn)向使用UML的面向?qū)ο?，解決了系統(tǒng)的復(fù)雜性、多樣性和相互關(guān)聯(lián)性問題。陳娟[10]提出了基于UML的面向?qū)ο蟮南到y(tǒng)分析與設(shè)計，利用統(tǒng)一建模語言實現(xiàn)了訂單管理子系統(tǒng)的需求分析和系統(tǒng)設(shè)計，提升了系統(tǒng)開發(fā)的規(guī)范性。

2.3 基于總體視圖MVC的面向?qū)ο蠓椒?/p>

在基于總體視圖MVC的面向?qū)ο蟮难芯恐?，常彥平[11]提出了基于MVC模式的面向?qū)ο筌浖_發(fā)研究與應(yīng)用，實現(xiàn)了面向MVC的公文流轉(zhuǎn)管理系統(tǒng)，通過理論分析法和實例驗證，驗證總體視圖開發(fā)方法的正確性。郭軍[12]提出了一種基于MVC模式和ORM對象持久化的PHP開發(fā)框架與應(yīng)用，實現(xiàn)了視圖與業(yè)務(wù)領(lǐng)域的模型嚴(yán)格分離，利用控制器調(diào)控視圖和模型，降低了系統(tǒng)代碼設(shè)計的耦合型，提高了系統(tǒng)的健壯性。通過PHP實體類中屬性映射來簡單實現(xiàn)J2EEN HIBERNATE中的映射的過程。

3 總結(jié)與展望

通過研究面向?qū)ο蟮男滦蛙浖_發(fā)技術(shù)，分析異構(gòu)應(yīng)用領(lǐng)域的面向?qū)ο筮m應(yīng)性，得出了遙感成像領(lǐng)域、系統(tǒng)測試領(lǐng)域以及專家判決領(lǐng)域?qū)τ诿嫦驅(qū)ο蠹夹g(shù)的操作多態(tài)性需求。有效歸納了形式化推理的面向?qū)ο蠓椒▌?chuàng)新，分析了基于petri網(wǎng)推理、形式化uml以及總體視圖MVC的面向?qū)ο蠓椒尚行?，最后對面向?qū)ο蠓椒ㄟM行總結(jié)和歸納。

參考文獻

[1]齊義娜.面向?qū)ο蟮母叻直媛蔬b感影像信息提取與尺度效應(yīng)分析[D].東北師范大學(xué)，2009.

[2]管珍，曹廣超，易俊柱.面向?qū)ο蟮倪b感影像分類研究[J].科技創(chuàng)新導(dǎo)報，2010，（34）：8-10+12.

[3]魏少涵.面向?qū)ο筌浖y試方法分析與研究[D].廈門大學(xué)，2009.

[4]齊震.面向?qū)ο筌浖淖詣踊瘻y試框架的研究與設(shè)計[D].西北工業(yè)大學(xué)，2006.

[5]李曙歌.基于面向?qū)ο笾R表示的專家系統(tǒng)的實現(xiàn)[D].山東大學(xué)，2006.

[6]汪康康，張英敏.一種面向?qū)ο蟮恼{(diào)度命令票專家系統(tǒng)[J].華中電力，2007，（02）：31-34+38.

[7]顧妍午，王遵彤，吳啟迪.面向?qū)ο驪etri網(wǎng)技術(shù)在系統(tǒng)建模中的應(yīng)用[J].同濟大學(xué)學(xué)報：自然科學(xué)版，2010，（3）：437-441.

[8]陶曉峰，蔣昌駿，段江濤.一種面向?qū)ο驪etri網(wǎng)的構(gòu)造及應(yīng)用研究[J].機械科學(xué)與技術(shù)，2003，（5）：746-750.

[9]董愛美.UML建模技術(shù)在機房管理系統(tǒng)中的應(yīng)用研究[J].山東輕工業(yè)學(xué)院學(xué)報（自然科學(xué)版），2010，（01）：66-68.

[10]陳娟.基于UML的面向?qū)ο蟮南到y(tǒng)分析與設(shè)計[D].武漢理工大學(xué)，2005.

[11]常彥平.基于MVC模式的面向?qū)ο筌浖_發(fā)研究與應(yīng)用[D].西南石油學(xué)院，2003.

[12]郭軍.基于MVC模式和ORM對象持久化的PHP開發(fā)框架與應(yīng)用[D].吉林大學(xué)，2010.endprint