اعتبار سنجی سیستم (4): نرم افزار مدل سازی، پروتکل ها و سایر رفتارها

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