การตรวจสอบเงื่อนไขที่ควรเป็นจริง สำหรับเซ็กเมนต์ที่ระบุ หรือระบุจุดของโปรแกรมคอมพิวเตอร์