基于日志分析的測(cè)試預(yù)言技術(shù)研究與實(shí)現(xiàn).pdf

1、隨著軟件逐漸成為人們同常的一部分，人們對(duì)軟件的質(zhì)量和可靠性的要求也越來(lái)越高。作為業(yè)界保證軟件質(zhì)量的主流技術(shù)，軟件測(cè)試是一個(gè)用來(lái)檢查開發(fā)軟件的正確性、完整性、安全性和品質(zhì)的過(guò)程。這個(gè)過(guò)程包含了執(zhí)行程序或應(yīng)用以發(fā)現(xiàn)錯(cuò)誤。動(dòng)態(tài)軟件測(cè)試評(píng)判標(biāo)準(zhǔn)其核心就是測(cè)試預(yù)言，它用來(lái)評(píng)判軟件在特定的執(zhí)行中是否正確。 日志文件分析是一種典型的以規(guī)約為基礎(chǔ)的測(cè)試預(yù)言技術(shù)，其中規(guī)約用一種有限狀態(tài)機(jī)描述語(yǔ)言表示，它獨(dú)立于源代碼，獨(dú)立于編程語(yǔ)言，而且可以用來(lái)描

2、述各種軟件行為。這種表達(dá)能力超過(guò)斷言，具有很強(qiáng)的靈活性，適用范圍廣。再就是在日志文件的基礎(chǔ)上做測(cè)試，故不依賴測(cè)試用例的選擇與執(zhí)行，只關(guān)心測(cè)試結(jié)果的評(píng)判和動(dòng)態(tài)監(jiān)視軟件的執(zhí)行。 本文主要研究并用Java實(shí)現(xiàn)一個(gè)基于日志文件分析的測(cè)試工具包。提供了記錄日志的API，重新定義了狀態(tài)機(jī)描述語(yǔ)言，設(shè)計(jì)實(shí)現(xiàn)了表示狀態(tài)機(jī)的數(shù)據(jù)結(jié)構(gòu)和測(cè)試預(yù)言算法。并且在此基礎(chǔ)上，將測(cè)試預(yù)言的應(yīng)用擴(kuò)展到實(shí)時(shí)的軟件狀態(tài)監(jiān)控。實(shí)驗(yàn)結(jié)果表明，對(duì)于系統(tǒng)測(cè)試和單元測(cè)試，該工