用测试找出程序不符合规则的输入
在可用的 Codex CLI 中，提供代码副本和已确认的规则，生成测试输入并记录可重现的失败例子。
执行环境与使用方式
AI／软件
Codex CLI (suggested exercise route; original stack differs)
在哪里操作
电脑终端中的 Codex CLI，打开获授权项目的隔离副本；原案研究系统不是可直接安装的同一工具。
如何开始
- 按下方 Codex 官方入门文档安装并登录，在测试项目文件夹启动 Codex。
- 打开授权代码副本与已配置的测试环境。
- 提供已确认规则、输入范围与资源上限，再执行案例提示词。
- 保留实际测试输出、种子和最小失败例子，交由维护者判断。
准备与方案条件
需要语言兼容的测试框架、可运行的程序与明确规则。 需可用的 Codex 账号、项目版本与工具兼容性；只批准本练习必要的文件／命令权限，不连接正式服务。
提示词移植限制
文字规划部分可另用对话工具；完整步骤需要上述环境。一般对话不能代替实际浏览、操作、几何检查或测试证据。
使用限制
适合缩小程序错误的范围。实际执行需要已配置的测试框架和资源上限；报告应保留随机种子与最小失败例子，并由维护者判断是程序或规则有误。 本次只做文档审查，未实测、安装或确认地区适用性。 原始网址本次未能读取，原工具信息仅保留已有记录，尚未重新核实。
环境资料来源
適用情境 / When to use
适合缩小程序错误的范围。实际执行需要已配置的测试框架和资源上限；报告应保留随机种子与最小失败例子，并由维护者判断是程序或规则有误。 hikikomorphism 自述用代理群进行性质测试并发现程式错误。
步驟 / Steps
- 准备获准测试的程式副本、现有测试环境及可解释的不变条件。
- 请代理为指定函式提出性质与输入生成方法，先由维护者确认规则。
- 记录随机种子并缩小反例；人工判定是实作错误还是性质定义有误。
提示詞 / Prompt
对［测试副本中的函式］依［已确认规格］设计性质测试。解释每个不变条件及适用范围，使用［资源上限］执行；回报种子、最小反例与重现方式。不改实作或规格，不把失败自动判定为漏洞。
留意事項 / Cautions
- 限制执行时间与资源，不测未授权服务。
- 不要为让测试通过而悄悄削弱性质或更改实作。
來源限制 / Evidence limits
短篇自述未提供完整评测；原文的 codex 是受测专案之一，不能据此认定使用 Codex 工具。
流程說明 / Workflow note
以下步骤与提示词为本站原创、未实测的练习设计，并非原作者逐字流程；来源结果不代表练习保证成功。
原始工具組合 / Original tool stack
未指明平台的代理群；性质测试
来源发表日期：2026-10-14
来源查核日期：2026-10-19