【扩展控制流图】

扩展控制流图

ECFG

本文着重介绍在面向对象系统中如何构造控制流图，并对面向对象软件的基于代码的分析提出了一个名为扩展控制流图(ECFG)的新模型。扩展控制流图(ECFG)是一个分层的控制流图，其一个节点表示一个方法而不是语句。

基于22个网页-相关网页

XCFG

本文提出一种基于扩展控制流图(XCFG)的BPEL流程数据流属性验证方法,利用XCFG对BPEL流程进行形式建模,设计相应的算法来分析和验证典型的数据流属性,如定义-使用一致性...

基于8个网页-相关网页

ExtendedControlFlow Graph

基于应用程序的指令流建立 扩展控制流图（ExtendedControlFlow Graph，ECFG），对内部有跳转指令的函数进一步划分为子块，直到ECFG的每个节点均是可连续执行的无跳转指令块。

基于1个网页-相关网页

扩展控制流图

Extended control flow diagram

以上为机器翻译结果，长、整句建议使用人工翻译。

信息流图是建立在机械电子学模型的基础上，通过引进信息控制单元模型，并经适当地组合和扩展所形成的一种信息流模型。

The new model is based on the mechatronics unit model and the information control unit model to form a new kind of information flow model through proper combination and extension.

youdao

更多双语例句

应用推荐

$firstVoiceSent

- 来自原声例句