การเขียนโปรแกรมและการตรวจสอบผลลัพธ์