静态安全分析功能提供方便的故障及故障集定义手段，可定义（ ）。