自动程序设计.pdfVIP

自动程序设计 自动程序设计的含义 自动程序设计， 是指采用自动化的手段进行程序设计的技术。 后引申为采用自动化手段 进行开发的技术和过程。 其目的是提高生产率和产品质量， 并且它在软件工程、 流水线控制 等领域均有广泛的运用。 自动程序设计的含义按广义和狭义，横向和纵向，可以分成几个类型。 广义含义 按照广义的理解， 自动程序设计是尽可能借助计算机系统， 尤指自动的程序设计系统进 行工程开发的过程。 这里的开发指的是， 从问题的非形式描述， 经形式的软件功能规格说明、 设计规格说明，到可执行的程序代码、调试，及至确认、交付使用的全过程。 狭义含义 按照狭义的理解， 自动程序设计指的是从形式的功能和规格的说明， 到可执行的程序代 码的这个过程的自动化。 纵向理解 按纵向理解， 低级的自动化指从设计规格说明， 到可执行的程序代码这一过程的自动化， 系统只是起到了程序员的作用； 中级的自动化指的是从除了设计还有功能的规格说明， 到可 执行的程序代码的过程的自动化， 系统除了起到程序人员的作用外， 还起设计员、 系统分析 员的作用；高级的自动化则解决了从非形式的描述到可执行的代码当中整个过程的自动化问 题，系统除了起程序员、设计员、系统分析员的作用外，还起到了领域专家的部分作用。 横向理解 按横向理解， 在上述各种纵向理解级别上， 根据人工干预的程度， 又可区分各种不同的 自动化级别。 自动程序设计的任务是设计一个程序系统， 它接受关于所设计的程序要求实现某个目标 非常高级描述作为其输入， 然后自动生成一个能完成这个目标的具体程序。 在某种意义上说， 编译程序实际上就是去做“自动程序设计”的工作。 编译程序是接受一段有关干某件事情的 源码说明（源程序） ，然后转换成一个目标码（目的程序）程序去完成这件事情。而这里所 说的自动程序设计相当于一种“超级编译程序”， 它要求能对高级描述进行处理， 通过规划 过程，生成的到所需的程序。 因而自动程序设计所涉及的基本问题与定理证明和机器人学有 关，要用到人工智能的方法来实现，它也是软件工程和人工智能相接合的课题。 自动程序设计的关键技术 从关键技术来看，自动程序设计的实现途径可归结为演绎综合、程序转换、实例推广， 以及过程实现等 4 种。 ①演绎综合。 其理论基础是， 数学定理的构造式证明可等价于程序推导。 对要生成的程 序，用户给出它的输入、输出数据必须满足的条件，条件以某种形式语言（如谓词演算）陈 述。对于所有这些满足条件的输入，要求定理证明程序证明存在一个满足输出条件的输出， 从该证明中析取出所欲生成的程序。 这一途径的优点是理论基础坚实， 但迄今只析取出一些 较小的样例，较难用于较大规模的程序。 ②程序转换。 将一规格说明或程序转换成另一功能等价的规格说明或程序。 从抽象级别 的异同来看， 可区分纵向转换与横向转换。 前者是由抽象级别较高的规格说明或程序转换成 与之功能等价的抽象级别较低的规格说明或程序； 后者是在相同抽象级别上的规格说明或程 序间的功能等价转换。 ③实例推广。借助反映程序行为的实例来构作程序，一般有两种方法。一种是输入 /输 出对法：借助给出一组输入 /输出对，逐步导出适用于一类问题的程序。另一种是部分程