PAR平台在软件服务外包中的应用与研究

摘要

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

目录

声明

摘要

第1章 绪论

1．1 研究背景及意义

1．2 国内外研究现状

1．3 论文主要内容

1．4 本文组织结构

第2章 PAR方法PAR平台介绍及案例选取

2．1 软件开发方法

2．2 PAR方法及PAR平台

2．2．1 PAR方法的总体思想

2．2．2 PAR方法中的算法及软件程序设计语言

2．2．3 PAR平台

2．2．4 PAR中算法程序和软件的开发流程

2．3 PAR平台应用案例选取

第3章 大学生求职信息自动优化匹配系统

3．1 项目简介

3．2 功能需求及RadI描述

3．3 系统设计

3．4 数据库表设计

3．5 PAR平台下详细设计及主要实现

3．5．1 求职者职位报名

3．5．2 求职者信息修改

3．5．3 自动优化匹配

3．6 小结

第4章 公交运营调度系统

4．1 项目概述

4．2 功能需求及RadI描述

4．2．1 提取平台无关的功能需求

4．2．2 RadI描述

4．3 系统设计

4．3．1 系统总体架构图

4．3．2 各模块模型图

4．4 数据库表设计

4．5 PAR平台下详细设计及主要实现

4．5．1 调度管理模块主要实现

4．5．2 司机模块主要实现

4．5．3 乘客应用主要实现

4．6 小结

第5章 PAR方法和PAR平台应用于外包软件开发可行性分析

5．1 在需求分析阶段的应用

5．1．1 RadI描述功能需求

5．1．2 应用效果

5．2 在详细设计阶段的应用

5．2．1 应用方法

5．2．2 应用效果

5．3 在编码阶段的应用

5．3．1 代码自动生成

5．3．2 应用效果

5．4 在代码验证中的应用

第6章 总结与展望

6．1 总结

6．2 下一步工作

参考文献

致谢

攻读硕士学位期间参与导师的课题及论文发表