การตรวจสอบความถูกต้องหรือการทดสอบความถูกต้องเป็นการทดสอบพื้นฐานเพื่อประเมินอย่างรวดเร็วว่าข้ออ้างหรือผลลัพธ์ของการคำนวณนั้นเป็นไปได้จริงหรือไม่ เป็นการตรวจสอบอย่างง่ายเพื่อดูว่าเนื้อหาที่ผลิตขึ้นนั้นมีเหตุผลหรือไม่ (ผู้สร้างเนื้อหาคิดอย่างมีเหตุผลและใช้หลักความถูกต้อง ) จุดประสงค์ของการทดสอบความถูกต้องคือการตัดผลลัพธ์ที่ผิดอย่างเห็นได้ชัดบางประเภทออกไป ไม่ใช่การตรวจจับข้อผิดพลาดทุกอย่างที่เป็นไปได้ อาจใช้ กฎง่ายๆหรือการคำนวณอย่างคร่าวๆเพื่อทำการทดสอบ ข้อดีของการทำการทดสอบความถูกต้องเบื้องต้นคือการประเมินการทำงานพื้นฐานได้อย่างรวดเร็ว

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

ในวิทยาการคอมพิวเตอร์การทดสอบความถูกต้อง (sanity test)คือการทดสอบการทำงานของโปรแกรมคอมพิวเตอร์ระบบ การคำนวณ หรือการวิเคราะห์อื่นๆ อย่างรวดเร็ว เพื่อให้แน่ใจว่าส่วนใดส่วนหนึ่งของระบบหรือวิธีการนั้นทำงานได้ตามที่คาดหวังไว้โดยประมาณ ซึ่งมักจะทำก่อนการทดสอบที่ละเอียดกว่าในภายหลัง

การทดสอบความสมเหตุสมผลอาจหมายถึงลำดับขนาด ต่างๆ และวิธีการ ง่ายๆ อื่นๆ ที่ใช้ในการตรวจสอบความถูกต้องของการคำนวณทางคณิตศาสตร์ ตัวอย่างเช่น:

• หากใครพยายามยกกำลังสอง 738 แล้วได้ผลลัพธ์เป็น 54,464 การตรวจสอบอย่างคร่าวๆ ก็จะแสดงให้เห็นว่าผลลัพธ์นี้ไม่น่าจะเป็นไปได้ ลองพิจารณาดูว่า700 < 738,ยัง700 ² = 7 ² × 100 ² =490,000 > 54,464เนื่องจากการยกกำลังสองของจำนวนเต็มบวกยังคงรักษาความไม่เท่ากัน ของจำนวนนั้นไว้ ผลลัพธ์จึงไม่ถูกต้อง และดังนั้นผลลัพธ์ที่คำนวณได้จึงไม่ถูกต้อง คำตอบที่ถูกต้องคือ738 ² = 544,644สูงกว่า 54,464 มากกว่า 10 เท่า
• ในการคูณ918 × 155ไม่ใช่ 142,135 เพราะ 918 หารด้วยสามลงตัว แต่ 142,135 หารไม่ลงตัว (ผลรวมของตัวเลขแต่ละหลักได้ 16 ซึ่งไม่ใช่พหุคูณของสาม ) นอกจากนี้ ผลคูณต้องลงท้ายด้วยตัวเลขเดียวกับผลคูณของตัวเลขหลักสุดท้ายด้วย8 × 5 = 40แต่ 142,135 ไม่ได้ลงท้ายด้วย "0" เหมือน "40" ในขณะที่คำตอบที่ถูกต้องลงท้ายด้วย "0"918 × 155 = 142,290วิธีตรวจสอบที่รวดเร็วกว่านั้นคือ ผลคูณของเลขคู่และเลขคี่จะได้เป็นเลขคู่ ในขณะที่ 142,135 เป็นเลขคี่

