Logical fault models Logical fault

Logical fault models


Logical faults represent the effect of physical faults on the behavior of the system.
Why we model physical faults as logical ones:

complexity of simulation reduces (many physical faults may be modeled by the same logical fault);
one logical fault model is applicable to many technologies;
logical fault tests may be used for physical faults whose effect is not completely understood.
Logical fault models may be: explicit and implicit:
explicit faults may be enumerated;
implicit faults are given by some characterizing properties.
Logical faults may be: structural and functional:

ผลลัพธ์ (ไทย) 1:

แบบจำลองเชิงตรรกะบกพร่อง ข้อบกพร่องทางตรรกะแสดงผลของข้อบกพร่องทางกายภาพลักษณะการทำงานของระบบ ทำไมเรารุ่นบกพร่องทางกายภาพเป็นตรรกะคน:ลดความซับซ้อนของการจำลอง (ข้อบกพร่องทางกายภาพหลายอาจสร้างแบบจำลอง โดยบกพร่องทางตรรกะเดียวกัน);แบบจำลองเชิงตรรกะบกพร่องหนึ่งเป็นเทคโนโลยีมากทดสอบข้อบกพร่องทางตรรกะอาจใช้ได้สำหรับข้อบกพร่องทางกายภาพที่มีลักษณะพิเศษคือไม่เข้าใจแบบจำลองเชิงตรรกะบกพร่องอาจ: ชัดเจน และนัย:อาจระบุความชัดเจน นัยข้อบกพร่องได้ โดยคุณสมบัติบาง characterizingข้อบกพร่องทางตรรกะอาจ: โครงสร้าง และการทำงาน:

ผลลัพธ์ (ไทย) 2:

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

ผลลัพธ์ (ไทย) 3:

ตรรกะผิดรุ่น


เหตุผลความผิดพลาดแสดงผลทางกายภาพของพฤติกรรมของระบบ
ทำไมเราแบบที่เป็นข้อบกพร่องทางกายภาพตรรกะ :

ลดความซับซ้อนของแบบจำลอง ( ข้อบกพร่องทางกายภาพ หลายคนอาจจะแบบผิดตรรกะเดียวกัน ) ;
1 ตรรกะผิดแบบ ใช้ได้กับหลายเทคโนโลยี ;
การทดสอบข้อผิดพลาดเชิงตรรกะอาจจะใช้สำหรับทางกายภาพข้อบกพร่องที่มีผลไม่สมบูรณ์เข้าใจรุ่นผิดตรรกะ .
อาจเป็น : ชัดเจนและโดยนัยชัดเจน ความผิดพลาดอาจจะแจกแจง :
;
โดยปริยาย ความผิดจะได้รับโดยมีลักษณะสมบัติ .
ผิดตรรกะอาจจะ : โครงสร้างและการทำงาน :