软件工程实验2-lj.docVIP

云南大学软件学院 实 验 报 告 1．明确软件需求定义 2．掌握描述功能性需求和非功能性需求的方法 3．掌握需求工程过程和概念 4. 掌握需求建模方法 5. 了解形式化建模方法 分别对上下文模型、行为模型、数据模型、对象模型、结构化方法进行分析说明其优劣。 上下文模型：在需求导出和分析过程的早期阶段，应该首先界定系统的边界，与系统持有者一起明确系统是什么以及系统的环境是什么。以便限制系统的成本和在分析中所需要花费的时间。 行为模型：用来描述系统的所有行为。 优点：使用浅显易懂的符号，便于让潜在的用户看明白，进而可以参与到系统分析中来。 数据模型:使用大型数据库。 缺点：缺乏对细节的描述，还需要对实体，关系，属性做更详细的描述。 对象模型：把面向对象方法用于软件开发的全过程。 优点：在说明系统实体是如何分类和复用的时候非常有用。 对于处理有形实体尤为自然，会使后续的面向对象设计和编程的过度变得顺畅。 缺点：用户并不习惯面向对象的方法，他们往往感到该模型难以理解。 结构化方法：对现有系统和将要建立的系统建立模型。 优点：成功在很多大项目中应用，他们能十分有效的降低成本，因为它们使用标准符号系统，保证标准设计文档的产生。 缺点：它们不能对非功能系统需求的理解和建模提供有效的文档；它们是难以区别的，它们产生大量的文档；所产生的模型粒度太细。 对电子邮件系统中的数据处理进行建模，并分别为邮件发送和邮件接收建立处理模型。 简要说明Z方法在软件工程中的应用。 化方法（Formal Methods）是借助数学的方法来研究计算机等科学中的有关问题。在数学上，形式化手段用来对推理过程和证明过程进行抽象；与纯数学研究不同，在软件工程领域，形式化方法被软件工作者用来精确描述具体的问题。形式化方法的规格描述采用形式规格说明语言，比如Z、LOTOS 等语言。Z 语言作为一种规格说明语言，具有语言精确、无二义性及能进行一致性检查和证明的特征，被广泛应用。当前的研究主要把形式化方法应用于描述用户需求分析阶段，其实，形式化方法可以应用于软件开发的各个阶段。