complexity-analysis 是 Problem-Based SRS 方法论中的可选(Optional)高级验证工具,依据公理化设计(Suh, 1990)原则分析规格说明质量。它不属于标准流程(customer-problems → software-glance → customer-needs → software-vision → functional-requirements → zigzag-validator),需在完成标准流程后按需显式调用。
用途:验证规格的独立性(无耦合需求)、以数学方式评估完整性层级、识别冗余或缺口,并应用严格的工程质量检查。适用于关键系统(安全、金融)、大型规格(超过 20 条 FR)、规格臃肿、检测到需求冲突或需要正式评审的场景;快速原型/MVP 和学习方法论时不必使用。
主要能力分三部分。其一,独立性分析:根据领域数量关系将规格分为耦合型(CN 少于 CP 或 FR 少于 CN,需补充缺失项)、冗余型(CN 多于 CP 或 FR 多于 CN,审查是否可合并)与理想型(数量一一对应);并通过设计矩阵可视化映射——对角矩阵为理想无耦合,三角矩阵可接受(半耦合),散乱满矩阵则需修订。其二,完整性分析:用 C(完全)与 P(部分)标记各元素对来源的满足程度,要求每行至少有一个 C 或若干 P 合计为 C;空白行表示缺口,空白列表示孤儿需求(无来源追踪)。其三,信息含量:以 IC = log₂(1/p) 衡量设计成功满足需求的概率,比较需求范围与系统范围的重叠程度,完全重叠为低 IC(较优),部分重叠为中,无重叠为高(需重新设计)。
使用方式:命令为 /complexity-analysis,输出按模板生成复杂度分析报告,包含元素数量汇总、独立性矩阵、完整性矩阵、覆盖问题清单、信息含量评估表与改进建议。
限制:文档明确其为可选工具,理想的一一对应在实践中未必总能实现;示例仅给出 CRM 系统的元素计数与需求矩阵片段,未提供收费、价格、平台或安装方式等信息。