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

摘要：

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

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

所属期刊栏目：42

分类号：TP14(自动化基础理论)

资助基金：核高基重大专项2012ZX01027004

在线出版日期：2015-11-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：180-183,192