結(jié)構(gòu)測試輔助工作的設(shè)計與實現(xiàn).pdf

1、軟件測試是產(chǎn)生高質(zhì)量軟件、提高軟件可靠性的關(guān)鍵因素。同時它也提供了一種關(guān)于軟件質(zhì)量的重要的、客觀的度量手段。通常的軟件可靠性模型都是利用軟件測試所提供的有關(guān)故障數(shù)據(jù)，對軟件的可靠性進(jìn)行估算，再對軟件將來可能的故障行為進(jìn)行預(yù)測。在實際的軟件開發(fā)過程中，軟件測試的結(jié)果和數(shù)據(jù)還可以幫助進(jìn)行產(chǎn)品(半成品)分析，監(jiān)督開發(fā)過程的進(jìn)行，它可以提供軟件過程管理輔助的決策參考，如過程評估、風(fēng)險分析、項目估計與決策等。目前的軟件測試技術(shù)與實踐有了很大的進(jìn)展

2、，但遠(yuǎn)未成熟。 結(jié)構(gòu)測試輔助工具的設(shè)計與實現(xiàn)以面向路徑的結(jié)構(gòu)測試技術(shù)為切入點，其內(nèi)容主要包括兩方面：一是軟件測試相關(guān)技術(shù)的研究。主要通過系統(tǒng)的檢查程序的控制結(jié)構(gòu)、路徑測試、程序插裝等技術(shù)工具的運用，形成未來實現(xiàn)結(jié)構(gòu)測試的理論基礎(chǔ)；二是設(shè)計實現(xiàn)了一個針對C語言的結(jié)構(gòu)測試輔助工具，以解決自動生成程序控制流圖，自動分析產(chǎn)生面向分支覆蓋的路徑，自動進(jìn)行分支和條件插裝，跟蹤測試的語句、分支和條件覆蓋，測試過程的可視化，自動生成程序的流程圖