اعتبار سنجی سیستم: خودکارها و معادلات رفتاری

آیا تا به حال تجربه شکست سیستم های نرم افزاری را داشته اید؟ وب‌سایت‌ها از کار می‌افتند، تقویم همگام نمی‌شود، یا حتی برق قطع می‌شود. البته که داری! اما آیا می‌دانستید که بسیاری از این خطاها در نتیجه خطاهای ارتباطی در یک سیستم یا بین سیستم‌ها هستند؟ بسته به سیستم، تأثیر خرابی نرم‌افزار می‌تواند بسیار زیاد باشد، حتی منجر به خسارت اقتصادی یا تلفات جانی شود. نرم‌افزار، و به‌ویژه ارتباط بین سیستم‌های نرم‌افزار فشرده، بسیار پیچیده است و درست کردن آن بسیار دشوار است. با این حال، ما به قابلیت اطمینان در سیستم هایی که به طور مستقیم یا غیرمستقیم برای حمایت از ما در زندگی روزمره استفاده می کنیم، نیاز داریم. اعتبار سنجی سیستم به شما کمک می کند تا رفتار سیستم تعبیه شده را طراحی کنید که از نظر ساختاری مناسب باشد. همچنین شما را مجبور می کند که رفتار را ساده و روشنگر کنید. سیستم هایی که برای رفتار صدا طراحی شده اند نیز نگهداری و تطبیق آنها بسیار آسان تر است. اعتبار سنجی سیستم زمینه ای است که مبانی ارتباطات سیستم و پردازش اطلاعات را مطالعه می کند. تکنیک های ارائه شده در اعتبارسنجی سیستم امکان اثبات عدم وجود خطا را فراهم می کند. این اولین دوره "اتوماتها و معادلات رفتاری" پایه و اساس دوره های بعدی را می سازد و به شما نشان می دهد که چگونه به رفتار سیستم به عنوان ماشین های حالت نگاه کنید. معادل‌های رفتاری را مورد بحث قرار می‌دهد و آن‌ها را در تعدادی از مثال‌ها و آزمون‌ها نشان می‌دهد. این دوره، سیستم‌های انتقال برچسب‌گذاری شده یا اتومات‌ها را برای مدل‌سازی رفتار، به‌ویژه برای سیستم‌های کنترل‌شده نرم‌افزاری توضیح می‌دهد. یک سوال مهم این است که چه زمانی دو رفتاری که توسط چنین خودکارهایی ارائه می شود برابر هستند. پاسخ به این سوال اصلاً ساده نیست، اما معادل‌های حاصل به عنوان ابزار قدرتمندی برای ساده‌سازی رفتار پیچیده استفاده می‌شوند. این به ما امکان می دهد تا دقیقاً ویژگی های رفتاری چنین سیستم هایی را بررسی و درک کنیم. به خصوص، در ترکیب با پنهان کردن رفتار، کاهش هم ارزی یک تکنیک منحصر به فرد برای به دست آوردن بینش در رفتار سیستم ها است و بسیار موثرتر از شبیه سازی یا آزمایش است. با استفاده از این بینش می‌توانیم مدل‌ها را درست کنیم. چنین مدل هایی پایه ای عالی برای تولید نرم افزار مختصر، قابل اعتماد و قابل نگهداری را تشکیل می دهند. این دوره قسمت اول از مجموعه دوره های اعتبار سنجی سیستم است. اعتبار سنجی سیستم، به عنوان مجموعه ای از دوره ها، بخشی از یک برنامه آنلاین دیجیتال دیجیتال بزرگتر به نام «اینترنت اشیا از طریق سیستم های جاسازی شده» است.