dvera-plugin 是做什麼的？
用於CT C/C++驗證工作流程的DVERA代理技能：專案設置、分析、測試生成、覆蓋率、報告和回歸測試。
概述
此技能讓AI代理能夠直接與DVERA驗證工具互動，管理從專案初始化到最終報告的完整C/C++驗證生命週期。開發者只需描述需求，代理即可執行對應的驗證步驟。
支援的平台
- Claude Code
- Cursor
- Codex
- 其他支援SKILL.md的AI代理
功能
- 專案設置：根據現有程式碼或範本初始化驗證專案。
- 靜態分析：執行程式碼分析以識別潛在缺陷。
- 測試生成：自動生成符合規範的測試案例。
- 覆蓋率分析：計算並視覺化程式碼覆蓋率。
- 報告產生：生成可讀的驗證報告，支援多種格式。
- 回歸測試：自動執行回歸測試套件並比對結果。
使用方式
在AI代理環境中，使用自然語言指令觸發對應功能，例如：
- "設置一個新的驗證專案"
- "對當前程式碼進行靜態分析"
- "生成測試案例以提升覆蓋率"
- "產生驗證報告"
- "執行回歸測試"
範例
以下是如何與技能互動的範例：
用戶：為我的C專案設置驗證專案
代理：已執行DVERA專案設置，創建了驗證配置檔案。
用戶：分析 src/main.c 檔案
代理：已執行靜態分析，發現了3個潛在問題。
設定
技能可透過環境變數或組態檔案自訂，例如：
DVERA_HOME：指定DVERA安裝路徑。DVERA_PROJECT：預設專案路徑。DVERA_OPTIONS：額外的命令列參數。
授權
本技能採用MIT授權條款。
如需更多資訊，請參閱SuresoftTechnologies/dvera-plugin儲存庫。