اعتبار سنجی سیستم (2): مدل رفتار فرآیند

اعتبار سنجی سیستم زمینه ای است که مبانی ارتباطات سیستم و پردازش اطلاعات را مطالعه می کند. این گام منطقی بعدی در علم کامپیوتر و بهبود توسعه نرم افزار به طور کلی است. این امکان را به تجزیه و تحلیل خودکار بر اساس مدل های رفتاری یک سیستم می دهد تا ببیند آیا یک سیستم به درستی کار می کند یا خیر. ما می خواهیم تضمین کنیم که سیستم ها دقیقاً همان کاری را که قرار است انجام دهند انجام می دهند. تکنیک های ارائه شده در اعتبار سنجی سیستم امکان اثبات عدم وجود خطا را فراهم می کند. این اجازه می دهد تا رفتار سیستم تعبیه شده را طراحی کنید که از نظر ساختاری مناسب باشد و به عنوان یک اثر جانبی شما را مجبور می کند رفتار را ساده و روشنگر کنید. این بدان معنی است که سیستم ها نه تنها به درستی رفتار می کنند، بلکه نگهداری و انطباق آنها بسیار آسان تر است. «رفتار فرآیند مدل» دنباله‌دار MOOC به «خودکار و معادل‌های رفتاری» است. این MOOC به شما نشان می‌دهد که چگونه رفتار فرآیند، به‌ویژه پروتکل‌ها و الگوریتم‌های توزیع‌شده را مدل‌سازی کنید، ویژگی‌های رفتار سیستم را عمیق‌تر کنید، و چیزها را ساده نگه دارید تا از انفجار فضای حالت جلوگیری کنید. مطالب خواندنی جی.اف.گروت و ام.آر.موسوی. مدل سازی و تحلیل سیستم های ارتباطی. مطبوعات MIT، 2014. این دوره قسمت 2 از مجموعه دوره های اعتبار سنجی سیستم می باشد. اعتبار سنجی سیستم، به عنوان مجموعه ای از دوره ها، بخشی از یک برنامه آنلاین دیجیتال دیجیتال بزرگتر به نام «اینترنت اشیا از طریق سیستم های جاسازی شده» است.