• การวิเคราะห์มิติสามารถใช้เป็นวิธีตรวจสอบความถูกต้องของสมการทางฟิสิกส์ได้ กล่าวคือ สองด้านของสมการใดๆ จะต้องสามารถเปรียบเทียบกันได้ หรือมีมิติเดียวกัน ตัวอย่างเช่น บุคคลที่คำนวณกำลังขับของรถยนต์ได้ 700 กิโลจูลอาจละเว้นปัจจัยบางอย่างไป เนื่องจากหน่วยจูลเป็นหน่วยวัดพลังงานไม่ใช่กำลัง (พลังงานต่อหน่วยเวลา)
• ในการพิจารณาคุณสมบัติทางกายภาพการเปรียบเทียบกับสารที่รู้จักหรือคล้ายคลึงกันมักจะช่วยให้เข้าใจว่าผลลัพธ์นั้นสมเหตุสมผลหรือไม่ ตัวอย่างเช่น โลหะส่วนใหญ่จมในน้ำ ดังนั้นความหนาแน่นของโลหะส่วนใหญ่จึงควรมากกว่าความหนาแน่นของน้ำ (~1000 กก. / ^ลบ.ม.
• การประมาณค่าแบบเฟอร์มิจะช่วยให้เข้าใจถึงขนาดของค่าที่คาดหวังได้

ในการพัฒนาซอฟต์แวร์ การทดสอบความถูกต้อง (รูปแบบหนึ่งของการทดสอบซอฟต์แวร์ซึ่งให้ "การทดสอบที่รวดเร็ว ครอบคลุม และไม่ลึกมาก" ^{[ 1 ]} ) จะประเมินผลลัพธ์ของฟังก์ชันย่อยของแอปพลิเคชันเพื่อพิจารณาว่าเป็นไปได้และสมเหตุสมผลหรือไม่ที่จะดำเนินการทดสอบแอปพลิเคชันทั้งหมดต่อไป^{[ 2 ]}บางครั้งการทดสอบความถูกต้องอาจใช้แทนกันได้กับการทดสอบควัน^{[ 3 ]}เนื่องจากทั้งสองคำหมายถึงการทดสอบที่กำหนดว่าเป็นไปได้และสมเหตุสมผลหรือไม่ที่จะดำเนินการทดสอบต่อไป ในทางกลับกัน บางครั้งมีการแยกแยะว่าการทดสอบควันเป็นการทดสอบที่ไม่ครอบคลุมซึ่งตรวจสอบว่าฟังก์ชันที่สำคัญที่สุดของโปรแกรมทำงานได้หรือไม่ก่อนที่จะดำเนินการทดสอบต่อไป ในขณะที่การทดสอบความถูกต้องหมายถึงว่าฟังก์ชันเฉพาะ เช่น การแก้ไขข้อผิดพลาดเฉพาะ ทำงานได้ตามที่คาดไว้หรือไม่โดยไม่ต้องทดสอบฟังก์ชันที่กว้างขึ้นของซอฟต์แวร์ กล่าวอีกนัยหนึ่ง การทดสอบความถูกต้องจะกำหนดว่าผลลัพธ์ที่ตั้งใจไว้ของการเปลี่ยนแปลงโค้ดทำงานได้อย่างถูกต้องหรือไม่ ในขณะที่การทดสอบควันจะตรวจสอบให้แน่ใจว่าไม่มีสิ่งสำคัญอื่นใดเสียหายในกระบวนการ การทดสอบความถูกต้องและการทดสอบเบื้องต้นช่วยประหยัดเวลาและความพยายามโดยการตรวจสอบอย่างรวดเร็วว่าแอปพลิเคชันนั้นมีข้อบกพร่องมากเกินไปจนไม่จำเป็นต้องผ่าน การทดสอบคุณภาพอย่างเข้มงวดแต่ต้องการการแก้ไขข้อผิด พลาดเพิ่มเติมจากนักพัฒนา หรือไม่

กลุ่มของการทดสอบความถูกต้องมักจะถูกรวมเข้าด้วยกันสำหรับการทดสอบหน่วย อัตโนมัติ ของฟังก์ชัน ไลบรารี หรือแอปพลิเคชันก่อนที่จะรวมโค้ดการพัฒนาเข้ากับสาขาควบคุมเวอร์ชัน การทดสอบ หรือ สาขา หลัก^{[ 4 ]}สำหรับ การ สร้างอัตโนมัติ^{[ 5 ]}หรือสำหรับการรวมระบบอย่างต่อเนื่องและ การปรับใช้ ระบบอย่างต่อเนื่อง^{[ 6 ]}

การใช้งาน การทดสอบความถูกต้องอีกอย่างหนึ่งที่พบได้ทั่วไปคือ การตรวจสอบที่ดำเนินการภายในโค้ดโปรแกรม โดยปกติจะเป็นการตรวจสอบอาร์กิวเมนต์ของฟังก์ชันหรือค่าที่ส่งคืนจากฟังก์ชัน เพื่อดูว่าคำตอบนั้นถือว่าถูกต้องหรือไม่ ยิ่งรูทีนมีความซับซ้อนมากเท่าใด การตรวจสอบการตอบสนองก็ยิ่งมีความสำคัญมากขึ้นเท่านั้น กรณีที่ง่ายที่สุดคือการตรวจสอบว่าค่าที่ส่งคืนจากฟังก์ชันบ่งชี้ถึงความสำเร็จหรือความล้มเหลว และเพื่อหยุดการประมวลผลต่อไปเมื่อเกิดความล้มเหลว ค่าที่ส่งคืนนี้มักจะเป็นผลลัพธ์ของการตรวจสอบความถูกต้องเอง ตัวอย่างเช่น หากฟังก์ชันพยายามเปิด เขียน และปิดไฟล์ การตรวจสอบความถูกต้องอาจใช้เพื่อให้แน่ใจว่าฟังก์ชันนั้นไม่ล้มเหลวในการดำเนินการใดๆ เหล่านี้ ซึ่งเป็นการตรวจสอบความถูกต้องที่โปรแกรมเมอร์มักละเลย^{[ 7 ]}

การตรวจสอบความถูกต้องในลักษณะนี้อาจใช้ในระหว่างการพัฒนาเพื่อวัตถุประสงค์ในการดีบั๊ก และยังช่วยในการแก้ไขปัญหาข้อผิดพลาดขณะรันไทม์ของซอฟต์แวร์ได้ อีกด้วย

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

โปรแกรม"Hello, World!"มักถูกใช้เป็นแบบทดสอบความถูกต้องของสภาพแวดล้อมการพัฒนาในลักษณะเดียวกัน แทนที่จะใช้สคริปต์ที่ซับซ้อนซึ่งรันชุดการทดสอบหน่วย หากโปรแกรมง่ายๆ นี้ไม่สามารถคอมไพล์หรือทำงานได้ แสดงว่าสภาพแวดล้อมที่รองรับนั้นน่าจะมีปัญหาในการกำหนดค่า ซึ่งจะป้องกันไม่ให้ โค้ด ใดๆคอมไพล์หรือทำงานได้ แต่ถ้า "Hello world" ทำงานได้ แสดงว่าปัญหาใดๆ ที่เกิดขึ้นกับโปรแกรมอื่นๆ น่าจะเกิดจากข้อผิดพลาดในโค้ดของแอปพลิเคชันนั้นๆ มากกว่าที่จะเป็นปัญหาจากสภาพแวดล้อม

สมาคมเครื่องจักรคอมพิวเตอร์ [ ^{8 ] และ}โครงการซอฟต์แวร์ เช่นAndroid [ ^{9 ]} MediaWiki ^{[ 10 ]}และTwitter [ ^{11 ]}ไม่สนับสนุนการใช้คำว่าsanity checkแทนคำอื่น เช่นconfidence test , coherence check ^หรือ test เฉยๆซึ่งเป็นส่วนหนึ่งของความพยายามที่กว้างขึ้นในการหลีกเลี่ยง ภาษา ^ที่เหยียดคนพิการและเพิ่มความ ครอบคลุม

การตรวจสอบความถูกต้องมักใช้ในการเขียนโค้ดแบบไวบ์โดยเฉพาะระหว่างโมเดล AI ที่แตกต่างกัน (แม้ว่าอินสแตนซ์แยกกันสองตัวของโมเดลเดียวกันอาจใช้งานได้ในบางกรณี) ^{[ 12 ]}เพื่อให้โมเดล AI ที่แตกต่างกันครอบคลุมจุดบอดหรือตรวจสอบข้อผิดพลาดที่อาจเกิดขึ้นหรือตรรกะที่ผิดพลาดโดยใช้แหล่งข้อมูลจากภายนอก^{[ 13 ]}นอกจากนี้ยังสามารถทำได้โดยผู้ดีบักที่ เป็นมนุษย์ เช่นเดียวกับโค้ดที่เขียนโดยมนุษย์

• อัลกอริทึมการรับรอง
• ผลรวมตรวจสอบ
• ปัญหาเฟอร์มิ
• การคำนวณทางจิต
• การพิสูจน์แนวคิด