การออกแบบโปรแกรมโดยเขียนเป็นข้อความหรือผังงานและการออกแบ
บเขียนโปรแกรมที่มีการตรวจสอบเงื่อนไขที่ครอบคลุมทุกกรณี
เพื่อให้ได้ผลลัพธ์ที่ถูกต้องตรงตามความต้องการ