PAR平臺(tái)在軟件服務(wù)外包中的應(yīng)用與研究.pdf

1、軟件服務(wù)外包在我國迅猛發(fā)展，潛力巨大，但軟件服務(wù)外包行業(yè)一直存在著軟件可靠性差和開發(fā)效率低的問題。因此高效率地開發(fā)正確、可靠的軟件成為軟件服務(wù)外包產(chǎn)業(yè)的迫切要求。由薛錦云教授提出的PAR方法及其團(tuán)隊(duì)研發(fā)的高可靠軟件開發(fā)平臺(tái)PAR平臺(tái)，在提高軟件開發(fā)效率和可靠性方面能夠發(fā)揮很好的作用。
　　 本文研究了將PAR方法和PAR平臺(tái)應(yīng)用于外包軟件開發(fā)的可行性，選取“大學(xué)生求職信息自動(dòng)優(yōu)化匹配系統(tǒng)”和“公交運(yùn)營調(diào)度系統(tǒng)”作為研發(fā)案例，將P

2、AR方法和PAR平臺(tái)提供的軟件開發(fā)語言（Radl語言和Apla語言）、方法學(xué)和軟件自動(dòng)生成工具（C++生成工具）應(yīng)用于這兩個(gè)軟件系統(tǒng)研發(fā)，成功將Radl語言用于需求分析的描述、將Apla語言用于詳細(xì)設(shè)計(jì)描述，利用C++生成工具將Apla描述自動(dòng)生成C++程序，利用PAR方法指導(dǎo)開展系統(tǒng)代碼驗(yàn)證。其中“公交運(yùn)營調(diào)度系統(tǒng)”是我國著名軟件外包公司（中軟國際）進(jìn)行員工培訓(xùn)的實(shí)驗(yàn)案例，這兩個(gè)典型案例的成功為PAR方法和PAR平臺(tái)在軟件外包中廣泛應(yīng)