ارائه یک روش بهبود یافته جهت تولید نمونه های آزمون مبتنی بر مدل با استفاده از توصیفات رسمی معماری نرم افزار

Publish Year: 1392
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 681

This Paper With 6 Page And PDF Format Ready To Download

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

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

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

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

ISCEE16_332

تاریخ نمایه سازی: 21 تیر 1393

Abstract:

استفاده از آزمون مبتنی بر مدل در سطح معماری نرم افزار، باعث تولید نمونه های آزمون پیش از نوشتن کد برنامه و به صورت دقیق تر نسبت به روش های مشابه می شود. در صورتی که این معماری نرم افزار به صورت رسمی شده در آزمون مبتنی بر مدل مورد استفاده قرار گیرد، هزینه و زمان کمتری جهت تولید نرم افزار مورد نیاز است. تا کنون پژوهش های زیادی در خصوص تولید نمونه های آزمون از مدل های نرم افزاری مانند گرامرها، زبان های سیستم انتقال نشاندار و ... صورت پذیرفته است. مشکلی که در کلیه این روش ها به آن اشاره شده است، دقتنمونه های آزمون است. در این مقاله، روشی جهت تولید نمونه آزمون مبتنی بر مدل ارائه می شود، که ضمن استفاده از مشخصات رسمی شده معماری نرم افزار، نمونه های آزمون کارآمدتر و دقیق تری تولید می نماید. در ابتدا مشخصات معماری نرم افزار تحت آزمون، با کمک یک زبان رسمی، به صورت رسمی شده تبدیل می شوند. به دلیل ویژگی های برتر زبان -ADL، این زبان مورد بررسی قرار گرفته است. سپس از آزمون مبتنی بر مدل در سطح معماری استفاده می شود. در نهایت با کمک ابزارهای موجود، نمونه های آزمون، از این مدل رسمی شده، تولید می شوند.

Keywords:

آزمون مبتنی بر مدل , مشخصات رسمی معماری نرم افزار , معماری نرم افزار , نمونه آزمون , p-ADL

Authors

مهدی آجودانیان

دانشگاه آزاد اسلامی واحد نجف آباد

سید مهران شرفی

دانشگاه آزاد اسلامی واحد نجف آباد

محمد داورپناه جزی

موسسه آموزش عالی صنعتی فولاد فولادشهر اصفهان

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

لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :
  • No. 3, pp. 160 - 171 , March 2004. ...
  • Jerry Gao, "A Review of Model-Based Software Testing and Automation ...
  • Software Architectures", ACM Software Engineering Notes, vol. 29, Issue 3, ...
  • Hassan Reza, Suhas Lande, "Model Based Testing Using Software Architecture", ...
  • Jan T., "Model Based Testing with Labelled Transition Systems", Formal ...
  • Samaneh V., Sayed Mehran Sh., Bahman Z., "A New Model-Based ...
  • Maximiliano C., Pablo A. Pablo R., "Fastest: a Model-Based Testing ...
  • on Software Engineering Advances, IEEE, 2008. ...
  • Mark U, Alexander P., Bruno L., _ Taxnomy of model-based ...
  • نمایش کامل مراجع