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...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | zh-TW |
| Published: |
2010
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/17005165402860907390 |