测试只能证伪

结构化编程把程序拆成可推导的小块，但软件不像数学定理那样能被彻底证明；测试只能证明某些路径有错，不能证明所有路径正确。发散：这让模块边界和可测试性成为同一件事，越难隔离测试的代码，越难建立可信认知。