摘要：為解決現(xiàn)有工具對安全套接層或傳輸層安全協(xié)議實現(xiàn)中證書驗證模塊的檢測效率低等問題,研發(fā)了對證書驗證模塊進行差異測試的新工具RFCcertDT。首先,RFCcertDT基于因特網(wǎng)工程任務(wù)組制定的請求評議進行證書規(guī)則的自動提取、更新、分類和表示,基于動態(tài)符號執(zhí)行技術(shù)生成證書作為測試用例;然后,使用生成的證書和令牌環(huán)式測試實現(xiàn)對單個或多個證書驗證模塊的差異測試并生成軟件錯誤報告。實驗結(jié)果表明,RFCcertDT的檢測效率優(yōu)于現(xiàn)有工具。RFCcertDT對證書驗證模塊實現(xiàn)了高效的檢測,有助于加強安全套接層或傳輸層安全協(xié)議的軟件安全。