Specification-based testing may be necessary to assure correct functionality, but it is insufficient to guard against complex or high-risk situations.
要确保功能的正确性，基于规格说明的测试是很必要的，但这种方法并不足以防止复杂情况或高风险情况的发生。