非形式化

用自然语言书写的缺点：矛盾，二义性，含糊性，不完整性
矛盾—一组相互冲突的描述
二义性——读者可以用不同方式进行解读

形式化

优点：

应用形式化的准则

有穷状态机

一种形式化方法
用图形表示一个例子：

同时也可以用表格表示：

有穷状态机可以表现成一个五元组
（J,K,T,S,F）
1）状态集J：{保险箱锁定，A，B，保险箱解锁，报警}
2）输入集K：{1L,1R,2L,2R,3L,3R}
3）转换函数T，如表4.1
4）初始状态S：保险箱锁定
5）终态集F：{保险箱解锁，报警}

格式：
当前状态+事件+谓词 ——》下个状态

评价：

Perl网

解决定时问题，尤其是那些有异步和并发活动的系统

当每个输入位置所拥有的权标数>=从该位置到转换的线数时，就允许转换
初始：

T1被激发

t2被激发

加入禁止线

当输入线上至少有一个输入没有权标的时候才允许转化激发。

EBf有一个权标，表示电梯内楼层f的按钮被按下了
电梯只有第一次按下才会亮，往后再按都没有反应

软件工程---第四章---形式化分析相关推荐

arcgis重心迁移分析_Arcgis第四章空间分析.ppt
Arcgis第四章空间分析第4章空间分析空间分析概述矢量数据分析方法栅格数据分析 DTM与三维分析空间分析建模复习思考题实验不同的学者对此有着不同的看法陈述彭 .黄杏元 .Hai ...
第四章如何分析电路故障的原因
第四章如何分析电路故障的原因 4.1 电阻损坏的特点与判别常看见许多初学者在检修电路时在电阻上折腾,又是拆又是焊的,其实修得多了,你只要了解了电阻的损坏特点,就不必大费周章. 电阻是电器设备中数量 ...
第四章自上而下分析
第四章词法分析--自上而下分析 4.1语法分析器功能语法分析是编译过程的核心部分. 它的任务是在词法分析识别出单词符号串的基础上,分析并判定程序的语法结构是否符合语法规则. 自上而下分析面临的问题 ...
软件工程 | 第四章系统设计
软件工程系列为本学期(2020春季)软件工程以及软件工程实践课程笔记整理~ 天朗气清,惠风和畅,空气里渐渐飘起了调皮的柳絮今天软工老师终于上课啦,来更新一波笔记~ 目录一.软件设计的目标的任务 ...
现代软件工程第四章【结对编程】练习与讨论
4.7.0 结对编程的练习题地铁导航和遍历 4.7.1 结对项目的案例和论文在现代软件工程教学的过程中,同学们已经总结了不少切身体会.例如: 总结1[i]: 那是project到了比较关键的创造 ...
【软件工程】期末复习题 | 第一~十四章例题/课后习题
软件工程期末复习题整理(答案在文末) 目录软件工程期末复习题整理(答案在文末) 一.判断题二.选择题三.简答题四.应用题一.判断题第一章 1.软件就是程序,编写软件就是编写程序. ( ) ...
软件工程概论总结第四章
第四章需求工程软件需求软件需求 ①用户解决问题或达到目标所需的条件或能力 ②系统或系统部件要满足合同.标准.规范或其他正式规定文档所需具有的条件或能力. ③一种反映上面①或②所描述的条件或能 ...
现代软件工程讨论第一章-第四章
第一章 1.代码如下 #include <iostream> #include <cstdio> #include <time.h> using namespace ...
软件工程-第3章(上) 结构化分析与设计——分析
文章目录软件工程第三章结构化分析与设计--分析 3.1 需求分析的任务与步骤 3.2 需求获取的常用方法 3.3 分析建模结构化分析模型面向对象分析模型 3.4 软件需求说明 3.5 结构化 ...

软件工程---第四章---形式化分析

文章目录