1) Data-Control Stream Separation
数据流和控制流分离
2) data stream separating
数据流分离
4) 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模型,然后遵循故障模型的故障类型标准,使用数据流与控制流相结合的方法自动生成测试序列,对生成的测试例经过测试发现了协议实现的一些错误。
5) separated flow control
分离流控制
6) data stream off-line analysis
数据流离线分析
补充资料:和孔密州五绝 和流杯石上草书小诗
【诗文】:
蜂腰鹤膝嘲希逸,春蚓秋蛇病子云。
醉里自书醒自笑,如今二绝更逢君。
【注释】:
【出处】:
苏轼诗集 卷八
蜂腰鹤膝嘲希逸,春蚓秋蛇病子云。
醉里自书醒自笑,如今二绝更逢君。
【注释】:
【出处】:
苏轼诗集 卷八
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条