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

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

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