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

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

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