本章主要介绍了形式化方法的基本概念包括形式规约（即软件规格说明，是软件系对象作用的方法，自己对象行为的描述）形式证明与验证（技术包括：检测，定理定理证明），程序求精，逻辑时态的一阶线性时态逻辑、计算树逻辑。模型检测临就是在Kripk模型下，对以CTL*公式给出的软件性质得正确性验证、计算树逻辑。模型...
分类：
其他好文 时间：
2015-03-02 12:39:24
阅读次数：
109
本章主要介绍了软件需求的业务需求、用户需求、功能需求和非功能需求(用户解决问题或达到目的所需要的条件或能力。系统或系统部件要满足合同标准、规范或其他正式规定文档所需具有的条件或能力。一种反映上面两句所描述的条件或能力的文档说明。)，需求工程过程的需求获取、需求分析、需求规格说明、需求验证、需求管理，...
分类：
其他好文 时间：
2015-03-01 23:42:57
阅读次数：
161
本章主要介绍了软件工程的概念包括任务思维与过程思维(即将整个软件开发任务看作是一个可控的、可度量的和可改进的过程。)、软件过程的定义(软件过程是软件工程人员为了获得软件产品而在软件工具的支持下实施的一系列软件工程活动。)、软件过程的基本活动（问题提出、软件需求规格说明、软件设计、软件实现、软件确认、...
分类：
其他好文 时间：
2015-03-01 22:09:18
阅读次数：
117
第十章、软件测试 第十章 软件测试是软件质量保证的一项关键活动，它是通过对需求规格说明、软件设计说明和程序代码等进行复审，以保证在软件产品交付前，尽可能发现软件中潜伏的问题。 主要讲1、验证与确认，主要介绍了V&V的活动；2、软件测试基础，主要写了软件测试的基本原则3、软件测试策略，一般需要经过单元...
分类：
其他好文 时间：
2015-03-01 19:41:03
阅读次数：
125
软件工程中的形式化方法，软件规格说明是对软件系统对象，对象的操作方法，以及对象行为的描述。在系统的开发及演化过程中，对象、对象的性质以及操作应作为一个整体来处理。形式证明与实验技术主要包括模型检测和定理证明。程序求精是将自动推理和形式化方法相结合，从抽象的形式规约推演出具体的面向计算机的程序代码的全...
分类：
其他好文 时间：
2015-03-01 13:13:15
阅读次数：
107
第10章软件测试软件测试是软件质量保证的一项关键活动，它是通过对需求规格说明、软件设计说明和程序代码等进行复审，以保证在软件产品交付前，尽可能发现软件中潜伏的问题。一、验证与确认符合以下5条规则的软件问题定义为软件错误：（1）软件未达到产品说明书表明的功能；（2）软件出现了产品说明书指明不会出现的错...
分类：
其他好文 时间：
2015-03-01 13:10:07
阅读次数：
135
第10章软件测试软件测试是软件质量保证的一项关键活动，它是通过对需求规格说明、软件设计说明和程序代码等进行复审，以保证在软件产品交付前，尽可能发现软件中潜伏的问题。一、验证与确认符合以下5条规则的软件问题定义为软件错误：（1）软件未达到产品说明书表明的功能；（2）软件出现了产品说明书指明不会出现的错...
分类：
其他好文 时间：
2015-03-01 13:03:56
阅读次数：
132
软件测试是在软件投入生产性运行之前，对软件需求分析、设计规格说明和编码的最终复审，是软件质量控制的关键步骤。 软件测试的对象：需求分析、概要设计、详细设计及程序编码等阶段所得的文档资料，包括需求规格说明、概要设计规格说明、详细设计规格说明以及源程序。 确认是一系列的活动和过程，目的在于证实在一个恰当...
分类：
其他好文 时间：
2015-03-01 11:45:14
阅读次数：
141
这一章运用的离散数学的知识很多。从广义上讲，形式化方法是指将离散数学的方法用于解决软件工程领域的问题，主要包括建立精确的数学模型以及对模 型的分析活动。狭义的讲，形式化方法是运用形式化语言，进行形式化的规格描述、模型推理和验证的方法。运用形式化方法，主要是为了保证软件的正确性。 这一章主要介绍了三....
分类：
其他好文 时间：
2015-03-01 11:44:28
阅读次数：
116
软件测试软件测试通过对需求规格说明、软件设计说明和程序代码等进行复审，以保证在软件产品交付前，尽可能发现软件中潜伏的问题。软件错误是普遍存在的。软件验证试图证明在软件生存期各个阶段，软件产品或中间产品是否能够满足客户需求，包括逻辑协调性、完备性和正确性。软件确认分为静态确认和动态确认。验证和确认在各...
分类：
其他好文 时间：
2015-02-28 22:55:46
阅读次数：
168
