基于形式源级转换的可执行规格说明技术

本文提出一种新的可执行规格说明实现技术,它利用源级转换思想把规格说明直接转换成程序设计语言程序,且这种源级转换基于形式定义的规则与基于规范抽象语法树,该技术及相应的支持系统支持速成原型技术,具有支持系统开发工作量小、易保证正确性、开发代价低且开发周期短等特点,能较好地达到速成原型的效果。