( )是一种把假设用于项目时检验假设有效性的工具，它从假设的错误、矛盾或不完整中识别项目风险。