تولید قوانین راستی آزمای سیستمهای رخدادگر با استفاده از حساب رخداد

سال انتشار: 1390
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 961

فایل این مقاله در 9 صفحه با فرمت PDF قابل دریافت می باشد

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:

شناسه ملی سند علمی:

ISCEE14_120

تاریخ نمایه سازی: 31 مرداد 1390

چکیده مقاله:

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

نویسندگان

امیر اسماعیلی

دانشجویان کارشناسی ارشد مهندسی نرم افزار دانشگاه آزاد اسلامی واحد ار

مراجع و منابع این مقاله:

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