مهدی آجودانیان - دانشگاه آزاد اسلامی واحد نجف آباد
سید مهران شرفی - دانشگاه آزاد اسلامی واحد نجف آباد
محمد داورپناه جزی - موسسه آموزش عالی صنعتی فولاد فولادشهر اصفهان

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

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