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 )

機構典藏連結