نام پژوهشگر: حوریه علیجانی
توصیف و درستی یابی سیستم های نرم افزاری حساس به ایمنی
با استفاده از نمودار حالت
پایان نامه
وزارت علوم، تحقیقات و فناوری - دانشگاه تبریز - پژوهشکده علوم کامپیوتر
1393
حوریه علیجانی جابر کریم پور
حوریه علیجانی جابر کریم پور
توصیف سیستم های حیاتی به روش های صوری و ریاضی انجام می گیرد. توصیف صوری و ریاضی مشکلات تخصصی دارند و سنگین و هزینه بر هستند.استفاده از دیاگرام ها کار را آسان می کنند ولی بیشتر دیاگرام ها دارای پایه ریاضی نیستند و در نتیجه برای توصیف سیستم های حیاتی نا مناسب اند. در میان نمودار های موجود یکی از نمودار های مطرح نمودار حالت است که این نمودار علاوه بر بصری-بودن دارای پایهریاضی مبتنی بر خودکار های با تعداد حالات محدود می باشند. نمودار حالت هرل یکی از روش های مدل سازی بصری می باشد که با توانایی هاینمایش تو در تو، سلسله مراتبی و همروند برای نمایش رفتار سیستم ها به کار می رود. توجه به توانایی های این ماشین حالت در ارائه رفتار واکنشی سیستم ها ما در مدل سازی مسئله از آن بهره می گیریم.