一個有系統可平行化的並行程式測試方法

Abstract

並行程式其正確性的確認程序包括測試和除錯兩個步驟. 測試一個並行程 式就是執行此並行程式並核對其執行的結果是否正確來確認此並行程式是 否有錯誤. 在這篇論文中, 我們提出一個有系統可平行化的方法, 此方法 可以自動平行來測試並行程式而不會重覆相同的測試, 甚至可以完成一個 並行程式所有可能的測試. 而且此方法也不使用任何靜態分析的技巧, 而 是在執行時發揮其功能. 因此它可以將靜態分析所要花費的時間節省下 來. 更進一步來說, 它適用於多處理機及分散式系統.它可以下列兩種方 式來加速測試工作之進行: 第一, 因為此方法的平行度很大, 因此在多處 理機及分散式系統運作時可以平行工作以減少測試所要花費的時間. 第 二, 不同測試間所重覆的計算也可以消去.我們已經在 Sequent Symmetry S27 實作了一個雛形. 同時我也利用一個虛擬的多處理機環境 來模擬一個範例. The validation process of a concurrent program includes the testing and debugging phase. The testing of concurrent programs is the process of executing the concurrent program and then verifies the results to detect whether the concurrent program existing bugs or not. We suggest a systematic parallel testing method which can sutomatically test the concurrent program in parallel without repeating the same test. The scheme can even exhaust all the possible tests of a concurrent program. Also, it does not use any static analysis technique but works in run time dynamically. Thus, it can reduce the static analysis overhead. Furthermore, this scheme is suitable for the multiprocessor computer system and the distributed system. It can speed up the testing in the following ways. First, because our method can naturally work in parallel, users can spend less time doing the testing. Second, the duplicated computation of different tests can be eliminated. We describe a prototype implementation of our scheme in Sequent Symmetry S27, a shared- bus multiprocessor computer system. In addition, we also create a virual parallel processing environment to simulate an example.