论文部分内容阅读
随着科技进步和社会生产力的发展，计算机软件的重要性与日俱增，但至今软件产品仍普遍存在着可靠性难以确保，生产效率低等问题。由此，软件故障给人类造成的危害越来越大，软件产品的生产也远远满足不了人们的需要。如何快速高效地开发出具有高可靠性的软件系统，成为软件开发人员长期思考的问题，也是软件产业得以迅速发展的关键。 为了改变软件发展的现状，提高软件产品的可靠性，薛锦云教授在多个国家级课题的资助下提出了一种普遍适用的算法程序形式化开发方法——PAR方法，开辟了程序设计的新途径。 本文是PAR方法的重要组成部分，也是国家自然科学基金课题“实用的软件形式化方法及其开发工具研究”的重要内容。本项研究的主要目标是正确地实现APLA语言中的抽象数据类型，具体研究内容为： 1．对目前的程序设计方法(包括形式化方法和非形式化方法)进行分析研究，寻找一种合适的方法帮助我们正确地实现APLA语言中的抽象数据类型； 2．利用PAR方法，以自扩展的方式正确地实现APLA语言定义的抽象数据类型； 3．通过对泛型程序设计思想的研究，在我们构造的C++类库中引进了泛型程序机制，实现了APLA程序的类型参数化，同时也提高了C++类库的可重用程度； 4．通过大量测试用例(由APLA-C++转换器转换而来的C++程序)对所构造的C++类库进行了进一步测试。 本文还用PAR方法和上述的APLA-C++转换工具开发了一些算法。 利用PAR方法自扩展生成的C++类库与APLA-C++转换器共同组成具有高可靠性的APLA-C++自动转换系统，成功地转换了大量的实例，并得到了正确的结果。