第一章：概述1、软件有三个要素，即方法、工具和过程。 软件工程方法为软件开发提供了“如何做”的技术。它包括了多方面的任务，如项目计划与估算、软件系统需求分析、数据结构、系统总体结构的设计、算法过程的设计、编码、测试以及维护等。 软件工具为软件工程方法提供了自动的或半自动的软件支撑环境。目前，已经推....
分类：
其他好文 时间：
2015-02-28 20:08:02
阅读次数：
146
来自于西门子公司的Peter Zimmerer说，在系统中，易测试性必须被明确地设计。测试架构师应该推动易测试性，并和架构师、设计人员和测试人员去共同使用好的设计和工程实践。在QA&Test 2014大会上，Peter贡献了一个关于针对嵌入式软件系统的易测试性的设计教程。Peter对易测试性给出的定...
分类：
其他好文 时间：
2015-02-28 17:56:54
阅读次数：
120
面向对象基础面向对象方法的基本思想是从现实世界中客观存在的事物出发，尽可能的运用人类的自然思维方式来构造软件系统。面向对象的软件工程方法是面向对象方法在软件领域的全面运用，涉及到从面向对象分析、面向对象设计、面向对象编程、面向对象测试到面向对象软件维护的全过程。对象是系统中用来描述客观事物的一个实体...
分类：
其他好文 时间：
2015-02-28 08:51:06
阅读次数：
129
软件工程中的形式化方法本章介绍软件工程中的形式化方法，包括时序逻辑、Z语言、Petri网等。软件规格说明是对软件系统对象，对象的操作方法，以及对象行为的描述。在系统的开发及演化过程中，对象、对象的性质以及操作应作为一个整体来处理。软件生命周期中的不同阶段为规格说明引入和增加新的系统特征定义。当规格说...
分类：
其他好文 时间：
2015-02-28 07:46:18
阅读次数：
127
第一，UML的概念
UML是Unified Modeling Language的缩写，翻译成中文就是统一建模语言，当然也可以翻译为标准建模语言，它是一种面向对象的建模语言，它是运用统一的、标准化的标记和定义来实现对软件系统进行面向对象的描述和建模。它为软件开发的所有阶段提供模型化和可视化的支持，包括从需求分析到规格、构造和配置。这是一种图形化的语言，它通过几...
分类：
其他好文 时间：
2015-02-27 00:24:08
阅读次数：
184
面向对象=对象+类+继承+通信。要在软件开发的实验中进行体验面向对象的概念。对象，类，封装，继承，消息，关联，聚合，多态性是面向对象程序设计的各种属性。统一建模是一种直观，明确，构建和文档化软件系统产物的通用可视化建模语言，常用的几种UML图有用例图，类图，顺序图，状态图等几种图种。建模如今已经成为...
分类：
其他好文 时间：
2015-02-27 00:18:40
阅读次数：
183
软件的演化 首先要明白软件演化的特性1 软件维护是一个必然的过程 2软件的不断修改会导致软件的退化3 软件系统的演化特性是在早期开发阶段建立起来的4 软件开发的效率和投入的资源无关 5软件系统添加新的功能不可避免的会产生新的缺陷。 软件的维护有如下几种类型，1改正性维护，2适应性维护 3完善性维.....
分类：
其他好文 时间：
2015-02-27 00:10:14
阅读次数：
144
本章主要讲述软件工程中将离散数学的方法用于解决软件工程领域的问题。形式化方法的开发可以追溯到20世纪50年代后期对编译技术的研究。也可以理解为，软件开发实际上就是把现实世界的需求映射成软件的模型化过程。形式规约：软件规格说明是对软件系统对象，队象的操作方法，以及对象行为的描述。非形式的规格说明可用自...
分类：
其他好文 时间：
2015-02-27 00:08:03
阅读次数：
172
第十一章—软件演化软件系统在交付之后仍然在不断的演化，即进入软件的运行维护阶段，以保证软件长期处于可用状态，并能够适应实际业务的不断变化。软件在更改过程中的演化特性具体如下：1.软件维护是一个必然的过程2.软件的不断修改会导致软件的退化3.软件系统的演化特性是在早期的开发阶段建立起来的4.软件开发的...
分类：
其他好文 时间：
2015-02-26 16:21:52
阅读次数：
100
第五章主要讲1.形式化方法基本概念分为形式规约、形式证明与验证、程序求精，形式证明与验证技术主要包括模型检测和定理证明。2.时态逻辑介绍了Kripke结构；一阶线性时态逻辑以队列及其操作与汉诺塔操作规划问题为例进行讲解。计算树逻辑一般是CTL与CTL*的统称。3.模型检测就是在软件系统的Kripke...
分类：
其他好文 时间：
2015-02-26 13:26:06
阅读次数：
130
