A General Model to Perform Reachability Testing for Message Passing Programs

碩士 === 國立臺灣師範大學 === 資訊工程研究所 === 98 === 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 error...

Full description

Bibliographic Details
Main Authors: Wen Hsain Yen, 顏文賢
Other Authors: Gwan-Hwan Hwang
Format: Others
Language:zh-TW
Published: 2010
Online Access:http://ndltd.ncl.edu.tw/handle/17005165402860907390