软件需求工程新进展.pptVIP

* * * * * * 利用形式化方法描述进行需求分析，有助于发现需求中 隐含的不一致性、二义性、不完整性，并对其进行更深入和 更精确的理解，从而进行规范化管理。 * * 利用形式化方法描述进行需求分析，有助于发现需求中 隐含的不一致性、二义性、不完整性，并对其进行更深入和 更精确的理解，从而进行规范化管理。 * * (1)选择科学的过程模型。科学的过程模型是软件工程 和需求工程(甚至任何工程)的灵魂，它体现了需求工程方法 学方面的内容 需求过程是有关需求工程(系统工程)整个生 命周期的一系列完整概念，至少包括以下l0f方面的内容： 1)完整的生命周期；2)一组全面而有条理的概念和模型；3) 一 套完整的技术(规则，指导和启发)；4)一组详细说明的可 交付产品；5)一种建模语言，具有元模型以及有效而直观的 表示方法；6)一组用于测试和确认的规格说明；7)保证质量 的指导方针或建议；8)编码(及其它)标准；9)系统复用建 议；1o)项目管理指导方针(包括对工作小组的结构以及各人 的分工、程序和资源的分配和管理等)。它细化整个过程的 每个步骤，明确工作流程和人员分工，使参与人员有可依据 的严格规范。过程模型是需求工程的概念模型和框架。 (2)选择合适的需求表达技术。好的需求表示技术是需 求工程的基础，它为系统的设计、实现和验证提供准确、一 致的文档依据，成为用户和设计者之间、没计者和实现者之 间、实现者和测试者之间充分沟通的可靠桥梁。用于表达需 求的语言必须易懂、无二义性，不仅是系统分析、设计、开 发人员，而且那些没有任何背景知识的客户和用户也能够正 确地理解。 (3)选择合理的形式化验证方法。 “需求工程”的一个 重要概念是在系统开发的需求分析阶段加入确认和验证 * * (1)选择科学的过程模型。科学的过程模型是软件工程 和需求工程(甚至任何工程)的灵魂，它体现了需求工程方法 学方面的内容 需求过程是有关需求工程(系统工程)整个生 命周期的一系列完整概念，至少包括以下l0f方面的内容： 1)完整的生命周期；2)一组全面而有条理的概念和模型；3) 一 套完整的技术(规则，指导和启发)；4)一组详细说明的可 交付产品；5)一种建模语言，具有元模型以及有效而直观的 表示方法；6)一组用于测试和确认的规格说明；7)保证质量 的指导方针或建议；8)编码(及其它)标准；9)系统复用建 议；1o)项目管理指导方针(包括对工作小组的结构以及各人 的分工、程序和资源的分配和管理等)。它细化整个过程的 每个步骤，明确工作流程和人员分工，使参与人员有可依据 的严格规范。过程模型是需求工程的概念模型和框架。 (2)选择合适的需求表达技术。好的需求表示技术是需 求工程的基础，它为系统的设计、实现和验证提供准确、一 致的文档依据，成为用户和设计者之间、没计者和实现者之 间、实现者和测试者之间充分沟通的可靠桥梁。用于表达需 求的语言必须易懂、无二义性，不仅是系统分析、设计、开 发人员，而且那些没有任何背景知识的客户和用户也能够正 确地理解。 (3)选择合理的形式化验证方法。 “需求工程”的一个 重要概念是在系统开发的需求分析阶段加入确认和验证 * * * * * * * * * * 8o年代以来， 演绎、转换、归纳和过程化为主要逾径的实验性软件自动化系统较多，如Z．Manna和F． Bauer等的系统均属此列．此后．软件自动化在引入智能技术之后又取得了一些新进展+如cYPREss／KIDs 系统．NDSAIL系统等将软件自动化的能力又向前推进一步．在软件开发风范方面+它已从功能分解风范逐 步转向面向对象开发风范．在自动化的层次方面，它已从实现级、设计级发展到功能级，并逐渐渗透到需求 级 在CASE工具方面．它从零散的、半自动的机器支撑模式向集成化、构件化、自动化发展． 由此可见，对象式需求工程自动化既是软件自动化的难点、又是其发展的必然趋势与理想目标，然而，形 式化又是软件自动化发展的基础，所 需求工程将向着对象化、形式化和自动化全面发展．也正是如此，软件 自动化研究工作的新进展主要体现在需求工程这一级别上，其现有工作主要支持结构化方法，而对面向对象 方法的支持尚很初步．代表性工作有Fraser等人的工作 、Rande L1等人的工作、Semmens等人的工作[11]， 1期 张家重等：需求工程研究新进展 以及徐家福等人的NDRASS和NDORASS系统l_ 等． Fraser等人在文献[12：中提出了将以结构化分析方法SA中的DFD为代表的非形式规约语言和以 VDM为代表的形式规约语言集成的两条途径．其一是借助系统的