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

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

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