ارائه روشی برای صحت سنجی توصیفهای z ازسیستم های همروندبادرنظرگرفتن اعمال غیرقطعی

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

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

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

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

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

BPJ01_112

تاریخ نمایه سازی: 29 دی 1392

چکیده مقاله:

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

نویسندگان

زینب مجدی

هیئت علمی موسسه آموزش عالی آیندگان

حسن حقیقی

استادیاردانشگاه شهید بهشتی

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

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • A. S. Evans, _ Assertional Verification Method for Z Specifications ...
  • Systems", Proc. ISCIS XI, Turkey, 1996. ...
  • A. S. Evans, _ Improved Recipe for Specifying Reactive Systems ...
  • Conference of Z Users, Springer- Verlag, pp. 275-294, ...
  • A. S. Evans, "Specifying and Verifying Concurrent Systems Using Z, ...
  • R. Alur, T. A. Henzinger, "Cmputer Aided Verification, Draft Book ...
  • J. Woodcock, S. M. Brien, :W: A Logic for Z, ...
  • S.G.Akl "The Design and Analysis of Parallel Algorithms" Prentice-Hall, 1989. ...
  • S. H. Mirian-Ho sseinabadi, "Constructive Z", PhD Thesis, Department of ...
  • نمایش کامل مراجع