PAR平台中Python数据类型实现方法研究.pdfVIP

摘 要 为了更好地解决软件危机这个至关重要的问题，提高实际软件开发的效率和 可靠性，薛锦云教授在多个国家级课题的资助下提出了一种普遍适用的算法程序 形式化开发方法—PAR （Partition-And-Recur)方法。该方法中程序设计采用了数 据抽象机制。在PAR 方法的支撑平台—PAR 平台上开发了各种自动程序生成系 统，其中Apla→Python 自动程序生成系统将Apla 算法程序生成可执行的Python 程序。 该生成系统由转换器和Python 可重用构件库组成。Python 构件库引用了软 件复用这一概念，其基本思想是在软件开发中避免重复劳动。通过软件复用，可 以提高软件开发的效率和质量。构件库包括序列、集合、包、树、图五大类基本 构件。本文研究的主要目标是正确地设计Python 构件库中五类构件即用Python 语言具体实现Apla 语言(Abstract ProgrammingLanguage，是一种抽象程序设计语 言，用来定义并设计算法程序）中的序列、集合、包、树、图五大类抽象数据类 型。先对Apla 语言和Python 语言的数据类型进行分析和对比，然后通过Python 类中方法设置一个形式参数datatype 定义类型变量来实现泛型程序设计思想，最 后用数组和链表实现构件的两种存储方式即顺序存储和链式存储。将这个具有高 Python Apla Python 可靠性的 构件库安装到 → 自动程序生成系统中，使得该生成 系统的高可靠性得以完整地实现。用快速排序和二叉树前序遍历两个测试用例对 Python 可重用构件库进行测试验证，即将快速排序和二叉树前序遍历的Apla程 序输入到系统中，在构件库的支持下生成相应的Python 程序并运行，检测其实 际运行效果。经测试，比较理想地达到了预期的效果，令人满意。 在PAR 方法指导下设计的Apla→Python 自动程序生成系统充分保证了算法 程序的正确性与可靠性。系统中Python 可重用构件库的实现填补了PAR 方法领 域的理论空白，也提高了开发算法的调试和开发效率。随着软件技术的发展，PAR 方法和PAR 平台的完善，以及构件库的扩充，该生成系统的功能会越来越丰富、 健壮。在不久的将来，该系统将全面地应用到软件开发的各个阶段，最终被人们 熟练地掌握和大量地使用。 PAR PAR Apla Python 关键词：软件危机； 方法； 平台； → 自动程序生成系统； Python 可重用构件库；软件复用 I Abstract In order to solve the critical problem of software crisis better, improve the efficiency and reliability of software development actually, Professor Xue Jinyun proposed a general and applicable method of developing Algorithmic programs formally PAR (Partition-And-Recur) method with the support of several national — projects. The mechanism of data abstraction is used in the the method for designing programs. Various auto-generating program systems have been developed on PAR platform which is the support platform of PAR method. Apla → Python auto-generatingprogram system can convertApla algorithm programs into exec