论文部分内容阅读
提出采用赋时有色Petri网(TCP-net)对测试流程进行建模,用来优化自动测试系统的资源配置.给出了测试流程TCP-net模型的构建步骤;基于模型,给出了寻求测试流程最短测试用时的方法,并设计了求解最短测试用时下最小资源集的算法:基于空闲区匹配的最小资源集算法;通过给出一个应用实例,证明了上述方法的有效性和实用性.