Abstract interpretation
การตีความเชิงนามธรรม
อ่าน 1 นาทีการตีความเชิงนามธรรม
Abstract interpretationในวิทยาการคอมพิวเตอร์การตีความเชิงนามธรรม (Abstract Interpretation)คือทฤษฎีการประมาณ ความหมาย ของโปรแกรมคอมพิวเตอร์อย่าง แม่นยำ...
อ่าน 1 นาทีการเชื่อมต่อกาโลอิส
Abstract interpretationในทางคณิตศาสตร์โดยเฉพาะอย่างยิ่งในทฤษฎีลำดับการเชื่อมโยงแบบกาโลอิส ( Galois connection ) คือความสัมพันธ์เฉพาะ (โดยทั่วไป) ระหว่างเซตที่มีลำดับบางส่วน สองเซต (posets)
อ่าน 1 นาทีเจเทสต์
Abstract interpretationJtestเป็น ผลิตภัณฑ์ ทดสอบซอฟต์แวร์Java อัตโนมัติ และการวิเคราะห์แบบคงที่ที่พัฒนาโดยParasoftผลิตภัณฑ์นี้ประกอบด้วยเทคโนโลยีสำหรับการวิเคราะห์การไหลของข้อมูล
แอสเตร (การวิเคราะห์แบบสถิต)
Abstract interpretationAstrée (" A nalyseur s tatique de logiciels t emps- ré el e mbarqués" ) เป็นเครื่องมือวิเคราะห์แบบคงที่ที่ใช้การตีความแบบนามธรรมมันวิเคราะห์โปรแกรมที่เขียนด้วยภาษาโปรแกรมCและC++และ...
อ่าน 1 นาทีซีพีเอเช็คเกอร์
Abstract interpretationCPAcheckerเป็นเฟรมเวิร์กและเครื่องมือสำหรับ การตรวจ สอบซอฟต์แวร์อย่างเป็นทางการและการวิเคราะห์โปรแกรมของโปรแกรม Cแนวคิดและหลักการบางอย่าง เช่น การนามธรรมแบบขี้เกียจ...
โพลีสเปซ
Abstract interpretationPolyspaceเป็นเครื่องมือวิเคราะห์โค้ดแบบคงที่สำหรับการวิเคราะห์ขนาดใหญ่โดยใช้การตีความแบบนามธรรมเพื่อตรวจจับหรือพิสูจน์การไม่มีอยู่ของข้อผิดพลาดขณะรันไทม์บางอย่างในซอร์สโค้ดสำหรับ..
อ่าน 1 นาทีการประหารเชิงสัญลักษณ์
Abstract interpretationในวิทยาการคอมพิวเตอร์การประมวลผลเชิงสัญลักษณ์ (หรือการประเมินเชิงสัญลักษณ์หรือsymbex ) เป็นวิธีการวิเคราะห์โปรแกรมเพื่อพิจารณาว่าอินพุต ใด ทำให้แต่ละส่วนของโปรแกรม ทำงาน...