试题详情
- 简答题什么是形式化方法？说说它产生的原因和适用的范围。
-
形式化系统开发是一个类似瀑布模型的软件开发方法，但其开发过程基于的是用形式化数学转换来将系统描述转换成一个可执行程序。
因为使用这种方法可以大大提高软件的可靠性，以及节省测试成本；这种方法主要用于可靠性要求很高的软件。 关注下方微信公众号，在线模考后查看
热门试题
- 同一类中有相同的数据结构，这种共享的级别
- 下列模型中，不属于质量度量模型的是（）
- 黑盒测试
- 试描述UML建模过程。
- 判定表、判定树和IPO图都是常用来编写数
- 尾接法建立单链表时，元素的输入顺序与在链
- 传统的软件开发方法是以功能分析和数据分析
- 软件开发费用只占整个软件系统费用的（）
- 请用判定表画出以下问题的行为逻辑。人们往
- 下面是一段求最大值的程序，其中datal
- 设二维数组intM[4][4]，每个元素
- ZAMEL公司项目组F已经完成项目的站点
- 模块越小，模块化的优点越明显。一般来说，
- 在具有n个元素的顺序存储结构的线性表中删
- 可靠性需求项可在哪几个方面对系统可靠性进
- 对一个具有100元素的有序表，若采用二分
- 通过执行对象的操作改变对象的属性，但它必
- 在程序设计中使用括号以改善表达式的清晰性
- 传统"瀑布模型"的主要缺陷是什么？试说明
- 为提高软件的可维护性和可靠性而对软件进行