基于par方法开发算法程序的研究-计算机软件与理论专业论文.docxVIP

Y、’607500 摘 要 软件系统的成功极大依赖软件需求工程的质量，而软件的可靠性难以保证和 开发效率低一直是困扰软件产业的两大难题。而用形式化方法开发软件始终被认 为是提高软件可靠性和软件生产率的重要途径，是实现软件开发自动化的关键。 尽管已经提出了各种各样的软件形式化方法和开发技术。但目前这些技术还远没 有广泛的被软件产业界所接受，原因在于许多方法的提倡者并没有真正研究软件 开发者面临的实际问题，算法和程序研究脱节，缺乏系统的算法程序设计和证明 方法，实际上有些方法以及这些方法为基础而建立的软件开发工具和自动生成系 统只能处理和生成一些玩具式程序(toy—style program)。尚没有一种面向实际问 题、简单可行、便于广大软件开发者接受的形式化方法及与该方法相配套的一系 列配套的辅助工具来切实的解决这两个问题。 PAR方法基于分化、递推、扩充的量词变换规则、循环不变式的新技术和软 件转换工具，充分利用数据抽象、功能抽象、软件重用、多态、类属、重载等成 熟的程序设计技术，可以用统一的方法开发复杂算法。 本文首先对形式化方法的定义、分类、目前的发展状况等进行了介绍，同时 对典型的形式化方法VDM、Z、B方法、RAISE等形式化语言和方法的产生、 主要原理及特点作了介绍，并进行了分析比对；其次，本文还对PAR方法也做 了较为详尽的介绍，进一步研究了它的特点，阐述了其哲学思想：最后，运用 PAR方法开发了正整数素数分解问题、线性代数统一的算法一基准位置法等多 个问题的算法程序，进一步验证了PAR方法在很多复杂数值算法中的应用。 关键词：形式化方法，PAR方法，算法程序  Abstract Success of software system mostly depends on the quality of demand engineering． but liability and efficiency of software are always two di自日cult problems disturbed software enterprise．Formal method is always thought the significant Way to solve such problems and the key to realize the automatic design．AIthough nowadays variety of software fomal methods and explode technology have been proposed．也ere are still far way to be widely accepted by software enterprise．It lies in many advocators of di丘jrent methods haven’t done real research on tlle problems which designers encounter．the disconnection between algorithm and program in study,lack of systematic algorithmic program design and proof method．In．actually,some methods，software explore tools established on above methods and automatic generating system can onlY deal with or generate tOv—style program—It still havenot a formal method which is 0rienter to practical problems，simple and variable，convenient to be accepted by sofrovare designers．and a series matched compliment tools，used to solve the problems above． The PAR method，the variation principles of divide文increased．and expanded measure words，loop invariants．and other mew techniques and SOftware variation methods are applied tO design complex algorithm．which runs throu