第09讲 软件需求工程新进展.pptVIP

* * 8o年代以来， 演绎、转换、归纳和过程化为主要逾径的实验性软件自动化系统较多，如Z．Manna和F． Bauer等的系统均属此列．此后．软件自动化在引入智能技术之后又取得了一些新进展+如cYPREss／KIDs 系统．NDSAIL系统等将软件自动化的能力又向前推进一步．在软件开发风范方面+它已从功能分解风范逐 步转向面向对象开发风范．在自动化的层次方面，它已从实现级、设计级发展到功能级，并逐渐渗透到需求 级 在CASE工具方面．它从零散的、半自动的机器支撑模式向集成化、构件化、自动化发展． 由此可见，对象式需求工程自动化既是软件自动化的难点、又是其发展的必然趋势与理想目标，然而，形 式化又是软件自动化发展的基础，所 需求工程将向着对象化、形式化和自动化全面发展．也正是如此，软件 自动化研究工作的新进展主要体现在需求工程这一级别上，其现有工作主要支持结构化方法，而对面向对象 方法的支持尚很初步．代表性工作有Fraser等人的工作 、Rande L1等人的工作、Semmens等人的工作[11]， 1期 张家重等：需求工程研究新进展 以及徐家福等人的NDRASS和NDORASS系统l_ 等． Fraser等人在文献[12：中提出了将以结构化分析方法SA中的DFD为代表的非形式规约语言和以 VDM为代表的形式规约语言集成的两条途径．其一是借助系统的SA模型