软件的可靠性差和开发效率低一直是困扰软件产业界的两大难题,高效率地开发正确、可靠的软件已成为软件产业的迫切要求。尤其在现在各种大型数据库处理系统,商业网站特别是一些尖端应用领域(国防、医疗、通信等)对数据库应用程序的可靠性、安全性和开发效率的要求不断提高,传统的数据库应用程序的开发方法已经无法满足最终用户的需求。软件开发的形式化与自动化被认为是克服软件危机、提高软件开发效率和可靠性的有效方法。PAR方法是一种实用的形式化开发方法,它实现了由算法规约到抽象程序以及到可执行程序的自动转换,这样就部分实现了软件开发的自动化。而由于PAR方法描述的程序是经过严格的推导、证明的,所以程序的正确性、可靠性得到了很好的保证。但是,目前PAR方法和PAR自动转换系统应用只是仅仅停留在短小应用程序和算法程序的开发中,并没有真正应用到实际大型应用软件开发过程中。为了在大型应用程序开发应用PAR方法和PAR平台,充分体现PAR方法在解决软件危机中优势,使众多数据库应用软件得到PAR方法高可靠性保障。本文介绍了在开发短信平台系统中成功运用PAR方法和PAR平台的方法。在系统中的算法设计部分由PAR算法描述得到;系统中的数据库操作由PAR关系数据库机制描述得到。在开发过程中充分利用PAR方法的高可靠性和PAR自动转换器的自动化特性,在上述两方面均由转换器自动生成实现代码,有效的提高了应用程序开发过程中编写和调试代码的时间,减少软件测试过程,从根本上提高了代码的可靠性。同时系统的开发过程中结合当前比较流行的软件开发模式,有效的提高了该方法和平台应用的效率。本文创新之处主要体现在以下几个方面:1在对系统进行需求分析和设计的过程中,我们积极结合PAR方法中算法和数据库机制开发方法得到贴切实际软件开发的开发流程。提供了在实际软件开发过程中的算法开发流程和数据库访问层开发流程。2使用PAR方法中的自动转换系统尤其是APLA->C++实现数据库访问层。使得数据库访问接口得到高可靠性保证,同时也有效地提高了开发数据库访问层的效率。3 PAR方法作为一种有效的、高可靠的软件开发方法,提高了该应用程序开发的效率、减少了软件测试过程尤其是数据库访问层的测试。本文充分体现了PAR方法在确保软件的可靠性方面无论在理论还是在实现方面都要优于其他方法:例如测试驱动开发等软件开发方法。