吳 剛，薛錦云

(江西師范大學(xué)計(jì)算機(jī)信息工程學(xué)院，江西 南昌 330022)

0 引言

我國軟件服務(wù)外包正在迅猛發(fā)展，根據(jù)TPI數(shù)據(jù)顯示，截至2010年底，我國承接軟件外包的合同金額和執(zhí)行金額分別達(dá)到274億美元和198億美元，分別實(shí)現(xiàn)了37%和43.1%的增長率［1］。但由于各種各樣的原因，軟件外包中依然存在著開發(fā)效率低和可靠性不高的問題。

在國內(nèi)，一些比較知名的軟件外包企業(yè)如東軟集團(tuán)、中軟國際，為了提高軟件開發(fā)效率，都在積極研發(fā)各自的業(yè)務(wù)基礎(chǔ)平臺，業(yè)務(wù)基礎(chǔ)平臺封裝了瑣碎的技術(shù)細(xì)節(jié)，提供了預(yù)設(shè)好的行業(yè)套件及業(yè)務(wù)組件，如ERP、OA、電子政務(wù)等，通過對這些套件及組件的重用和組裝，可以在業(yè)務(wù)基礎(chǔ)平臺上快速靈活地搭建出復(fù)雜的應(yīng)用軟件系統(tǒng)［2-3］。業(yè)務(wù)基礎(chǔ)平臺有其局限性，只有所構(gòu)建的系統(tǒng)中包含行業(yè)套件或業(yè)務(wù)組件，才能提高軟件開發(fā)效率。軟件可靠性與所使用的套件或組件及平臺的可靠性有關(guān)。由美國卡內(nèi)基梅隆大學(xué)研制的Alice，可以自動(dòng)生成程序，但是只能生成動(dòng)畫電影或簡單的視頻游戲，目前只用于教學(xué)［4-5］。由ARTech公司開發(fā)的GeneXus，是一個(gè)智能化的、支持多平臺應(yīng)用的模型驅(qū)動(dòng)開發(fā)工具。據(jù)介紹，GeneXus可以自動(dòng)化地進(jìn)行軟件設(shè)計(jì)、開發(fā)、維護(hù)，提高了軟件開發(fā)效率，降低開發(fā)、維護(hù)成本［6］。

許多計(jì)算機(jī)科學(xué)家為了提高軟件開發(fā)效率和可靠性，一直以來都致力于代碼自動(dòng)生成方面的研究［7］。由薛錦云教授提出的PAR方法及其團(tuán)隊(duì)研發(fā)的高可靠軟件開發(fā)平臺PAR平臺［8-9］，利用代碼生成技術(shù)可以大大加速軟件的開發(fā)進(jìn)度，提高軟件的質(zhì)量。本文選取典型軟件外包案例，將PAR方法和PAR平臺應(yīng)用到該案例開發(fā)過程中，主要用到需求分析、詳細(xì)設(shè)計(jì)、編碼和測試中，以提高軟件外包開發(fā)效率和可靠性。

1 PAR方法和PAR平臺介紹

PAR方法和PAR平臺二者合稱PAR，主要由4個(gè)部分組成:PAR方法的算法描述語言Radl［10］;PAR方法的程序設(shè)計(jì)語言Apla［11］;統(tǒng)一的算法設(shè)計(jì)和證明方法;系列自動(dòng)程序轉(zhuǎn)換工具，即PAR平臺。PAR方法是通過對現(xiàn)存算法程序設(shè)計(jì)方法局限性和尋找問題求解序列遞推關(guān)系的深入研究，進(jìn)而提出的一種統(tǒng)一的算法程序設(shè)計(jì)和證明方法。圖1是使用PAR進(jìn)行軟件開發(fā)的過程。Radl語言是為實(shí)現(xiàn)算法程序形式化和半自動(dòng)化開發(fā)的PAR方法而定義的一種基于遞推關(guān)系的算法設(shè)計(jì)語言，它是PAR方法的重要組成部分。它主要功能是描述問題的規(guī)約、規(guī)約變換規(guī)則和描述算法以及描述功能需求。Apla是為算法程序形式化開發(fā)的PAR方法而定義的一種抽象程序設(shè)計(jì)語言，充分體現(xiàn)功能抽象、數(shù)據(jù)抽象等現(xiàn)代程序設(shè)計(jì)思想，使之簡單實(shí)用，便于程序開發(fā)，使得構(gòu)成的程序易于閱讀、理解和驗(yàn)證，它可以用來描述軟件的詳細(xì)設(shè)計(jì)，且易于被轉(zhuǎn)換成各種可執(zhí)行的程序設(shè)計(jì)語言程序。在此基礎(chǔ)上研制了綜合性軟件開發(fā)環(huán)境，即PAR 平臺［12］。

