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

An Approach to Applying Genetic Algorithm to Predicate Refinement

作　　者：曹晓夏[1] 缪淮扣[1] 高晓雷[1] 

机构地区：[1]上海大学计算机工程与科学学院,上海200072

出　　处：《应用科学学报》2003年第3期289-295,共7页Journal of Applied Sciences

基　　金：国家自然科学基金资助项目(60173030)

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

关 键 词：软件工程 软件求精 软件开发 软件自动化 谓词求精 遗传算法 程序综合 求精演算方法 规则库 

分 类 号：TP311.51[自动化与计算机技术—计算机软件与理论]