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

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

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

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

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

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

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

CSICC16_116

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

چکیده مقاله:

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

نویسندگان

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

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

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

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

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

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • دانشکده مهندسی کامپیوتر، دانشگاه صنعتی شریف، تهران، 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, ...
  • نمایش کامل مراجع