查詢結果分析
來源資料
頁籤選單縮合
題 名 | 自動化製造系統控制軟體的規範測試=Conformance Testing of Control Software in Automated Manufacturing Systems |
---|---|
作 者 | 林潔妤; 梁高榮; | 書刊名 | 機械工業 |
卷 期 | 304 2008.07[民97.07] |
頁 次 | 頁112-123 |
分類號 | 448.945 |
關鍵詞 | 自動化製造系統; 斐氏圖; 規範測試; 運輸模式; 修正弗勒希演算法; Automated manufacturing system; Petri net; Conformance testing; Transportation model; Modified fleury's algorithm; |
語 文 | 中文(Chinese) |
中文摘要 | 對自動化製造系統而言,發展它的控制軟體過程可分為設計與實作兩階段。對設計階段而言,連續兩製造狀態的因果關係可用斐氏圖來建模,而所有可到達狀態的集合則稱為設計可達可。相似地,對實作階段而言,對應的斐氏圖可秀過程式語言來撰寫,並自然地產生其實作可達圖。又測試設計可達圖與實作可達圖的等效性是必要的。換言之,設計可達可可用來產生測序列並用來測試實作可達圖的規範。假如設計可達圖是歐氏有向圖,則測試序列可直接透過修正弗勒希演算法來產生。假如設計可達圖不是歐氏有向圖,則建構運輸模式來增加最少的額外弧線並形成新的歐氏有向圖,再透過修正弗勒希演算法來產生測試序列。又本文已用爪哇語言實作出此規範測試系統來驗證這些構想的可行性。 |
英文摘要 | For a given automated manufacturing system, the development of its control software usually involves a design phase and an implementation phase. In the design phase, the causal relation between two sequential manufacturing states can be modeled by a Petri net, and a directed network consisting of all the reachable states is named its designed reachability graph. Similarly, in the implementation phase, the corresponding Petri net is coded through a proper programming language, and its implemented reachability graph is generated naturally. Also it is necessary to test the equivalence of both designed and implemented reachability graphs. In other words, the designed reachability graph is used to generate a testing sequence for testing the conformance of the implemented reachability graph. In this paper, if the designed reachability graph is an Eulenan digraph, then its testing sequence can be directly generated by modified Fleury’s algorithm. If not, then a transportation model is constructed to add minimal extra arcs for forming a new Eulerian digraph to which the modified Fleury’s algorithm can be applied. Also a Java-based conformance testing system has been implemented for showing the feasibility of this approach. |
本系統中英文摘要資訊取自各篇刊載內容。