论文部分内容阅读
软件服务外包在我国迅猛发展,潜力巨大,但软件服务外包行业一直存在着软件可靠性差和开发效率低的问题。因此高效率地开发正确、可靠的软件成为软件服务外包产业的迫切要求。由薛锦云教授提出的PAR方法及其团队研发的高可靠软件开发平台PAR平台,在提高软件开发效率和可靠性方面能够发挥很好的作用。本文研究了将PAR方法和PAR平台应用于外包软件开发的可行性,选取“大学生求职信息自动优化匹配系统”和“公交运营调度系统”作为研发案例,将PAR方法和PAR平台提供的软件开发语言(Radl语言和Apla语言)、方法学和软件自动生成工具(C++生成工具)应用于这两个软件系统研发,成功将Radl语言用于需求分析的描述、将Apla语言用于详细设计描述,利用C++生成工具将Apla描述自动生成C++程序,利用PAR方法指导开展系统代码验证。其中“公交运营调度系统”是我国著名软件外包公司(中软国际)进行员工培训的实验案例,这两个典型案例的成功为PAR方法和PAR平台在软件外包中广泛应用提供了可行性和方法学方面的依据和帮助。本文创新之处:本文对PAR方法和PAR平台应用到软件外包中进行了可行性分析,并在实例中取得了成功,展示了应用PAR平台的优越性和运用前景;对PAR方法和PAR平台应用于软件外包中几个关键阶段(需求分析、详细设计、编码和测试)进行了深入的实验和研究,提高了软件的开发效率和可靠性;