AI Engineer Europe 2026 · 演講 · 2026-05-31 · 13 分
替 agent 寫規格再做測試
Spec-Driven Testing for Agents With A Brain the Size of A Planet · Steven Willmott,SafeIntelligence
Steven Willmott 認為只靠資料集評估 agent 不夠,要把規則、詞彙、權限與壓力情境一起寫成規格,再拿來做安全與穩健性測試。
概要
- 更聰明不等於更好Willmott 指出有些 jailbreak 對大模型反而更有效,agent 的權限越廣,可被利用、也要測試的範圍就越大;要找的是夠用、但做不出任意傷害的模型。
- 資料集只是規格的一部分Willmott 列出的規格還包括業務規則、詞彙與領域知識、角色與權限,再加上「壓力下是否仍能運作」。
- 規則很難證明沒被違反Willmott 舉客服 agent 的折扣上限與退款期限為例,說要確認規則絕對不會被破,其實很難。
- 規格同時餵給兩種測試Willmott 說他們的平台把規格拉進安全檢查與穩健性測試,因為 agent 被允許談的領域,正是最可能出事的地方。
- 規格要和實作分開Willmott 建議測試獨立於 agent 框架,換平台時還能沿用,並用測試結果回頭補洞,稱之為「後院版的 RL」。
原話
▶ 01:43“this is about how you specify what an agent or an AI system is supposed to do.”
重點是怎麼規範 agent 或 AI 系統該做什麼
▶ 03:05“it's not obvious that bigger is safer, and it's not obvious that bigger is better.”
更大不一定更安全,也不一定更好
▶ 05:34“How do you actually test for sure that a rule is never violated?”
你要怎麼確定一條規則絕對不會被違反
▶ 11:42“It's not proper RL because you're not doing it on the model, but you're kind of like jury rigging something around the outside.”
這不是真正的 RL,因為不是在模型上做,而是在外圍土法煉鋼
延伸
- 視覺與表格模型可以直接拿到模型做形式驗證;語言模型拿不到模型本身,所以 SafeIntelligence 的新產品改成想辦法產生邊界案例與測試案例。
- Willmott 說 LLM 圈現在把 eval 當成測試集,但規格要比 eval 再往外多想一步。
章節
點時碼直接跳到原片的那一段。
- Willmott 的公司Willmott 是 SafeIntelligence 的 CEO,公司成立三年,早期用形式驗證做視覺與表格模型的驗證,前一天剛發表針對語言模型的新產品。
- 題目:怎麼定義 agent 該做什麼這場不是談用規格寫程式,而是談如何規範 agent;傳統 ML 靠資料集與 F1 之類的指標,但部署時還需要更多。
- 更聰明就更好嗎Willmott 從「模型越大 agent 越好」這個直覺出發,說多數人的經驗並不總是如此。
- 大模型的麻煩以《銀河便車指南》裡的機器人 Marvin 開場,說明大模型更容易讀懂藏在詩裡的惡意指令,權限廣也增加攻擊面與測試面,簡單任務用大模型還更貴更慢。
- 聰明與安全的取捨要找的是剛好夠用、但做不出任意傷害的 agent;風險看它能接收什麼指令,以及能動用哪些工具與基礎設施。
- 好與壞都難定義光有一份不錯的輸入輸出資料集,其餘靠猜,不夠;有時 agent 只是做不好,有時是照著壞要求做得很準。
- 規格裡有什麼除了資料集,客戶常有規則,例如折扣不超過 10%、購買超過 30 天不退款,而要驗證規則絕不被違反很難。
- 詞彙、領域知識與權限航空公司只飛特定目的地,公司內部術語外人不懂,gross profit 與 gross sales 不能互換,登入與否的權限也會讓表現不同。
- 壓力下也要能運作Willmott 拿視覺偵測跑道的日落、起霧、相機晃動類比,agent 則要看打錯字、換句話說時結果穩不穩,主張測試要超出測試集。
- agent card 與整合測試Willmott 提到 A2A 規格的 agent card 可描述 agent 做什麼,企業要讓測試貼近這些元素,看起來就像整合測試,並把隱含的東西寫明。
- 規格用在安全與穩健性他們的平台把規格拉進安全檢查,因為 agent 能談、能動手的領域最容易出事;穩健性則是改變輸入看答得準不準。
- 現有工具還缺什麼prompt 管理平台能記下測試存在的理由,有助產生變體;但 agent card 即使有了也不足以評估,還要知道哪些變化範圍算合理。
- 與實作脫鉤、補洞迴圈Willmott 建議把行為規格寫成獨立於框架的整合、單元與滲透測試,並自動跑 agent、收結果、補穩健性缺口。
- 走向開放他們想讓這些規格能放在 GitHub repo,被各種工具讀取並做版本管理。
名詞
- SafeIntelligence
- Willmott 擔任 CEO 的公司,專做 ML 驗證,起初用形式驗證檢查視覺與表格模型
- Marvin
- 《銀河便車指南》裡腦袋有行星那麼大的機器人,Willmott 拿來比喻大模型
- spec-driven testing
- 把資料集、規則、詞彙、權限與壓力情境合起來當規格,再據此測試 agent
- agent card
- 來自 A2A 規格、描述 agent 能做什麼的文件,Willmott 說光有它不夠評估
- Braintrust
- 評估工具,Willmott 說很欣賞它的做法,也說這場題目和 Braintrust 那場談的很接近








