软件工程01

在（概要 ）设计阶段选择适当的解决方案，将系统分解为若干个子系统，建立整个系统的体系结构。

事务具有原子性、一致性、隔离性和持久性。事务的原子性表示事务执行过程中的任何失败都将导致事务所做的任何修改失效一致性表示当事务执行失败时，所有被该事务影响的数据都应该恢复到事务执行前的状态。 隔离性表示在事务执行过程中对数据的修改，在事务提交之前对其他事务不可见。持久性表示已提交的数据在事务执行失败时，数据的状态都应该正确。

正式技术评审是一种由软件工程师和其他人进行的软件质量保障活动。其目标包括： ⑴发现功能、逻辑或实现的错误；⑵证实经过评审的软件的确满足需求；⑶保证软件的表示符合预定义的标准；⑷得到一种一致的方式开发的软件；⑸使项目更易管理。

软件开发模型是指软件开发全部过程、活动和任务的结构框架。常用的软件开发模型有瀑布模型、演化模型、螺旋模型、喷泉模型等。瀑布模型给出了软件生存周期各阶段的固定顺序，上一阶段完成后才能进入下一阶段。演化模型是在快速开发一个原型的基础上，根据用户在试用原型的过程中提出的反馈意见和建议，对原型进行改进，获得原型的新版本。重复这一过程，直到演化成最终的软件产品。螺旋模型将瀑布模型和演化模型相结合，它综合了两者的优点，并增加了风险分析。它以原型为基础，沿着螺线自内向外旋转，每旋转一圈都要经过制订计划、风险分析、实施工程、客户评价等活动，并开发原型的一个新版本。经过若干次螺旋上升的过程，得到最终的软件。喷泉模型主要用来描述面向对象的开发过程。它体现了面向对象开发过程的迭代和无间隙特征。迭代意味着模型中的开发活动常常需要多次重复;无间隙是指开发活动(如分析、设计)之间不存在明显的边界，各项开发活动往往交叉迭代地进行。

（瀑布模型）的活动之间存在因果关系，前一阶段工作的结果是后一段阶段工作的输入描述。

配置项是构成产品配置的主要元素，配置项主要有以下两大类： （1）属于产品组成部分的工作成果：如需求文档、设计文档、源代码和测试用例等； （2）属于项目管理和机构支撑过程域产生的文档：如工作计划、项目质量报告和项 目跟踪报告等。 这些文档虽然不是产品的组成部分，但是值得保存。所以设备清单不属于配置项。

软件测试的对象为：程序、数据和文档