ارائه روشی برای صحت سنجی توصیفهای z ازسیستم های همروندبادرنظرگرفتن اعمال غیرقطعی
سال انتشار: 1392
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 843
فایل این مقاله در 9 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
BPJ01_112
تاریخ نمایه سازی: 29 دی 1392
چکیده مقاله:
تولیدنرم افزارقابل اعتمادوکارایکی ازاصلی ترین موارد موردبحث درمهندسی نرم افزار است این مهم بطور خاص درکاربردهای حساس موردتوجه تولید کنندگان قراردارد سیستم های همروند به دلیل وجود برخی مسائل مانند بن بست گرسنگی رفتارغیرقطعی وهمگام سازی بسیارپیچیده حساس و مستعدخطا هستند درنتیجه اطمینان ازدرستی وصحت عملکرداین گونه سیستم ها ازدوجنبه بسیارضروری می باشد اولا سطح قابلیت اطمینان این گونه سیستم ها افزایش خواهدیافت ثانیا موجب کاهش هزینه و زمان کلی تولید سیستم نیز خواهد شد صحت سنجی صوری به عنوان روشی برای اطمینان ازصحت توصیف صوری اولیه نرم افزارمیتواند جلوی خطاهای پرهزینه را بطرزغیرقابل توجهی بگیرد ازطرف دیگربه دلیل سطح تجرید بالا درتوصیفهای صوری و همچنین نیاز به توصیف و تولید صوری سیستم های غیرقطعی مانند سیستم های همروند وجود عدم قطعیت درتوصیفهای صوری اجتناب ناپذیر است دراین مقاله سعی شده تا برمبنای زبان توصیف صوری Z به معرفی روشی برای صحت سنجی توصیفهای نوشته شده سیستم های همروندباپوشش اعمال غیرقطعی پرداخته شود درانتها برای نشان دادن قابلیت های روش مذکور یک مطالعه موردی ازسیستم های همروند انجام شده است
کلیدواژه ها:
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :