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

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