| 测试任务流中或分支的完整性验证 |
| 方清华;苏锦海;凌祖让;滑冬冬; |
| 关键词：或分支;完整性;哈夫曼;测试任务流 |
| 主要内容：测试任务流中或分支的完整性验证是保证任务流模型正确、稳定、完备的必要条件。基于测试任务流中或分支的完整性分析,给出或分支约束条件集的完整性定义,将问题转换为约束条件集的完整性验证。借鉴哈夫曼树的思想,构造一棵或分支完整性判定树,完成测试任务 |
| 《计算机科学》 2015,42(10):180-183+192 |
| 全文下载请进入http://hightech.stlib.cn/tpi_1/sysasp/include/index.asp |
微信公众号