الگوریتم تولید فضای حالت نیمه توزیع شده برای آزمون مدل زبان شی بنیاد ربکا

سال انتشار: 1387
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 1,686

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

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

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

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

ACCSI14_142

تاریخ نمایه سازی: 26 مهر 1387

چکیده مقاله:

انفجار حالت یکی از مشکلات بنیادی در درستی یابی مدل های صوری است و تکنیک های متنوعی برای تخفیف آن پیشنهاد شده است. گروهی از این تکنیک ها سعی در توزیع حالات سیستم به منظور جلوگیری از انباشته شدن آنها در یک نود محاسبه گر می کنند که خود دشواری هایی در پیاده سازی و کارایی را به دنبال دارد. در این مقاله ما روشی برای تولید نیمه توزیع شده حالات مدل های مبتنی بر شی ارائه کرده ایم که در عین توزیع حالات بین چندین نود، ارجاعی سبک وزن از تمامی حالات را بصورت متمرکز نگهداری می کند. بدین ترتیب با بدست آمدن بسیاری از مزایای توزیع شده گی، تمامی مزایای الگوریتم های درستی یابی متمرکز مانند کاهش ها و انتزاع ها هم قابل استفاده است. نتایج آماری بدست آمده از اعمال این روش حاکی از افزایش میانگین کارایی سیستم به همراه قابلیت پشتیبانی از مدل هایی به مراتب بزرگتر از قبل است.

نویسندگان

محمدرضا رزازی

دانشگاه صنعتی امیرکبیر

احسان خامس پناه

دانشگاه صنعتی امیرکبیر، آزمایشگاه تحقیق و توسعه پیشرفته نرم افزار

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

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • Sirjani, M.., Movaghar, A., Shali, A., DeBoer, F.S., . Modeling ...
  • Holzmann, G.J.: The model checker SPIN. IEEE transactions _ software ...
  • Bengtsson, J., Larsen, K.G., Larsson, F., Pettersson, P., Yi, W.: ...
  • Emerson, E., Sistla, A.: Symmetry and Model Checking. Formal Methods ...
  • Godefroid, P.: Using Partial Orders to Improve Automatic Verification Methods. ...
  • Barnat, J., Brim, L., Striberna, J.: Distributed LTL Model- Checking ...
  • Yang, Y., Chen, X., Gopalakri shnan, G., Kirby, R.M.: Distributed ...
  • Agha, G., Hewitt, C.: Concurrent Programming Using Actor. Obj ect-Oriented ...
  • Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite ...
  • Francez, N.: FAIRNESS. Springer-Verl ag, New York, August 1986 ...
  • Coucobetis, C., Vardi, M., Wolper, P., Yannakakis, M.: Me mory-efficient ...
  • Jaghouri, M.M., Movaghar, A., Sirjani, M.: Modere: the _ del-checking ...
  • Jaghoori, M.M., Sirjani, M., Mousavi, M.R., Movaghar, A.: Efficient symmetry ...
  • Goodman, N., Hadzilacos, V ., Bernstein, P.A.: Concurrency Control and ...
  • Shoch, J.F., Hupp, J.A.: Measured Performance of an Ethernet Local ...
  • نمایش کامل مراجع