針對信息遞送程式 做可及性測試的研究

A General Model to Perform Reachability Testing for Message Passing Programs

顏文賢(Wen Hsain Yen)

指導教授 ： 黃冠寰

國立臺灣師範大學/理學院/資訊工程研究所/碩士(2010年)

摘要

軟體測試一直是我們最重要的課題，因為軟體出錯的比率不只是我們人類所撰寫的程式語言會出錯，就連系統執行所有程式時所不可能預期的錯誤也會發生。在現實的情況中，通常我們所執行的程式都是concurrent program，很少程式是單一直行的程序，所以軟體出錯的機會很大。
黃冠寰博士提出了reachability testing[1]，此篇主要的研究是根據reachability testing 做一個核心的延伸，所用的架構為 message passing 的模型，依照reachability resting 的精神下去做研究，並且提出一個解法，利用unique message id和filter 增進reachability testing 的功能， 專門針對multiple receiver 的
synchronization sequence 產生race variants 做過濾，進而得出符合synchronization model 的race variants，此篇論文主要針對兩種message passing 模型進行分析，分別為synchronous message passing 和asynchronous message passing，並且針對Richard H. Carver 和Yu Lei 的work[5][17]提出一些不同的看法和質疑，另外我們發現改良Richard H. Carver 提出的race table 的方式去解決multiple receiver 的問題。

關鍵字

軟體測試 ； 並行程式 ； 可及性測試 ； 訊息傳遞 ； 多個收取者 ； 同步訊息傳遞 ； 非同步訊息傳遞 ； 獨有辨識訊息 ； 過濾器

並列摘要

Software testing is always an important problem during our life, because the big chance of software which has errors is not only in our writing programs, but also in the achine system programs which execute all the times, and then all the nondeterministic errors occur. In the reality world, we usually execute concurrent programs, the very few times to execute a sequential program, It is the big chance that errors will occur.
Dr. Gwan-Hwan Hwang has proposed “Reachability testing”, this paper is follow this work and view this major study is based on a core of reachability testing an
extension of the framework used by the message passing model, reachability testing in accordance with the spirit of this research, and propose a solution, using unique
message id and filter to enhance the function of reachability testing ,we focus on the race variants of synchronization sequences of multiple receiver, this paper mainly two kinds of message passing model for analysis of synchronous message passing and asynchronous message passing, and for Richard H. Carver and Yu Lei’s work[5][17]
to make some different views and queries. In addition, we found that improvement of Richard H. Carver made race table approach to deal with multiple receiver problems.

並列關鍵字

software testing ； concurrent program ； reachability testing ； message passing ； multiple receiver ； synchronous message passing ； asynchronous message passing ； unique message id ； filter

參考文獻

[1] G. H. Hwang, K.C. Tai, and T.L. Huang, "Reachability Testing: An Approach To Testing Concurrent Software", Int’l J. Software Eng.

and Knowledge Eng., vol. 5, no. 4, pp. 493-510, Dec. 1995.

[4] Gwan-Hwan Hwang, Sheng-Jen Chang, and Huey-Der Chu, "Technology for Testing Nondeterministic Client/Server Database Applications", IEEE Transaction on Software Engineering, Volume 30, Number 1, pp. 59-77, Jan.,

[6] K. C. Tai, R. H. Carver, "Use of sequencing constraints for specifying, testing and debugging concurrent programs", Proc. 1994 Int. Conf. Parallel and Distributed

Systems (December 1994) pp. 280-287.