说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
您的位置：首页 -> 词典 -> 数据流与控制流
1)  data flow and control flow
数据流与控制流
1.
Secondly the fault type standard of fault model is followed to generate testing sequences automatically and the method of combination of data flow and control flow is used.
该方法首先为OSPFv3协议的邻居状态转换过程建立了部分的EFSM模型,然后遵循故障模型的故障类型标准,使用数据流与控制流相结合的方法自动生成测试序列,对生成的测试例经过测试发现了协议实现的一些错误。
2)  data flow control
数据流控制
例句>>
3)  control/data flow graph(CDFG)
控制/数据流图
4)  control data flow graph(CDFG)
控制数据流图
5)  dataflow control
数据流量控制
6)  CDFG
数据控制流图
1.
Based on the advantages of simulation and formal verification with CDFG structure, classified properties are proposed to activate their good qualities respectively.
在数据控制流图(CDFG)结构的基础上,结合模拟验证和模型检测的优点,对需要验证的系统性质进行分类,采用不同的验证方法,提高验证的能力。
补充资料：数据流计算机
由数据来驱动操作的电子计算机。机内所存储的程序指令不需顺序执行，当所需的操作数据完备时就立即执行。当多个操作同时满足条件时，它们可并行执行而不受程序指令顺序的限制，从而大大提高了计算机的运行速度。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条