تولید داده های آزمون پوشش مسیر برنامه با استفاده از الگوریتم ژنتیک
Publish place: 14th Annual Conference of Computer Society of Iran
Publish Year: 1387
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 3,267
This Paper With 5 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
این Paper در بخشهای موضوعی زیر دسته بندی شده است:
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ACCSI14_072
تاریخ نمایه سازی: 26 مهر 1387
Abstract:
تولید داده های مناسب برای آزمون رفتار یک نرم افزار، یک موضوع مورد تحقیق در مهندسی نرم افزار است. ما در این مقاله آزمون نرم افزار با معیار پوشش مسیرهای برنامه را مورد توجه قرار می دهیم و روشی مبتنی بر الگوریتم ژنتیک را برای تولید بهینه داده های آزمون این مسیرها ارایه می دهیم. در این الگوریتم، تابع برازندگی، تولید افراد جمعیت و معیار توقف تولید جمعیت را بر اساس یال های بحرانی گراف جریان کنترل برنامه تعیین می کنیم. یال های بحرانی یال هایی هستند که حضور آنها در یک مسیر گراف جریان کنترل، معرف حضور یال های دیگر است و آزمون این یال ها در یک مسیر، موجب کفایت آزمون مسیرهای گراف می شود.
Keywords:
Authors
سید مرتضی بابامیر
دانشگاه کاشان استادیار گروه مهندسی کامپیوتر
فائزه سادات بابامیر
دانشگاه باهنر کرمان، دانشجوی رشته علوم کامپیوتر
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :