English

应用科学学报 ›› 2003, Vol. 21 ›› Issue (3): 289-295.

• 论文 • 上一篇    下一篇

一种将遗传算法应用于谓词求精的方法

曹晓夏, 缪淮扣, 高晓雷   

  1. 上海大学计算机工程与科学学院 上海 200072
  • 收稿日期:2002-05-27 修回日期:2002-12-31 出版日期:2003-09-10 发布日期:2003-09-10
  • 作者简介:曹晓夏(1973-),女,上海人,硕士生;缪淮扣(1953-),男,上海人,教授,博导.
  • 基金资助:
    国家自然科学基金资助项目(60173030)

An Approach to Applying Genetic Algorithm to Predicate Refinement

CAO Xiao-xia, MIAO Huai-kou, GAO Xiao-lei   

  1. School of Computer Engineering and Science, Shanghai University, Shanghai 200072, China
  • Received:2002-05-27 Revised:2002-12-31 Online:2003-09-10 Published:2003-09-10

PDF

66

被引次数

5

摘要： 提出了将Manna的程序综合方法和Caroll Morgan的求精演算方法相结合的求精方法.为了提高求精的自动化程度,在求精的规则选择过程中引入遗传算法.利用遗传算法能够在庞大的规则库空间中搜索合适规则的特性,提高求精的自动化程度.

关键词: 软件自动化, 求精, 谓词求精, 遗传算法

Abstract: Selecting rules is the most difficult and creative work in predicate refinement. This paper gives a method of refinement from specification to program code by combining Manna's program synthesis method with Caroll Morgan's refinement calculus. The paper also presents a method for applying genetic algorithm to predicate refinement.

Key words: refinement, predication refinement, software automation, genetic algorithm

中图分类号: