面向动作模型 数据流程图(Data Flow Graph,DFG) 控制流程图(Control Flow Graph,CFG) 阅读:数据流程图 数据流程图的每个顶点代表的是一项动作,如数据的输入、 输出、存储与运算等,而当中...
基于76个网页-相关网页
... 控制流程图 control flow chart 控制流复杂性测量 control flow complexity measure 控制流计算器 control flow computer ...
基于20个网页-相关网页
A:通用审计软件;B:控制流程图(control flowcharting); C:嵌入审计数据集合(Embedded audit collection);D:整合测试工具(ITF)。
基于16个网页-相关网页
... control flow diagram: 控制流图 control flow diagram: 控制流程图 electronic control circuit diagram: 电子控制线路图 ...
基于10个网页-相关网页
品质控制流程图 quality control flow sheet ; QCFC
控制流程图法 control flow chart
分区控制流程图 partitioning control flow graph
规划程序控制流程图 Process Control Flow Diagram
时间控制流程图 flow chart of time control
工艺控制流程图 Process Control Diagram ; PCD
业务流程控制时序图 PCSD
控制/资料流程图 Control/Data Flow Graph, CDFG
带控制点的工艺流程图 Process and control flowsheet
The main works include the following:1. Translating control flow chart to the equivalent Kripke structure,using this Kripke structure as the abstract model for model checking.
本文的主要工作包括以下几个部分:1.将信息流分析中的控制流程图的等价Kripke结构作为模型检验模型,简化了对软件进行模型检验时建模的工作。
参考来源 - 基于模型检验的软件分析方法研究·2,447,543篇论文数据,部分数据来源于NoteExpress
阐述了系统的工作原理,给出了该系统主要的硬件电路图和控制流程图。
Its operation principle is stated, and its main circuit diagrams and control flow charts are also given.
针对路径测试的特点,结合图论的知识,提出了控制流程图的一种表示方法。
In accordance with the characteristics of path coverage test and the graph theory, this paper presents a new program control flow diagram model.
通过对S字曲线和干涉距离的深入剖析,提供了详尽的计算方法和控制流程图。
Through thorough analysis on s shape curve and interference distance, both detail calculating method and control flowsheet are provided.
应用推荐