頁籤選單縮合
題名 | Testing Real-Time Software with Time Petri Nets=以時間派翠網圖來進行即時軟體測試 |
---|---|
作者 | 何翊; 林金城; | 書刊名 | 大同學報 |
卷期 | 28 1998.11[民87.11] |
頁次 | 頁235-242+464 |
分類號 | 312.49 |
關鍵詞 | 時間派翠網圖; 即時軟體測試; |
語文 | 英文(English) |
中文摘要 | 即時軟體不僅需滿足功能需求的正確性也需滿足時間方面的需求。最近許多有關即時軟體的研究都集中在分析而非測試方面。在即時軟體的執行過程中,並行處理程序裡的事件將隨著時間依序發生。基於並行處理程序間的不可預測性,以相同之測試條件多次執行一即時軟體可能產生不同之結果。這種不確定的執行行為常造成軟體測試上的問題。本文即在探究以時間派翠網圖模型來進行即時軟體測試。文中包括(1)如何掌握即時系統不確定的特性,(2)如何將時間派翠網圖模型分解成獨立區段,以及(3)利用測試區段及時間變異法來產生軟體測試條件的方法。 |
英文摘要 | Real-time software must satisfy not only functional correctness requirements but also timeliness requirements. A lot of real-time researches focused on analysis rather than testing recently. During the execution of real-time software, sequence of events due to time take place between the concurrent processes. Because of the unpredictability of concurrent processes, multiple executions of real-time software with the same test cases may produce different results. This non-deterministic execution behavior always creates problems in software testing. This paper explores real-time software testing by using time Petri nets model. It includes (1) a guideline of how to handle the non-deterministic properties of real-time systems, (2)the rules of how to decompose the time Petri nets model into independent segments, and (3) the way test cases are generated using test segments and time variation methods. |
本系統之摘要資訊系依該期刊論文摘要之資訊為主。