劉家俊

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

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

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

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

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

針對(duì)面向?qū)ο蠹夹g(shù)在尺度分配、軟件測(cè)試以及操作多態(tài)性上存在的問題，本文提出了面向?qū)ο蟮男滦蛙浖_發(fā)技術(shù)研究。首先開展了異構(gòu)應(yīng)用領(lǐng)域的面向?qū)ο筮m應(yīng)性分析，得出了遙感成像領(lǐng)域、系統(tǒng)測(cè)試領(lǐng)域以及專家判決領(lǐng)域?qū)τ诿嫦驅(qū)ο蠹夹g(shù)的操作多態(tài)性需求。然后歸納了形式化推理的面向?qū)ο蠓椒▌?chuàng)新，分析了基于petri網(wǎng)推理、形式化uml以及總體視圖MVC的面向?qū)ο蠓椒尚行裕詈髮?duì)面向?qū)ο蠓椒ㄟM(jìn)行總結(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)分析，針對(duì)IKONOS影像地物信息的提取建立了基于精度的均指方差算法模型，通過理論分析了面向?qū)ο蟊O(jiān)督學(xué)習(xí)分類法的可行性。通過實(shí)驗(yàn)仿真得到，面向?qū)ο蟮挠跋穹治龇椒ㄔ诜诸惥纫约胺诸愋Ч隙几哂诨谙裨姆诸惙椒ǎ趯?duì)高分辨率影像進(jìn)行信息提取方面具有的優(yōu)越性。管珍等[2]提出面向?qū)ο蟮倪b感影像分類研究，提出了多尺度分割的概念，分析了參數(shù)選擇的標(biāo)準(zhǔn)，選取德國(guó)德紹城的遙感影像為數(shù)據(jù)源。實(shí)驗(yàn)仿真表明，面向?qū)ο蟮姆诸惙椒▽?shí)現(xiàn)分類結(jié)果精度達(dá)到了85%以上。

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

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

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

在專家判決領(lǐng)域，李曙歌[5]提出了基于面向?qū)ο笾R(shí)表示的專家系統(tǒng)，其有效應(yīng)用于大田作業(yè)的小麥自動(dòng)化生產(chǎn)中，實(shí)現(xiàn)預(yù)估小麥產(chǎn)量的可信度達(dá)到0.837，提升了專家系統(tǒng)的預(yù)測(cè)精度。汪康康等[6]提出了一種面向?qū)ο蟮恼{(diào)度命令票專家系統(tǒng)，并設(shè)計(jì)了以城市電力的調(diào)度為對(duì)象的調(diào)度命令票專家系統(tǒng)，構(gòu)造了規(guī)則庫(kù)和推理模塊。該系統(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)用，利用對(duì)象的封裝及繼承等特性，設(shè)計(jì)了描述對(duì)象內(nèi)部的狀態(tài)變化細(xì)節(jié)及與外部聯(lián)系的接口，降低了所建立系統(tǒng)模型的結(jié)構(gòu)復(fù)雜性，實(shí)現(xiàn)了OOPN建模了電梯的控制系統(tǒng)，有效解決了多聯(lián)系、多環(huán)節(jié)的建模問題。陶曉峰等[8]提出了一種面向?qū)ο驪etri網(wǎng)的構(gòu)造及應(yīng)用研究，基于客戶機(jī)/服務(wù)器模式，有效實(shí)現(xiàn)面向?qū)ο?Petri網(wǎng)的結(jié)構(gòu)、形式定義、運(yùn)行規(guī)則。

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

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

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

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

3 總結(jié)與展望

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

參考文獻(xiàn)

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

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

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

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

[5]李曙歌.基于面向?qū)ο笾R(shí)表示的專家系統(tǒng)的實(shí)現(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].同濟(jì)大學(xué)學(xué)報(bào)：自然科學(xué)版，2010，（3）：437-441.

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

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

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

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

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