圖1 PAR軟件開發(fā)流程

2 案例選取及介紹

案例:公交運(yùn)營調(diào)度系統(tǒng)。

該系統(tǒng)選自中軟國際實(shí)訓(xùn)系列叢書［13］，該叢書都是按照軟件企業(yè)工作要求完成軟件開發(fā)和軟件測試的訓(xùn)練，培養(yǎng)符合企業(yè)要求的人才，提高就業(yè)競爭力。中軟國際是中國大型綜合性軟件與信息服務(wù)企業(yè)，在軟件外包方面有著杰出的貢獻(xiàn)和成績。

該案例選取的意義在于將PAR平臺首次應(yīng)用到軟件外包活動(dòng)中去，在需求分析、詳細(xì)設(shè)計(jì)、編碼及測試階段充分發(fā)揮PAR平臺的優(yōu)勢，來提高軟件外包的開發(fā)效率和可靠性，具有一定的現(xiàn)實(shí)意義。該系統(tǒng)的主要功能有實(shí)時(shí)監(jiān)控、動(dòng)態(tài)調(diào)度以及乘車查詢。實(shí)時(shí)監(jiān)控功能是對運(yùn)行中的各條線路的公交車輛進(jìn)行實(shí)時(shí)的監(jiān)控，監(jiān)控的范圍包括車速、客流以及故障和事故;動(dòng)態(tài)調(diào)度則利用實(shí)時(shí)監(jiān)控的結(jié)果，在發(fā)現(xiàn)道路擁堵、客流量過大或者車輛出現(xiàn)故障事故時(shí)，提示公交調(diào)度管理員及時(shí)調(diào)度車輛，保證公交運(yùn)力的及時(shí)調(diào)整;乘車查詢主要幫助乘客選擇乘車線路。

3 案例設(shè)計(jì)和實(shí)現(xiàn)

3.1 需求分析階段的應(yīng)用

在軟件外包活動(dòng)中，項(xiàng)目立項(xiàng)之后就開始進(jìn)入需求分析階段，在做功能需求分析的時(shí)候，最常用的就是用圖表方式如:UML活動(dòng)圖和狀態(tài)圖等。這種圖表方式有一定的優(yōu)點(diǎn)，如簡單、直觀以及很容易理解，但也有明顯不足，就是不能保證完全正確。然而用數(shù)學(xué)規(guī)約的方式就可以彌補(bǔ)這個(gè)缺點(diǎn)，這種方法是建立在數(shù)學(xué)概念基礎(chǔ)上的，例如謂詞邏輯、狀態(tài)機(jī)以及集合等，用這種形式化規(guī)約來描述需求是很精確清晰的。

用PAR平臺來做需求分析就是使用數(shù)學(xué)規(guī)約的方式，使用的規(guī)約語言是Radl語言。

首先要先深入了解Radl語言，用Radl語言主要是描述功能需求，其格式如下:

共分為5個(gè)部分:USER是指這個(gè)功能的使用者是誰，這個(gè)使用者可以是某個(gè)人，也可以是某物，甚至是一個(gè)系統(tǒng)或一段程序;第二行就要說明所用到的標(biāo)識符，主要說明FQ和FR中出現(xiàn)的變量和函數(shù)的屬性及類型，其中屬性有3種:(1)輸入變量，用關(guān)鍵字in標(biāo)識;(2)輸出變量，用關(guān)鍵字out標(biāo)識;(3)輔助變量，用關(guān)鍵字aux標(biāo)識，類型可以是Radl語言中的標(biāo)準(zhǔn)數(shù)據(jù)類型(integer，real，boolean，char，string)、自定義簡單類型(記錄類型、數(shù)組類型、枚舉類型、子界類型和結(jié)果集類型)、預(yù)定義ADT類型(集合類型、序列類型、樹類型、圖類型、數(shù)據(jù)庫表類型)和自定義ADT類型;第三行FQ，可以解釋為此功能點(diǎn)的前置斷言，用于表示使用者輸入?yún)?shù)必須滿足的條件;第四行FR是此功能點(diǎn)的后置斷言，用于表示使用者所要獲得的功能目標(biāo);最后一行就是對整個(gè)功能點(diǎn)做文字性的說明，更有利于對此功能點(diǎn)進(jìn)行檢查和維護(hù)。以乘車查詢?yōu)槔?

說明:對公交線路的查詢，輸入起始站點(diǎn)和終止站點(diǎn)，可以查詢可以到達(dá)的線路，當(dāng)brt1.bus_road=brt2.bus_road 時(shí)，是可以直達(dá)的;當(dāng) brt1.bus_road≠brt2.bus_road時(shí)，需要換乘才可以到達(dá)終點(diǎn)。

3.2 詳細(xì)設(shè)計(jì)階段的應(yīng)用

在外包軟件活動(dòng)中，詳細(xì)設(shè)計(jì)和編碼都是很重要的步驟，詳細(xì)設(shè)計(jì)的好壞會直接影響到后續(xù)的編碼工作，因?yàn)橐话銇碇v編碼工作是以詳細(xì)設(shè)計(jì)為參考依據(jù)，其正確性和可靠性勢必會影響到整個(gè)軟件的質(zhì)量。詳細(xì)設(shè)計(jì)就是對概要設(shè)計(jì)的一個(gè)細(xì)化，就是詳細(xì)地設(shè)計(jì)每個(gè)模塊實(shí)現(xiàn)算法，所需的局部結(jié)構(gòu)。其主要任務(wù)是設(shè)計(jì)每個(gè)模塊的實(shí)現(xiàn)算法、所需的局部數(shù)據(jù)結(jié)構(gòu)。詳細(xì)設(shè)計(jì)的目標(biāo)有2個(gè):實(shí)現(xiàn)模塊功能的算法要邏輯上正確和算法描述要簡明易懂。詳細(xì)設(shè)計(jì)的表示工具有圖形工具和語言工具。圖形工具有業(yè)務(wù)流圖、程序流程圖、PAD(Problem Analysis Diagram)圖、NS(由Nassi和Shneidermen開發(fā)，簡稱NS)圖。語言工具有偽碼和PDL(Program Design Language)等。

在PAR平臺下是使用Apla語言進(jìn)行詳細(xì)的設(shè)計(jì)，Apla語言的主要特色是充分體現(xiàn)功能抽象，數(shù)據(jù)抽象等現(xiàn)代程序設(shè)計(jì)思想，使之簡單實(shí)用，便于程序開發(fā)，使得構(gòu)成的程序易于閱讀理解和驗(yàn)證，且易于被轉(zhuǎn)換成各種可執(zhí)行的程序設(shè)計(jì)語言程序。用它可以描述每個(gè)模塊詳細(xì)的算法設(shè)計(jì)，也可以描述每個(gè)模塊內(nèi)的數(shù)據(jù)結(jié)構(gòu)，還可以用于數(shù)據(jù)庫設(shè)計(jì)等，這些都是詳細(xì)設(shè)計(jì)的基本任務(wù)，Apla語言可以勝任這些任務(wù)。并且還可以驗(yàn)證其正確性，這一點(diǎn)對程序的可靠性非常重要。下面概述使用Apla語言是怎樣描述詳細(xì)設(shè)計(jì)的。

首先介紹總體結(jié)構(gòu)，包括3部分:設(shè)計(jì)名稱、數(shù)據(jù)結(jié)構(gòu)設(shè)計(jì)(含數(shù)據(jù)庫設(shè)計(jì))以及算法和其它功能設(shè)計(jì)如下:

Apla語言中除包含標(biāo)準(zhǔn)數(shù)據(jù)類型外，還有自定義簡單類型如記錄類型、數(shù)組類型等，還有預(yù)定義的抽象數(shù)據(jù)類型如集合、表、樹、圖等，并且還可以自定義抽象數(shù)據(jù)類型，可以很好地用于數(shù)據(jù)結(jié)構(gòu)設(shè)計(jì);PAR方法中內(nèi)置關(guān)系數(shù)據(jù)庫機(jī)制，使用關(guān)系代數(shù)符號描述數(shù)據(jù)庫操作，用記錄類型來存儲數(shù)據(jù)庫表設(shè)計(jì);算法的設(shè)計(jì)是PAR方法的強(qiáng)項(xiàng)，不但可以形式化推導(dǎo)出高效算法還可以對算法進(jìn)行正確性證明［7］。以乘車查詢?yōu)槔?，算法和其它功能設(shè)計(jì)如下:

這里只給出了乘客乘車查詢的功能設(shè)計(jì)，并詳細(xì)給出了從哪個(gè)數(shù)據(jù)庫表中取數(shù)據(jù)，取出數(shù)據(jù)后怎樣操作才能滿足乘客的要求。

3.3 編碼階段的應(yīng)用

一般來講編碼階段就是程序員依照詳細(xì)設(shè)計(jì)的具體手工實(shí)現(xiàn)，是模塊化的實(shí)現(xiàn)，所以也稱實(shí)現(xiàn)階段。而在PAR平臺中對詳細(xì)設(shè)計(jì)的實(shí)現(xiàn)是完全自動(dòng)的，即用Apla語言描述的詳細(xì)設(shè)計(jì)可以在PAR平臺中自動(dòng)轉(zhuǎn)換為可運(yùn)行的具體語言程序，如C++、Java等，所依托的是PAR平臺中的一系列程序自動(dòng)生成工具。圖2是使用C++生成工具［14］，將乘車查詢的Apla描述自動(dòng)生成C++代碼，圖左側(cè)是用Apla語言描述乘車查詢詳細(xì)設(shè)計(jì)，圖右側(cè)是自動(dòng)生成的C++程序代碼。

圖2 乘車查詢C++代碼自動(dòng)生成

4 應(yīng)用效果

4.1 開發(fā)效率提高

PAR平臺中進(jìn)行詳細(xì)設(shè)計(jì)時(shí)，Apla語言中含有豐富的抽象數(shù)據(jù)類型，如樹、圖、鏈表和集合等，對數(shù)據(jù)結(jié)構(gòu)的設(shè)計(jì)有很大的幫助。另外，在對數(shù)據(jù)庫功能設(shè)計(jì)時(shí)，直接使用關(guān)系代數(shù)符號描述操作過程，例如在案例中要實(shí)現(xiàn)2個(gè)表的連接，并且從連接后的結(jié)果中篩選出想要的字段，用關(guān)系代數(shù)表達(dá)式是這樣實(shí)現(xiàn)的:

用標(biāo)準(zhǔn)SQL語句實(shí)現(xiàn):

比較以上兩者的實(shí)現(xiàn)，可以很直觀地看出，用關(guān)系代數(shù)實(shí)現(xiàn)簡單、易寫、不容易出錯(cuò)，而SQL語句顯得冗長，且易出錯(cuò)。目前國內(nèi)沒有哪個(gè)平臺可以做到這一點(diǎn)，大多數(shù)還是使用嵌入式SQL語句的形式，稍微簡化一點(diǎn)的就是把數(shù)據(jù)庫的連接封裝成一個(gè)接口，把某一類查詢問題也封裝成一個(gè)接口來使用，但是還是避免不了編寫復(fù)雜的SQL語句。PAR平臺中這樣做的優(yōu)勢非常明顯，在平臺中可以直接使用關(guān)系代數(shù)符號來進(jìn)行數(shù)據(jù)庫的操作，實(shí)現(xiàn)了標(biāo)準(zhǔn)SQL語句功能，并且可以轉(zhuǎn)換為嵌入的SQL語句，關(guān)系代數(shù)的優(yōu)勢是編寫簡單，容易糾錯(cuò)，因此可以提高開發(fā)效率。

一般來講編碼階段就是程序員依照詳細(xì)設(shè)計(jì)的具體手工實(shí)現(xiàn)，是模塊化的實(shí)現(xiàn)，所以也稱實(shí)現(xiàn)階段。而在PAR平臺中對詳細(xì)設(shè)計(jì)的實(shí)現(xiàn)是完全自動(dòng)的，即用Apla語言描述的詳細(xì)設(shè)計(jì)可以在PAR平臺中自動(dòng)轉(zhuǎn)換為可運(yùn)行的具體語言程序，如C++、Java等。這所依托的是PAR平臺中的一系列程序自動(dòng)轉(zhuǎn)換工具。PAR平臺中編碼的方式由手工變成了機(jī)械地轉(zhuǎn)換，從而節(jié)省了編碼的強(qiáng)度和編碼的時(shí)間，如果將PAR平臺應(yīng)用與軟件外包活動(dòng)中，會大大提高軟件的開發(fā)效率，節(jié)約開發(fā)成本。這將會對軟件服務(wù)外包在技術(shù)上和經(jīng)濟(jì)上帶來深遠(yuǎn)的影響。

4.2 可靠性提高

用Radl語言描述功能點(diǎn)的設(shè)計(jì)，將形式化方法應(yīng)用于需求建模，而不追求完全形式化，以達(dá)到輕量化的目標(biāo)，同時(shí)保證了系統(tǒng)的清晰性、正確性和可靠性，并降低了系統(tǒng)的開發(fā)成本。依照Radl描述，用Apla語言做詳細(xì)設(shè)計(jì)可以很容易快速地實(shí)現(xiàn)。在Radl描述中給出了要達(dá)到這一功能所需要的標(biāo)識符、要具備的條件以及所要達(dá)到的目標(biāo)，這些為詳細(xì)設(shè)計(jì)做了很好的鋪墊，并且可以作為標(biāo)準(zhǔn)來驗(yàn)證詳細(xì)設(shè)計(jì)是否符合用戶需求。

5 結(jié)束語

本文將PAR方法和PAR平臺應(yīng)用到軟件外包開發(fā)過程中，在需求分析階段應(yīng)用過程中，用Radl語言描述功能點(diǎn)的設(shè)計(jì)，將形式化方法應(yīng)用于需求建模，而不追求完全形式化，以達(dá)到輕量化的目標(biāo)，同時(shí)保證了系統(tǒng)的清晰性、正確性和可靠性，并降低了系統(tǒng)的開發(fā)成本。Dianel Jackson說過，比起傳統(tǒng)的形式化方法，部分形式化方法在表達(dá)能力和應(yīng)用領(lǐng)域上都還有差距，但其使用效率更高，效果更顯著。在詳細(xì)設(shè)計(jì)應(yīng)用的過程中，用Apla語言來描述詳細(xì)設(shè)計(jì)，Apla語言中包含除簡單數(shù)據(jù)類型外，還包含了許多復(fù)雜的抽象數(shù)據(jù)類型，并能自定義數(shù)據(jù)結(jié)構(gòu)，因此能夠勝任模塊中數(shù)據(jù)結(jié)構(gòu)的設(shè)計(jì);算法設(shè)計(jì)和其它設(shè)計(jì)的任務(wù)，利用PAR方法可以設(shè)計(jì)出高效高可靠的算法，在PAR平臺中利用簡便的關(guān)系代數(shù)符號進(jìn)行數(shù)據(jù)庫操作，在數(shù)據(jù)庫處理方面有非常大的優(yōu)勢;在PAR平臺中基本能完成數(shù)據(jù)庫表的設(shè)計(jì)，用來進(jìn)行模塊中數(shù)據(jù)庫操作功能的設(shè)計(jì)。在編碼方面用的過程中，PAR平臺可以將Apla語言描述的詳細(xì)設(shè)計(jì)自動(dòng)轉(zhuǎn)換為可運(yùn)行的語言程序，如C++、Java等。PAR平臺自動(dòng)轉(zhuǎn)換的特性會大大增加軟件的開發(fā)效率。

［1］中國服務(wù)外包網(wǎng).中國服務(wù)外包網(wǎng)主頁［EB/OL］.http://chinasourcing.mofcom.gov.cn/，2013-06-17.

［2］Neusoft.東軟集團(tuán)軟件產(chǎn)品與平臺［EB/OL］.http://www.neusoft.com/cn/products＆platform/index.html，2013-06-17.

［3］中軟集團(tuán).中軟集團(tuán)外包服務(wù)［EB/OL］.http://www.chinasofti.com/superWebCMS/pages/sites/MainSite/html/zh/outsourcing-services/index.shtml，2013-06-17.

［4］Alice.Alice主頁［EB/OL］.http://www.alice.org/，2013-06-17.

［5］Charles W Herbert.An Introduction to Programming Using Alice 2.2(2nd Ed)［M］.Cengage Learning，2010.

［6］GeneXus.GeneXus官方網(wǎng)站［EB/OL］.http://www.genexus.com/，2013-06-17.

［7］徐家福，陳道蓄，呂建，等.軟件自動(dòng)化［M］.清華大學(xué)出版社，1994.

［8］Xue Jinyun.A unified approach for developing efficient algorithmic programs［J］.Journal of Computer Science and Technologies，1997，12(4):314-329.

［9］薛錦云.新型軟件開發(fā)方法PAR及其支撐平臺［R］.江西師范大學(xué)省高性能計(jì)算技術(shù)重點(diǎn)實(shí)驗(yàn)室技術(shù)報(bào)告，2005.

［10］薛錦云.算法設(shè)計(jì)語言Radl報(bào)告［R］.江西師范大學(xué)計(jì)算機(jī)軟件研究所技術(shù)報(bào)告，2001.

［11］薛錦云.抽象程序設(shè)計(jì)語言Apla報(bào)告［R］.江西師范大學(xué)計(jì)算機(jī)軟件研究所技術(shù)報(bào)告，2001.

［12］石海鶴，薛錦云.基于PAR的算法形式化開發(fā)［J］.計(jì)算機(jī)學(xué)報(bào)，2009，32(5):982-991.

［13］［美］Andy Yue，駱力明，徐建民.軟件開發(fā)技能實(shí)訓(xùn)教程［M］.北京:科學(xué)出版社，2010.

［14］賴勇.Apla一C++自動(dòng)程序轉(zhuǎn)換系統(tǒng)的研制［D］.南昌:江西師范大學(xué)，2002.