گذری بر امکان سنجی نا متغیرهای شرطی

Publish Year: 1389
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 1,194

This Paper With 6 Page And PDF Format Ready To Download

  • Certificate
  • من نویسنده این مقاله هستم

این Paper در بخشهای موضوعی زیر دسته بندی شده است:

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

لینک ثابت به این Paper:

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

CSICC16_116

تاریخ نمایه سازی: 28 بهمن 1390

Abstract:

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

Authors

محمد هانی فولادگر

دانشجوی کارشناسی ارشد گروه نرم افزار دانشکده کامپیوتر،دانشگاه علم و صنعت ایران

بهروز مینایی بیدگلی

استادیار،گروه نرم افزار دانشکده کامپیوتر،دانشگاه علم و صنعت ایران،

مراجع و منابع این Paper:

لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :
  • دانشکده مهندسی کامپیوتر، دانشگاه صنعتی شریف، تهران، 17 تا 19 ...
  • Krka et al. Using dynamic execution traces and program invariants ...
  • M. Vanmali, M. Last, and A. Kandel. Using a neural ...
  • M. D. Ernst, J. Cockrell, W. G. Griswold, D. Notkin, ...
  • M. D. Ernst et al. Dynamically discovering likely program invariants ...
  • B. Wei3. Inferring invariants by static analysis in KeY. Diplomarbeit, ...
  • Neil D. Jones and Flemming Nielson. Abstract interpretation: A semanticsbased ...
  • M.D. Ernst, J.H. Perkins, P.J. Guo, S. McCamant, C. Pacheco, ...
  • C. Csallner et al DySy: Dynamic symbolic execution for invariant ...
  • M. Boshernitsan, R. Doong, A. Savoia, From Daikon to Agitator: ...
  • S. Hangal, M. S. Lam, Tracking down software bugs using ...
  • Tan, P., Steinbach, M., Kumar, V., Introduction _ DATA MINING, ...
  • نمایش کامل مراجع