| A quantitative analysis for different testing criteria through program decomposition | |
|---|---|
| 學年 | 85 |
| 學期 | 1 |
| 出版（發表）日期 | 1996-09-01 |
| 作品名稱 | A quantitative analysis for different testing criteria through program decomposition |
| 作品名稱（其他語言） | |
| 著者 | 莊淇銘; Chung, Chi-ming; 施國琛; Shih, Timothy K.; 王英宏; Wang, Ying-hong |
| 單位 | 淡江大學資訊工程學系 |
| 出版者 | Elsevier |
| 著錄名稱、卷期、頁數 | Information Sciences 93(3-4), pp.211-233 |
| 摘要 | Many software testing criteria have been proposed which demonstrate different testing capacities. However, there is still less research exploring what the quantitative difference is among different testing criteria. A quantitative difference among different criteria is apparently a good guideline for selecting appropriate testing methodologies. All-statements and all-branches testing criteria are well known, and both of them have been widely applied in software testing. This research infers a quantitative analysis to measure the difference between the all-statements criterion and all-branches criterion. The quantitative analysis provides a theoretical basis for measuring testing efforts between different testing methodologies. A testing metric is proposed to compare the all-statements criterion with all-branches. A CASE tool for this metric is presented. |
| 關鍵字 | Logic testing;Software testing;System testing;Computer languages;Network address translation;Continuous wavelet transforms;Automatic testing;Logic programming;Programming profession |
| 語言 | en_US |
| ISSN | 0020-0255 |
| 期刊性質 | 國外 |
| 收錄於 | |
| 產學合作 | |
| 通訊作者 | |
| 審稿制度 | 否 |
| 國別 | USA |
| 公開徵稿 | |
| 出版型式 | ,紙本 |
| 相關連結 |
機構典藏連結 ( http://tkuir.lib.tku.edu.tw:8080/dspace/handle/987654321/45477 ) |
GoogleAnalytics