软件工程理论方法与实践第五章读后感

第三章读后感 软件项目管理是为了是软件项目能够按照预定的成本,进度,质量顺,而对成本人员,进度,风险进行扥系和管理的活动.有效的软件管理集中于人员,产品,过程,项目.软件项目的生命周期包括项目启动,项目规划,项目实施和项目收尾四个阶段.接下来是人员组织与管理,主要有三种典型的开发组织模式民主是组织结构,主程序员式组织结构,技术管理是组织结构,以微软公司的软件开发为例,它的软件开发团队的特色是采用小型的多元化的项目组织进行软件开发,具有交流和管理成本低决策和执行速度低,产品质量易于控制的特点.对于

面向对象技术比较自然的模拟了人类认识客观世界的方式,成为当前计算机软件工程学中的主流方式,具有相同数据和相同操作对象可以归为一个类,对象是对象类的一个实例,类可以派生出子类,子类继承父类的全部特性,面向对象=对象+类+挤成+通信.面向对象的软件工程方法:面向对象分析,面向对象设计,面向对象编程,面向对象设计,面向对象维护, 属相和对象是构成对象的两个基本要素,其定义是,属性是用来面熟对象静态特征的一个数据项,服务是用来描述对象动态特征的一个操作序列,类是具有相同属性和服务的一组对象的集合,封装是

软件需求从用户角度来说是用户解决问题和达到目标所需的条件或能力,从开发人员角度来说系统或系统部件要满足合同标准规范或其他正式规定文档所需具有的条件或能力.软件功能需求必须根据用户需求来考虑,而且应该与业务需求定义的目标一致,业务需求是组织或客户对于系统地高层次目标要求,定义了项目的远景和范围,项目软件产品的发展方向,功能能够范围,目标客户,和价值来源.用户需求是从用户角度描述的系统功能需求和非功能需求.功能需求描述的是系统应该提供的功能或服务,通常涉及用户或外部系统与该系统之间的交互一般不考虑系

面向对象分析模型有三个独立的模型组成:功能模型,分析对象分析,动态模型.分析类是概念层次上的内容,用于描述系统中较高层次的对象.边界类用于描述外部参与者与系统之间的交互,控制类用于描述一个用例所具有的事件流控制行为,实体类用于描述必须存储的信息及其相关行为,分析活动的主要活动首先开发人员进一步理解最初的用例模型和词汇表,识别出系统的分析类:其次,通多建立系统的顺序图发现可能一楼的对象丙丁一分析类的重要属性和行为,确定分析类之间的关系,从而得到进一步细化的分析模型:最后开发人员和用户一起检查模型,

通过对第一章的阅读,软件的划分有了了解,知道了软件是复杂的.不可见的.不断变化的,并且大多数软件是定制的,并不是通过已有构件组装而成的.软件维护是非常困难的,新的修改又会带来新的错误.软件存在多种质量问题,且能成功完成的软件项目的平均率在26%左右.软件工程已关注软件质量为目标,有过程.方法和工具三要素组成.对于软件的质量,对不同的用户角色是不一样的,但他们都有共同的质量要求是可靠性.正确性和有效性.软件工程知识体系被划分10个知识域:软件需求.软件设计.软件构造.软件测试.软件配置管理.软件工

软件过程是软件工程人员为了获取软件产品而在软件工具的支持下实施的一系列软件工程活动.其基本活动包括:问题提出.软件需求规格说明.软件设计.软件实现.软件确认.软件演化.软件过程产品涉及软件需求.软件设计.软件实现.软件测试和软件实施等活动产生的结果,这些制品通常是在不同的开发活动之间进行转移和演进.常用软件过程模型:瀑布模型(适用于开发的早期阶段软件需求被完整确定的情况).快速原型模型(必须迅速建立原型,随之迅速修改原型,以反映客户的需求).増量模型(可以较好地适应需求的变化).螺旋模型(强调可

软件实现主要是对软件代码部分所用语言,编码规范.代码审查等方面进行规划.Java程序要有版权与版本的文件头注释,packcge和import语句,类和接口说明语句.代码要有适当空行,代码行及行内空格,分行.对齐与缩进,命名要有规则(例知望文知义),要有声明,有注释.要注意变量名问题,要方便大家读懂.主要的内存异常问题主要有内存泄漏问题.指针参数问题.”野指针问题,良好的编程习惯对防止内存异常问题十分重要.同时,要避免创建重复对象,优化语句提高性能.

阅读第五章所了解到的基本知识,形式化方法是指将离散数学的方法用于解决软件工程领域的问题,主要包括建立精确的数学模型以及对模型的分析活动.主要目的是保证软件的正确性.已建立的形式化方法可分为操作类和描述类.操作类方法基于状态和转移;描述类基于数学公理和概念.形式证明与验证技术主要包括模型检测(适用于有穷状态系统,完全自动化并且验证速度快)和定理证明(采用逻辑公式来表示系统规约及其性质,分为自动和交互式两种).一阶线性时态逻辑是一阶谓词逻辑的扩展.对汉诺塔操作规划问题有了更深一步的理解.计算树逻辑是

第五章主要讲 1.形式化方法基本概念分为形式规约.形式证明与验证.程序求精,形式证明与验证技术主要包括模型检测和定理证明. 2.时态逻辑介绍了Kripke结构:一阶线性时态逻辑以队列及其操作与汉诺塔操作规划问题为例进行讲解.计算树逻辑一般是CTL与CTL*的统称. 3.模型检测就是在软件系统的Kripke结构模型下,对以CTL*公式给出的软件性质的正确性验证. 4.Z语言是由牛津大学程序设计研究小组开发的一种形式语言,对Z语言的表示进行详细的概述与讲解,并以停车场管理系统与图书管理系统为例详细讲