【作者】 杨涛；

【导师】 王铮；

【作者基本信息】 重庆大学 ， 计算机软件与理论， 2004， 硕士

【摘要】 自动程序设计是软件工程师的梦想。随着人工智能、认知科学的理论研究发展,以及人们在软件生产领域的实践,许多特定领域的、自动、半自动程序设计系统已经出现。自动程序设计系统是对人们在各相关领域研究与实践成果的综合运用和系统总结,是软件生产的重要发展方向。自动程序设计是人工智能的一个重要分支,是人工智能各个研究领域中最为复杂的一个。它的复杂性源于它的综合性:它涉及了人工智能中几乎所有领域的研究,是这些研究领域成果的综合运用。因此,自动程序设计系统研究的发展主要表现在相关领域研究的发展和集成体系结构的研究上。当前实用的研究思路往往都是对实际应用中的软件生产过程的自动化研究,考虑提高其自动化水平。净室技术是IBM公司实际应用的软件生产技术,1996年由卡内基-梅隆大学软件工程研究所进行了系统总结和研究,提出了净室软件工程参考模型(CRM)。CRM的特点是它的规范化的生产管理技术和设计方法,这种特点使它十分适于作为软件生产自动化过程的基础蓝本。从自然语言表述的需求和解法到计算机可以理解的程序设计语言代码,它们之间的本质联系在于其共同的语义内涵,它们是分别从不同的角度、用不同的方式对同一语义内涵的描述。从这个意义上说,语义研究是自动程序设计系统研究的本质性问题。概念层次网络(HNC)理论,是关于自然语言理解处理的一个理论体系,HNC理论的研究已经从最初针对汉语语义的研究中得到了一个通用的、无语种区分的语义理解理论体系,具有重要的参考价值。本文综合了上述两个方面的研究,对自动程序设计系统的体系结构作了初步探索,提出了一个基本框架,力求使它成为一个具有灵活性的系统集成平台,在它上面运用多种知识表示、存储方式,允许根据知识类型选择合适的组织方式,并对其底层进行了程序实现的实验研究。更多还原

【Abstract】 Auto-programming is the dream of software engineer.With the development of artificial intellegence and cognition theory,as well as the practice in the field of software producing,many automatic or semiautomatic programming systems in special field have come out.Auto-programming system is the comprehensive utilization and systematical summation of research work and practice in all the relative fields.Also it is the important direction of software producing.Auto-programming is an important branch in artificial intellegence,and the most complex one among all the fields in it.It’s complexity is based on the synthesis:it involves in almost all the research fields in artificial intellegence,and it is the comprehensive utilization of them.Thus the development of auto-programming system research is mainly represented by the development of research in relative fields and in integrated system architecture.Currently the pragmatic idea is often to research in the automation of real software producing procedure,to improve it’s degree of automation.Cleanroom technology is the real software producing process in IBM.In 1996,the SEI (Software Engineering Institute) in Carnegie Mellon University researched in it and became the summarist.SEI presented the CRM (Cleanroom Reference Model),whose character is the normalized management and method which make it a very suitable base for software producing automation.From requirement description in natural language to code in programming language, which can be read by computer, the intrinsic relation between them lies in the same semantic content. In this sense, sematic research is the essence work of auto-programming system research.HNC (Hierarchical Network of Concepts) is a theory system of natural language understanding processing,which has become a general theory of semantic processing system with language insensitive.It can make a difference in auto-programming research.This article sums up the ideas in the two aspects related above,dose some primitive research in the integrated system structure of auto-programming system.It presents a basic framework,making it a integrated system platform with a good <WP=6>flexibility: it can bear multiple means of knowledge representing,storing,and organizing according to the special type of knowledge.Also,it has done some programming experiments on the low level of the framework.更多还原