软件工程-胡飞（第二稿电子教案）chapter 13.pptVIP

软件工程技术发展 基于组件的软件可以有四类组件组成 软件工程技术发展 软件组件的开发流程可以遵循传统的软件工程 方法，包含下面六个迭代阶段： 13.3.2 软件过程成熟度的基本概念 软件工程技术发展 软件工程技术发展 软件工程技术发展 13.4.2 Web测试 软件与微电子学院 软件工程技术发展 13.1 软件开发中的形式化方法 13.1.1 基本概念 形式化方法是采用数学规约的方法来描述问题。 非形式化的描述方法，往往会导致系统描述中存在矛盾、二义性、含糊性、不完整性、以及抽象层次的混杂等问题。 软件与微电子学院 * 软件工程技术发展 形式化方法的优点： 描述的简洁性 实现了软件过程的平滑变迁 精确性和逻辑性 为软件验证提供了支持 软件与微电子学院 * 软件工程技术发展 13.1.2 有穷状态机 我们可以将有穷状态机表示为一个5元组（J，K， T，S，F），其中： J 是一个有穷的非空状态集； K是一个有穷的非空输入集； T是一个从（J-F）×K到J的转换函数； S ∈J，是唯一的初始态； F ∈J，是若干个终止态。 软件与微电子学院 * 软件工程技术发展 13.1.3 Petri网 Petri网是对离散并行系统的数学表示，适合 于描述异步的并发的计算机系统模型。Petri网 既有严格的数学表述方式，也有直观的图形表达式。 软件与微电子学院 *