专用芯片功能测试任务流建模

基于对专用芯片功能测试系统中测试任务过程的分析,参考工作流管理联盟提出的过程元模型,提出一个包含过程模型、数据模型、测试资源模型的三维测试任务流模型。分别从不同角度描述了测试任务流的各种属性。

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

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