软件自动化的智能化途径

近年来,国际上软件自动化的研究又取得了进展,对软件设计过程和所需知识的认识不断深化。其形式化工作也有了一定的发展,在此基础上出现了一些比较成功的软件自动化系统,其中有些在特定的领域内接近了人的水平。如CYPRESS/KIDS系统、STRATA系统和MEDUSA系统等,这些系统尽管各自在某一方面取得了进展,但有一共同的弱点就是适应性较差,系统往往只能适用于设计者预先考虑过的问题范围甚至局限于专门问题,影响了软件自动化的推广应用。问题症结在于现有软件自动化系统尚不具备智能,即缺乏自学习能力,系统不能自动从解题实践或用户实例中获取算法设计知识。特别地,在需人工干预时,系统并不