1) event graph
事件图
1.
This paper attempts to generate test cases for concurrent programs based on event graph.
通过事件图来产生用于并发程序的测试用例。
2.
In order to overcome the problems in the state estimation of unobservable transitions in event graph modeling for discrete event systems,the concepts of pre/post observable paths are proposed to analyze the problem in detail,and a design method is presented for the state estimator to estimate the unobservable transitions according to the row trans- formation of the incident matrix.
针对基于事件图建模的离散事件系统中存在的不可观变迁的状态估计问题,本文提出前向、后向可观路径的概念对其进行了详细分析,并给出一种估计器设计方法,用来根据关联矩阵行变换进行不可观变迁状态的估计。
3.
A calculus of indexed principal processes,which describes the concurrent cryptographic protocols,is the sub-language of the π-calculus,the denotational semantics model of which is an event graph.
为了给出消息子句的测试关系,选择主体角色进程演算为π演算的一个子集,以该子集刻画并发密码协议系统,事件图为其指称语义模型,由图元的前缀、非确定选择和并发合成运算得到,对于图元及其组合运算来说,图元的子句时新性质确定了主体角色消息语句的子句测试关系,且出现在图元中的消息事件满足通信关系和前驱关系约束。
2) events scheme
事件图式
3) event schema
事件图示
4) event-flow graph
事件流图
1.
Focusing on the problem of infinite paths created by the events for GUI,the author presented a test path generation approach for GUI based on event weight in an event-flow graph(EFG).
针对GUI事件驱动特性产生无限多个测试路径的问题,提出在事件流图中考虑事件权重的GUI测试路径生成方法。
2.
It includes two strategies based on its event-flow graph: a daily smoke testing strategy based on the ant colony optimization algorithm(ACO) and a deep regression testing strategy based on the spanning tree algorithm.
该算法包括两种基于事件流图的GUI自动化测试用例生成策略:基于蚁群算法的日常冒烟测试用例生成策略和基于宽度优先搜索生成树的深度回归测试用例生成策略。
5) continuous event graph
连续事件图
1.
Algebraic approach to continuous event graphs without input;
无输入连续事件图的代数研究方法
6) labeled events graph
标注事件图
1.
The refined triggering graph was extended to construct labeled events graph(LEG).
给出主动规则元模型的概念作为主动规则终止性分析和比较的基础;对精化触发图进行扩展,提出标注事件图分析模型。
补充资料：图的减缩图(或称图子式)
图的减缩图(或称图子式)
minor of a graph
图的减缩图(或称图子式)【.皿以ofa脚户;MHHoPrpa中a」【补注】设G是一个图(graph)(可以有环及多重边).G的一个减缩图(nullor)是从G中接连进行下述运算而得的任何一个图: i)删去一条边; 五)收缩一条边; 说)去掉一个孤立顶点. NRobe由on与P.D.Se脚aour的图减缩定理(脚Ph nl的。r theon习11)如下所述:已知有限图的无穷序列G，，GZ，…，则存在指标i
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条