AdaControl เป็นฟรี (GMGPL) เครื่องมือที่ตรวจพบการใช้งานหลายชนิดของโครงสร้างในโปรแกรม Ada เป้าหมายแรก AdaControls คือการควบคุมการใช้งานที่เหมาะสมของกฎรูปแบบหรือการเขียนโปรแกรม แต่ก็ยังสามารถนำมาใช้เป็นเครื่องมือที่มีประสิทธิภาพในการค้นหาสำหรับการใช้งาน (หรือไม่ใช้งาน) ในรูปแบบต่างๆของรูปแบบการเขียนโปรแกรมหรือรูปแบบการออกแบบ ช่วงค้นหาองค์ประกอบจากง่ายมากเช่นการเกิดขึ้นของหน่วยงาน certaine, ประกาศหรือคำสั่งที่จะมีความซับซ้อนมากเช่นการตรวจสอบว่ารูปแบบการเขียนโปรแกรมบางอย่างมีการเชื่อฟัง ..
ซึ่งองค์ประกอบหรือโครงสร้างที่จะค้นหาจะถูกกำหนดโดยชุดของกฎ; ตารางต่อไปนี้จะช่วยให้สรุปสั้น ๆ ของกฎการตรวจสอบในขณะนี้โดย AdaControl ตัวเลขในวงเล็บหลังชื่อกฎให้จำนวน subrules ในกรณีใด ๆ พิจารณากฎระเบียบที่เป็นไปได้ทั้งหมดและ subrules นี้ทำให้ 216 การทดสอบที่สามารถดำเนินการในขณะนี้โดย AdaControl!
ความคิดเห็นที่ไม่พบ