ارائه یک روش بهبود یافته جهت تولید نمونه های آزمون مبتنی بر مدل با استفاده از توصیفات رسمی معماری نرم افزار
Publish place: 16th Iran"s Electrical Engineering Student Conference
Publish Year: 1392
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 681
This Paper With 6 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ISCEE16_332
تاریخ نمایه سازی: 21 تیر 1393
Abstract:
استفاده از آزمون مبتنی بر مدل در سطح معماری نرم افزار، باعث تولید نمونه های آزمون پیش از نوشتن کد برنامه و به صورت دقیق تر نسبت به روش های مشابه می شود. در صورتی که این معماری نرم افزار به صورت رسمی شده در آزمون مبتنی بر مدل مورد استفاده قرار گیرد، هزینه و زمان کمتری جهت تولید نرم افزار مورد نیاز است. تا کنون پژوهش های زیادی در خصوص تولید نمونه های آزمون از مدل های نرم افزاری مانند گرامرها، زبان های سیستم انتقال نشاندار و ... صورت پذیرفته است. مشکلی که در کلیه این روش ها به آن اشاره شده است، دقتنمونه های آزمون است. در این مقاله، روشی جهت تولید نمونه آزمون مبتنی بر مدل ارائه می شود، که ضمن استفاده از مشخصات رسمی شده معماری نرم افزار، نمونه های آزمون کارآمدتر و دقیق تری تولید می نماید. در ابتدا مشخصات معماری نرم افزار تحت آزمون، با کمک یک زبان رسمی، به صورت رسمی شده تبدیل می شوند. به دلیل ویژگی های برتر زبان -ADL، این زبان مورد بررسی قرار گرفته است. سپس از آزمون مبتنی بر مدل در سطح معماری استفاده می شود. در نهایت با کمک ابزارهای موجود، نمونه های آزمون، از این مدل رسمی شده، تولید می شوند.
Keywords:
Authors
مهدی آجودانیان
دانشگاه آزاد اسلامی واحد نجف آباد
سید مهران شرفی
دانشگاه آزاد اسلامی واحد نجف آباد
محمد داورپناه جزی
موسسه آموزش عالی صنعتی فولاد فولادشهر اصفهان
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :