编程有效性