גורם הכשל - אילוצים וירטואלים
אילוצים וירטואלים אלו הם אילוצים שאינם מוגדרים
פורמלית. כתוצאה מכך, מכלולים שונים של התכן מתייחסים אל אילוצים
מסויימים, ברמת המכלול, אבל לא ברמת המערכת. המשמעות היא שהתכן מניח אילוצים
עבור מכלול מסויים, אבל אינו עוקב אחר קיום האילוצים המתאימים
במכלולים האחרים.
הנחיה: תבנית לייצוג האילוצים בתכן
|
| את האילוצים יש לייצג וליישם ביחידה לאיתור חריגות,
שתפקידה לעקוב אחר התנהלות היחידה הפונקציונאלית, ולאתר מצבים
של חריגה מחוקי התפעול |
|
התוצאה של הגדרה חלקית של האילוצים
בעיית התיאום קיימת כאשר התכן מניח אילוצים
עבור מכלול מסויים, אבל אינו עוקב אחר קיום האילוצים המתאימים
במכלולים האחרים. מצבים אלו מאפיינים מערכות בהם הגדרת האילוצים
היא וירטואלית, כלומר, אינה מגובה במפרטי המערכת.
לדוגמא, כאשר התפעול של ממשק התפעול בשגרה מונחה
על ידי אילוצים, אבל המפעיל והיחידה הפונקציונאלית אינם מוגבלים על
ידי האילוצים הללו.
הנחיה: אבטחת התוקף הנראה של האילוצים
|
| את האילוצים יש לשייך לתרחישים. את
התרחישים יש להגדיר כך שיהוו הקשר נאות של האילולצים. |
|