| 测试任务流中或分支的完整性验证 |
| |
| 引用本文： | 方清华,苏锦海,凌祖让,滑冬冬.测试任务流中或分支的完整性验证[J].计算机科学,2015,42(10):180-183, 192. |
| |
| 作者姓名： | 方清华 苏锦海 凌祖让 滑冬冬 |
| |
| 作者单位： | 解放军信息工程大学 郑州450004,解放军信息工程大学 郑州450004,78003部队 昆明650000,解放军信息工程大学 郑州450004 |
| |
| 基金项目： | 本文受核高基重大专项(2012ZX01027004)资助 |
| |
| 摘 要： | 测试任务流中或分支的完整性验证是保证任务流模型正确、稳定、完备的必要条件。基于测试任务流中或分支的完整性分析,给出或分支约束条件集的完整性定义,将问题转换为约束条件集的完整性验证。借鉴哈夫曼树的思想,构造一棵或分支完整性判定树,完成测试任务流或分支的完整性验证。
|
| 关 键 词： | 或分支 完整性 哈夫曼 测试任务流 |
| 收稿时间： | 2014/10/29 0:00:00 |
| 修稿时间： | 2015/1/23 0:00:00 |
Integration Verification of Or-split in Test Flow |
| |
| FANG Qing-hu,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, 192. |
| |
| Authors: | FANG Qing-hu SU Jin-hai LING Zu-rang and HUA Dong-dong |
| |
| Affiliation: | PLA Information Engineering University,Zhengzhou 450004,China,PLA Information Engineering University,Zhengzhou 450004,China,78003 Troops,Kunming 650000,China and PLA Information Engineering University,Zhengzhou 450004,China |
| |
| 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. |
| |
| Keywords: | Or-split Integration Huffman Test flow |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|
