ارائه یک روش بهبود یافته جهت تولید نمونه های آزمون مبتنی بر مدل با استفاده از توصیفات رسمی معماری نرم افزار
محل انتشار: شانزدهمین کنفرانس دانشجویی مهندسی برق ایران
سال انتشار: 1392
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 695
فایل این مقاله در 6 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ISCEE16_332
تاریخ نمایه سازی: 21 تیر 1393
چکیده مقاله:
استفاده از آزمون مبتنی بر مدل در سطح معماری نرم افزار، باعث تولید نمونه های آزمون پیش از نوشتن کد برنامه و به صورت دقیق تر نسبت به روش های مشابه می شود. در صورتی که این معماری نرم افزار به صورت رسمی شده در آزمون مبتنی بر مدل مورد استفاده قرار گیرد، هزینه و زمان کمتری جهت تولید نرم افزار مورد نیاز است. تا کنون پژوهش های زیادی در خصوص تولید نمونه های آزمون از مدل های نرم افزاری مانند گرامرها، زبان های سیستم انتقال نشاندار و ... صورت پذیرفته است. مشکلی که در کلیه این روش ها به آن اشاره شده است، دقتنمونه های آزمون است. در این مقاله، روشی جهت تولید نمونه آزمون مبتنی بر مدل ارائه می شود، که ضمن استفاده از مشخصات رسمی شده معماری نرم افزار، نمونه های آزمون کارآمدتر و دقیق تری تولید می نماید. در ابتدا مشخصات معماری نرم افزار تحت آزمون، با کمک یک زبان رسمی، به صورت رسمی شده تبدیل می شوند. به دلیل ویژگی های برتر زبان -ADL، این زبان مورد بررسی قرار گرفته است. سپس از آزمون مبتنی بر مدل در سطح معماری استفاده می شود. در نهایت با کمک ابزارهای موجود، نمونه های آزمون، از این مدل رسمی شده، تولید می شوند.
کلیدواژه ها:
نویسندگان
مهدی آجودانیان
دانشگاه آزاد اسلامی واحد نجف آباد
سید مهران شرفی
دانشگاه آزاد اسلامی واحد نجف آباد
محمد داورپناه جزی
موسسه آموزش عالی صنعتی فولاد فولادشهر اصفهان
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :