基于PAR平臺(tái)的短信系統(tǒng)的應(yīng)用研究.pdf

1、軟件的可靠性差和開(kāi)發(fā)效率低一直是困擾軟件產(chǎn)業(yè)界的兩大難題，高效率地開(kāi)發(fā)正確、可靠的軟件已成為軟件產(chǎn)業(yè)的迫切要求。尤其在現(xiàn)在各種大型數(shù)據(jù)庫(kù)處理系統(tǒng)，商業(yè)網(wǎng)站特別是一些尖端應(yīng)用領(lǐng)域(國(guó)防、醫(yī)療、通信等)對(duì)數(shù)據(jù)庫(kù)應(yīng)用程序的可靠性、安全性和開(kāi)發(fā)效率的要求不斷提高，傳統(tǒng)的數(shù)據(jù)庫(kù)應(yīng)用程序的開(kāi)發(fā)方法已經(jīng)無(wú)法滿足最終用戶的需求。軟件開(kāi)發(fā)的形式化與自動(dòng)化被認(rèn)為是克服軟件危機(jī)、提高軟件開(kāi)發(fā)效率和可靠性的有效方法。 PAR方法是一種實(shí)用的形式化開(kāi)發(fā)方

2、法，它實(shí)現(xiàn)了由算法規(guī)約到抽象程序以及到可執(zhí)行程序的自動(dòng)轉(zhuǎn)換，這樣就部分實(shí)現(xiàn)了軟件開(kāi)發(fā)的自動(dòng)化。而由于PAR方法描述的程序是經(jīng)過(guò)嚴(yán)格的推導(dǎo)、證明的，所以程序的正確性、可靠性得到了很好的保證。但是，目前PAR方法和PAR自動(dòng)轉(zhuǎn)換系統(tǒng)應(yīng)用只是僅僅停留在短小應(yīng)用程序和算法程序的開(kāi)發(fā)中，并沒(méi)有真正應(yīng)用到實(shí)際大型應(yīng)用軟件開(kāi)發(fā)過(guò)程中。為了在大型應(yīng)用程序開(kāi)發(fā)應(yīng)用PAR方法和PAR平臺(tái)，充分體現(xiàn)PAR方法在解決軟件危機(jī)中優(yōu)勢(shì)，使眾多數(shù)據(jù)庫(kù)應(yīng)用軟件得到PA

3、R方法高可靠性保障。 本文介紹了在開(kāi)發(fā)短信平臺(tái)系統(tǒng)中成功運(yùn)用PAR方法和PAR平臺(tái)的方法。在系統(tǒng)中的算法設(shè)計(jì)部分由PAR算法描述得到；系統(tǒng)中的數(shù)據(jù)庫(kù)操作由PAR關(guān)系數(shù)據(jù)庫(kù)機(jī)制描述得到。在開(kāi)發(fā)過(guò)程中充分利用PAR方法的高可靠性和PAR自動(dòng)轉(zhuǎn)換器的自動(dòng)化特性，在上述兩方面均由轉(zhuǎn)換器自動(dòng)生成實(shí)現(xiàn)代碼，有效的提高了應(yīng)用程序開(kāi)發(fā)過(guò)程中編寫(xiě)和調(diào)試代碼的時(shí)間，減少軟件測(cè)試過(guò)程，從根本上提高了代碼的可靠性。同時(shí)系統(tǒng)的開(kāi)發(fā)過(guò)程中結(jié)合當(dāng)前比較流行的

4、軟件開(kāi)發(fā)模式，有效的提高了該方法和平臺(tái)應(yīng)用的效率。 本文創(chuàng)新之處主要體現(xiàn)在以下幾個(gè)方面： 1 在對(duì)系統(tǒng)進(jìn)行需求分析和設(shè)計(jì)的過(guò)程中，我們積極結(jié)合PAR方法中算法和數(shù)據(jù)庫(kù)機(jī)制開(kāi)發(fā)方法得到貼切實(shí)際軟件開(kāi)發(fā)的開(kāi)發(fā)流程。提供了在實(shí)際軟件開(kāi)發(fā)過(guò)程中的算法開(kāi)發(fā)流程和數(shù)據(jù)庫(kù)訪問(wèn)層開(kāi)發(fā)流程。 2 使用PAR方法中的自動(dòng)轉(zhuǎn)換系統(tǒng)尤其是APLA->C++實(shí)現(xiàn)數(shù)據(jù)庫(kù)訪問(wèn)層。使得數(shù)據(jù)庫(kù)訪問(wèn)接口得到高可靠性保證，同時(shí)也有效地提高了開(kāi)發(fā)數(shù)據(jù)庫(kù)