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

Integration Verification of Or-split in Test Flow

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

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