smt + 算法测试实习生