بهبود کشف پویای نا متغیرها در مورد آرایه ها

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

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

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

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

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

CSICC16_118

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

چکیده مقاله:

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

کلیدواژه ها:

کشف پویای نا متغیر ها ، تست نرم افزار ، خصوصیات آرایه ، عناصر اول و آخر آرایه ، تعداد عناصر مشترک بین آرایه های هم نوع

نویسندگان

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

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

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

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

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

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • دانشکده مهندسی کامپیوتر، دانشگاه صنعتی شریف، تهران، 17 تا 19 ...
  • RobertW. Floyd. Assigning meanings to programs. In _ _ , ...
  • M. D. Ernst, J. Cockrell, W. G. Griswold, D. Notkin, ...
  • B. Wei8. Inferring invariants by static analysis in KeY. ...
  • _ _ _ interpretation: A semanticsbased tool for program analysis. ...
  • M. Boshernitsan, R. Doong, A. Savoia, Fron Daikon to Agitator: ...
  • S. Hangal, M. S. Lam, Tracking down software bugs using ...
  • C. Csallner et al DySy: Dynamic symbolic execution for invariant ...
  • Dynamically Discovering Likely Program Invariants to _ _ transactions on ...
  • نمایش کامل مراجع