软件工程概论第五章 软件工程中的形式化方法1.形式化方法基本概念 形式约束：软件规格说明是软件系统对象，对象的操作方法，以及对象行为的描述。在系统的开发及演化过程中，对象，对象的性质以及操作应作为一个整体来处理。形式证明与验证：主要包括模型检验和定理证明。程序求精：是将自动推理和形式化方法相结合，从...
分类：
其他好文 时间：
2015-02-08 10:12:57
阅读次数：
116
黑盒测试：测试对象看做黑盒，不考虑程序内部的逻辑结构和内部特性，只依据程序的需求规格说明，在特定的条件下，输入相应的数据，检查程序的输出是否符合它的功能说明。
一、等价分类法(equivalence partitioning)
把输入数据的可能值划分为若干等价类
有效等价类和无效等价类
每一无效等价类至少需要一个测试用例
二、边界值分析法(boundary value analysis)...
分类：
其他好文 时间：
2015-02-07 13:12:52
阅读次数：
148
软件需求通常可以划分为：业务需求，用户需求，系统需求，功能需求，非功能需求等，并且他们之间存在一定的联系。需求工程的所有过程，包括需求获取，需求分析，需求规格说明，需求验证和需求管理等。常见的需求获取技术包括面谈和问卷调查、需求专题讨论会、观察用户工作流程、基于用例的方法、原型化方法等，而选择这些技...
分类：
其他好文 时间：
2015-02-07 10:18:26
阅读次数：
150
第五章软件工程中的形式化方法形式化方法基本概念形式规约当规格说明用非形式化方法描述时，可称之为“规格说明”，当规格说明用形式化方法描述时，可称之为“形式规约”。形式证明与验证形式证明与验证技术主要包括模型检测和定理证明。模型检测是一种基于有限状态模型并检验该模型的性质的技术。定理证明采用逻辑公式来表...
分类：
其他好文 时间：
2015-02-05 13:25:31
阅读次数：
114
第二章软件工程的概念软件工程是软件工程人员为了获得软件产品而在软件工具的支持下实施的一系列软件工程活动。软件过程的基本活动：1.问题提出 2.软件需求规格说明 3.软件设计 4.软件实现 5.软件确认 6.软件演化。软件过程制品涉及软件需求、软件设计、软件实现、软件测试和软件实施等活动产生的结果。软...
分类：
其他好文 时间：
2015-02-03 19:03:25
阅读次数：
164
在软件工程中，通过建立精确的数学模型以及对软件模型进行分析活动后建立的方法称为软件工程中的形式化方法，包括形式规约,形式证明与验证及程序求精三方面的活动。形式规约是规格说明的形式化；形式证明与验证技术包括模型检测和定理证明；程序求精是从抽象的形式规约推演出的面向程序代码的全过程，包括时态逻辑,Z.....
分类：
其他好文 时间：
2015-02-03 14:58:34
阅读次数：
117
1 任务思维与过程思维用户需求-->过程-->产品软件过程将人员，技术，组织与管理有机的结合在一起2 软件过程的基本活动1 问题提出 2 软件需求规格说明 3 软件设计 4 软件实现 5 软件确认6软件演化3 软件过程制品涉及软件需求，软件设计，软件实现，软件测试和软件实施等活动产生的结果4 软件过...
分类：
其他好文 时间：
2015-02-02 14:05:18
阅读次数：
193
从广义上讲，形式化方法是指将离散数学的方法用于解决软件工程领域的问题，主要包括建立精确的数学模型以及对模型的分析活动。狭义的讲，形式化方法是运用形式化语言，进行形式化的规格描述、模型推理和验证的方法。软件规格说明是软件对软件系统对象，对象的操作方法，以及对象行为的描述。软件的设计过程就是一个建立.....
分类：
其他好文 时间：
2015-02-02 14:04:02
阅读次数：
127
首先,您必须了解所谓的图标（Icon）是一种特殊的图形文件格式，它是以 .ico 作为扩展名。你可用在网上找一个制作图标软件，它具有特有的规格：图标的大小为 16 * 16（以像素为单位）；颜色不得超过 16 色。在该网页文件的 HEAD 部分加入下面的内容：link rel="shortcut i...
分类：
其他好文 时间：
2015-02-02 10:45:51
阅读次数：
130
自己做开发的时候，发现弄图标很麻烦，各种尺寸，各种规格。对于只是做一些简单图标不需要进行设计的朋友，借助PhotoShop就能完成所有工作的，建议使用。设计来源：通过PhotoShop的动作脚本，一键生成各种尺寸图标。来源：http://appicontemplate.com/下载需要的PSD之后，...
分类：
移动开发 时间：
2015-02-01 16:01:39
阅读次数：
247
