系统工程理论与实践
繫統工程理論與實踐
계통공정이론여실천
Systems Engineering—Theory & Practice
2010年
9期
1672~1678
,共null页
付新华 罗护 肖明清
付新華 囉護 肖明清
부신화 라호 초명청
自动测试 资源优化 赋时有色Petri网 模型 算法
自動測試 資源優化 賦時有色Petri網 模型 算法
자동측시 자원우화 부시유색Petri망 모형 산법
automatic testing; resource optimization; TCP-net; model; algorithm
提出采用赋时有色Petri网（TCP—net）对测试流程进行建模，用来优化自动测试系统的资源配置．给出了测试流程TCP—net模型的构建步骤；基于模型，给出了寻求测试流程最短测试用时的方法，并设计了求解最短测试用时下最小资源集的算法：基于空闲区匹配的最小资源集算法；通过给出一个应用实例，证明了上述方法的有效性和实用性．
提齣採用賦時有色Petri網（TCP—net）對測試流程進行建模，用來優化自動測試繫統的資源配置．給齣瞭測試流程TCP—net模型的構建步驟；基于模型，給齣瞭尋求測試流程最短測試用時的方法，併設計瞭求解最短測試用時下最小資源集的算法：基于空閒區匹配的最小資源集算法；通過給齣一箇應用實例，證明瞭上述方法的有效性和實用性．
제출채용부시유색Petri망（TCP—net）대측시류정진행건모，용래우화자동측시계통적자원배치．급출료측시류정TCP—net모형적구건보취；기우모형，급출료심구측시류정최단측시용시적방법，병설계료구해최단측시용시하최소자원집적산법：기우공한구필배적최소자원집산법；통과급출일개응용실례，증명료상술방법적유효성화실용성．
Aiming at lacks of theoretical guidance and mathematical verification during the process of configurating resource for automatic test system, an approach of modeling test flow is proposed using Timed Coloured Petri-Net （TCP-net）. The steps to build TCP-net model of test flow are given. Based on the model, method of seeking the least test time of test flow is designed and a kind of algorithm is put forward to calculate the least resource set under the least test time： algorithm based on idle time interzone matching. An example shows that these methods are validated and practical.
