用途:提供对抗式但建设性的代码审查,在问题演变为故障前发现缺陷、边界情况与优化机会。适用场景包括审查生物信息学家或开发者编写的代码、需要第二意见、交付前验证、调试隐蔽问题、优化性能。核心原则是主动找问题,而非直接放行。工作方式为持续评审:代码编写时逐段审查,发现问题立即修复、迭代直至健壮,通过后继续下一段,不是最终一次性关卡。主要能力包括正确性检查(逻辑错误、生物信息学特有 bug 如 0 基与 1 基索引、链方向混淆、染色体前缀缺失、log(0) 或除零、p 值未做多重检验校正、基因组位置整数溢出;统计检验适用性;数据类型不匹配)、边界测试(空输入、单元素、全零、全缺失、负值、超大数值、字符串与数值混淆)、性能审查(向量化、内存效率、算法复杂度、重复计算、数据结构选择)、可复现性审查(随机种子、排序、包版本、参数追踪)和可读性审查。使用方式:按严重级别输出问题(CRITICAL/MAJOR/MINOR/GOOD),并用指定模板给出位置、问题、影响与修复建议,最后给出 APPROVED 或 NEEDS REVISION 结论。在 programming-pm 第 5 阶段被调用时,接收待审文件清单、需求上下文、预演风险与架构描述,输出结构化审查文档,且只做基于读取的静态代码审查,自动化检查由此前阶段完成。多独立代码段、多审查维度、多文件可并行分析;存在顺序依赖或调试集成流程时不宜并行。限制:不提供价格、平台、效果或安装命令等信息;官方资料未给出独立产品 URL 之外的收费与部署细节。
copilot
编程与开发
更新于 10-15 20:31