基于控制流圖的軟件覆蓋測(cè)試關(guān)鍵技術(shù)研究.pdf

1、軟件測(cè)試是保證軟件質(zhì)量的重要手段，軟件測(cè)試工具可以使測(cè)試過(guò)程變得自動(dòng)化。論文主要研究了軟件測(cè)試工具及其關(guān)鍵技術(shù)。 在軟件開(kāi)發(fā)生存期的每一個(gè)階段都有軟件測(cè)試活動(dòng)，其中單元測(cè)試、集成測(cè)試和系統(tǒng)測(cè)試是三項(xiàng)最重要的測(cè)試活動(dòng)。靜態(tài)分析和動(dòng)態(tài)分析則是軟件測(cè)試的兩種測(cè)試方法。本論文研究利用測(cè)試工具，有效地實(shí)現(xiàn)了圖表自動(dòng)生成、覆蓋分析、動(dòng)態(tài)跟蹤和測(cè)試執(zhí)行自動(dòng)化的關(guān)鍵技術(shù)。論文討論了這些自動(dòng)化功能的設(shè)計(jì)和實(shí)現(xiàn)，著重探討了圖表自動(dòng)生成和覆蓋分析

2、自動(dòng)化。論文主要進(jìn)行的工作包括： 1)研究了圖表自動(dòng)生成、覆蓋分析自動(dòng)化，分析了動(dòng)態(tài)跟蹤自動(dòng)化和測(cè)試執(zhí)行自動(dòng)化等功能的設(shè)計(jì)和實(shí)現(xiàn)。 2)實(shí)現(xiàn)了圖表自動(dòng)生成模塊中的程序結(jié)構(gòu)圖和控制流圖的自動(dòng)生成。程序結(jié)構(gòu)圖包括函數(shù)調(diào)用圖、工程文件相關(guān)圖等。要自動(dòng)生成控制流圖就必須分析程序控制流。論文提出了把程序理解為塊的序列，以自動(dòng)生成基于源程序劃分塊的控制流圖。 3)針對(duì)覆蓋分析自動(dòng)化，研究了實(shí)現(xiàn)覆蓋分析自動(dòng)化的關(guān)鍵