chapter12_并发程序的测试_1_正确性测试