สารบัญ:
คำจำกัดความ - การยืนยันแบบคงที่หมายถึงอะไร
การตรวจสอบแบบคงที่คือการวิเคราะห์รหัสคอมพิวเตอร์เพื่อให้แน่ใจว่ามีการปฏิบัติตามการเข้ารหัสมาตรฐานโดยไม่ต้องเรียกใช้โปรแกรม การวิเคราะห์ดำเนินการกับซอร์สโค้ดบางเวอร์ชันและเป็นวิธีสำหรับโปรแกรมเมอร์ในการดีบักโค้ดใหม่และตรวจพบข้อผิดพลาดที่อาจเกิดขึ้นในคอมไพล์โค้ด
Techopedia อธิบายการยืนยันแบบคงที่
การตรวจสอบแบบคงที่มีการใช้กันอย่างแพร่หลายในซอฟต์แวร์สำหรับระบบคอมพิวเตอร์ที่สำคัญต่อความปลอดภัย เทคโนโลยีหลักที่ใช้ในการตรวจสอบแบบคงที่คือการวิเคราะห์เวลาแบบคงที่และการตรวจสอบความเท่าเทียมกัน การกำหนดเวลาและการตรวจสอบการทำงานในโฟลว์การตรวจสอบแบบสแตติกจะถูกแยกออกและรันพร้อมกัน การวิเคราะห์เวลาแบบสแตติกให้การตรวจสอบเวลาในขณะที่การตรวจสอบความเท่าเทียมจะตรวจสอบความสมดุลการทำงานของทั้งสองรุ่นของวงจรเดียวกันเป็นเครื่องชั่งออกแบบผ่านการเปลี่ยนแปลงที่แตกต่างกันเช่นการเรียงลำดับห่วงโซ่การสแกนเส้นทางและตำแหน่ง
เทคนิคการติดตั้งใช้งานไม่กี่ของการตรวจสอบแบบคงที่คือการวิเคราะห์การไหลของข้อมูลการตรวจสอบรูปแบบการตีความที่เป็นนามธรรมและการใช้งานการยืนยัน
เครื่องมือที่ใช้โดยทั่วไปสำหรับการตรวจสอบแบบคงที่ ได้แก่ Sonar, Yasca, เครื่องตรวจจับการคัดลอก / วาง Stylecop, FxCop, BLAST, Clang, Lint และ Checkstyle
