测试任务流中或分支的完整性验证

计算机科学 ›› 2015, Vol. 42 ›› Issue (10): 180-183.

测试任务流中或分支的完整性验证

方清华,苏锦海,凌祖让,滑冬冬

解放军信息工程大学郑州450004,解放军信息工程大学郑州450004,78003部队昆明650000,解放军信息工程大学郑州450004

出版日期:2018-11-14 发布日期:2018-11-14
基金资助:
本文受核高基重大专项(2012ZX01027004)资助

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

摘要： 测试任务流中或分支的完整性验证是保证任务流模型正确、稳定、完备的必要条件。基于测试任务流中或分支的完整性分析,给出或分支约束条件集的完整性定义,将问题转换为约束条件集的完整性验证。借鉴哈夫曼树的思想,构造一棵或分支完整性判定树,完成测试任务流或分支的完整性验证。

关键词: 或分支,完整性,哈夫曼,测试任务流

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

方清华,苏锦海,凌祖让,滑冬冬. 测试任务流中或分支的完整性验证[J]. 计算机科学, 2015, 42(10): 180-183. https://doi.org/

FANG Qing-hua, SU Jin-hai, LING Zu-rang and HUA Dong-dong. Integration Verification of Or-split in Test Flow[J]. Computer Science, 2015, 42(10): 180-183. https://doi.org/

参考文献

[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

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed