儲存執行狀態來加速可達性測試的研究

Abstract

在軟體測試上，我們的reachability testing[1]主要就是針對並行程式來作分析測試的，它最主要的目的就是要把所有同步事件的interleaves找出來以供使用者分析參考，針對這一方面的研究，有提高效能的，也有向外應用的研究，例如web service、dynamic effective testing、多核心競爭的分析等等。 這項研究主要的目的就是改進reachability testing系統的效能，在提高reachability testing系統效能上的議題也蠻多人作研究。在現實生活中，我們所測試的並行程式軟體，一定會相當的龐大，在跑reachability testing 會很耗時，有的時候也許會是五、六個小時，大者甚至一個禮拜左右，像這樣我們一定要提升這個系統的效能，對著此系統作假設、省略和一些演算法的改進。我的研究最主要是針對reachability testing裡的prefix-based replay作改進，保留目前執行的狀態，到下次執行prefix-based replay的時候，利用restore state的方法直接到目的地去執行replay，使用這樣的方式去提高我們reachability testing的效能。目前對提高效能的方面已經有相當的成果了，在未來的工作是要跟目前dynamic effective testing作整合 ，也可以在裡面利用此方法，來作更進一步的提高效率的功能。In software testing, our reachability testing [1] for concurrent program is mainly for testing, which main purpose is to find out all the interleaves for user analysis of reference for research in this area, there are improve the performance, but also from outside the application of research, such as web service, dynamic effective testing, analysis of multi-core competition and so on. The main purpose of this study is to improve the effectiveness of the system reachability testing, reachability testing system to improve performance also were the subject of further study. In real life, we have a concurrent software, and it will be quite large. Running reachability testing will be very time-consuming, and some time may be five or six hours, or even the largest of about a week like this. We enhance the effectiveness of the system, make any assumptions at this system, omitted, and some algorithm improvements. My research is mainly in the reachability testing for prefix-based replay for improvement. It would retain the current status of execution to the next prefix-based replay ,it would jump directly to the destination to do it, and use this method to accelerate reachability testing. At present, this method has been in the fine performance of the experimental results.In future work, it would be with the current dynamic effective testing for integration, it could also use this method to further improve the efficiency they provide.