- 博客(8)
- 收藏
- 关注
RSS订阅原创 2021-04-25
软件工程作业(第八周) 黑盒测试——决策表法 决策表又称判断表，是一种呈表格状的图形工具，适用于描述处理判断条件较多，各条件又相互组合、有多种决策方案的情况。精确而简洁描述复杂逻辑的方式，将多个条件与这些条件满足后要执行动作相对应。但不同于传统程序语言中的控制语句，决策表能将多个独立的条件和多个动作直接的联系清晰的表示出来。 结构 决策表一般分为4个部分。 每个条件对应一个变量、关系或预测，“候选条件”就是它们所有可能的值；动作指要执行的过程或操作；动作入口指根据该入口所对应的候选条件集，是否或按怎样的顺序
2021-04-25 18:08:36
61
原创 2021-04-04
软件工程作业(第五周) 软件形式化方法 软件形式化方法是指建立在严格数学基础上的软件开发方法。形式化方法模型的主要活动是生成计算机软件形式化的数学规格说明。形式化方法使软件开发人员可以应用严格的数学符号来说明、开发和验证基于计算机的系统。 起源 软件形式化方法最早可追溯到20世纪50年代后期对于程序设计语言编译技术的研究，即J.Backus提出BNF描述Algol60语言的语法，出现了各 种语法分析程序自动生成器以及语法制导的编译方法，使得编译系统的开发从“手工艺制作方式”发展成具有牢固理论基础的系统方法
2021-04-04 19:55:56
168
原创 2021-04-01
软件工程作业(第五周) 原文链接：https://continuousdelivery.com/2012/08/why-software-development-methodologies-suck/
2021-04-01 16:31:53
174
原创 2021-03-28
软件工程作业(第四周) 1. Quora精选链接：https://www.sohu.com/a/132411358_355123 软件开发周期并不是一个简单的时间分配问题，首软件开发有许多难以预料的事情，比如管理上的失误，开发人员的实际进度不能赶上每个阶段都要需要完成相应的任务，造成延误。 ...
2021-03-28 21:53:11
113
2
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人