传统单元测试基于确定性和隔离性假设，认为给定输入A经过确定性代码必然产生输出B。