Computer Science ›› 2015, Vol. 42 ›› Issue (10): 180-183.

Previous Articles     Next Articles

Integration Verification of Or-split in Test Flow

FANG Qing-hua, SU Jin-hai, LING Zu-rang and HUA Dong-dong   

  • Online:2018-11-14 Published:2018-11-14

Abstract: Integration verification of or-split in test flow is the necessary condition to insure correctness,stability and maturity of the model.Based on the analysis of the integration in test flow,we gave the integration definition of condition-constrained set representing or-split to convert the problem from or-split to the verification of condition-constrained set.According to the Huffman tree,we constructed a tree to decide whether the or-split in test flow is integrated or not.

Key words: Or-split,Integration,Huffman,Test flow

[1] IEEE Standards Coordinating Committee 20.IEEE Std 1671-2010,IEEE Standard for Automatic Test Markup Language (ATML) for Exchanging Automatic Test Equipment and Test Information via XML[S].USA:IEEE-SA Standards Board,2010
[2] IEEE Standards Coordinating Committee 20.IEEE Std 1671.1-2009,IEEE Trial-Use Standard for Automatic Test Markup Language (ATML) for Exchanging Automatic Test Equipment and Test Information via XML:Exchanging Test Descriptions[S].USA:IEEE-SA Standards Board,2009
[3] Muth P,Wodtke D,Weissenfels J.Enterprise-Wide workflowmanagement based on state and activity charts.http://paris.cs.uni-sb.de/public_html/papers/nato-wf:ps
[4] Scholz-Reiter B,Stichel E.Business process modeing[M]Berlin:Springer-Verlag,1996
[5] 袁崇义.Petri网原理与应用[M].北京:电子工业出版社,2005:225-258 Yuan Cong-yi.The Theory and Application of Petri Nets[M].Beijing:Publishing Company of Electric Industry,2005:225-258
[6] 罗海滨,范玉顺,吴澄.工作流合理性验证中的事件平衡分析[J].软件学报,2002,13(8):1686-1691 Luo Hai-bin,Fan Yu-shun,Wu Cheng.Analysis of event balance in the verification of workflow soundness[J].Journal of Software,2002,13(8):1686-1691
[7] Ernst W M,Jeremias W.Results on Equivalence,Boundedness,Liveness,and Covering Problems of Bpp-Petri Nets[C]∥Application and Theory of Petri Nets and Concurrency 2013.Milan,Italy Jose-Manuel Colom,2013:70-90
[8] 庞善臣,蒋昌俊.一种基于不变量结构分解的工作流性能分析方法[J].计算机学报,2010,33(5):908-917Pang Shan-chen,Jiang Chang-jun.Workflow Performance Analy-sis Based on Invariant Decomposition Algorithm[J].Chinese Journal of Computer,2010,33(5):908-917

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!