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