ارائه روشی برای صحت سنجی توصیفهای z ازسیستم های همروندبادرنظرگرفتن اعمال غیرقطعی
Publish place: First National Conference on Advances in computer science and information retrieval approaches
Publish Year: 1392
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 911
This Paper With 9 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
BPJ01_112
تاریخ نمایه سازی: 29 دی 1392
Abstract:
تولیدنرم افزارقابل اعتمادوکارایکی ازاصلی ترین موارد موردبحث درمهندسی نرم افزار است این مهم بطور خاص درکاربردهای حساس موردتوجه تولید کنندگان قراردارد سیستم های همروند به دلیل وجود برخی مسائل مانند بن بست گرسنگی رفتارغیرقطعی وهمگام سازی بسیارپیچیده حساس و مستعدخطا هستند درنتیجه اطمینان ازدرستی وصحت عملکرداین گونه سیستم ها ازدوجنبه بسیارضروری می باشد اولا سطح قابلیت اطمینان این گونه سیستم ها افزایش خواهدیافت ثانیا موجب کاهش هزینه و زمان کلی تولید سیستم نیز خواهد شد صحت سنجی صوری به عنوان روشی برای اطمینان ازصحت توصیف صوری اولیه نرم افزارمیتواند جلوی خطاهای پرهزینه را بطرزغیرقابل توجهی بگیرد ازطرف دیگربه دلیل سطح تجرید بالا درتوصیفهای صوری و همچنین نیاز به توصیف و تولید صوری سیستم های غیرقطعی مانند سیستم های همروند وجود عدم قطعیت درتوصیفهای صوری اجتناب ناپذیر است دراین مقاله سعی شده تا برمبنای زبان توصیف صوری Z به معرفی روشی برای صحت سنجی توصیفهای نوشته شده سیستم های همروندباپوشش اعمال غیرقطعی پرداخته شود درانتها برای نشان دادن قابلیت های روش مذکور یک مطالعه موردی ازسیستم های همروند انجام شده است
Keywords:
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :