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

سعید عبدلی¹ زانا محمدی²

1) کارشناس ارشد کامپیوتر گرایش نرم‌افزار، ایران -
2) کارشناس ارشد کامپیوتر گرایش نرم‌افزار، ایران -

محل انتشار : کنگره بین المللی مهندسی، فناوری و نوآوری(eticong.com/1st)
چکیده :
امروزه اعتبار‌سنجی، یکی از اساسی‌ترین بخش‌های تضمین کیفیت یک سیستم و یا محصول نرم‌افزاری است. از طرفی با افزایش روز افزون پیچیدگی و وسعت این سیستم‌ها و محصولات، اعتبارسنجی آن‌ها نیز فرآیندی پیچیده‌‌تر و دشوارتر از گذشته خواهد بود. علاوه براین، کاهش هزینه‌های آزمون همچنان به عنوان دغدغه اصلی مهندسین نرم‌افزار مورد بحث است و در تمام رویکردهای پیشنهادی باید این امر نیز به‌طور جدی مورد توجه قرار گیرد. یک روش قابل دسترس برای حل این موضوع، روش وارسی مدل مبتنی بر نیازمندی‌ها است. با این رویکرد، فضای حالت سیستم محدود به بخشی از رفتار سیستم که مورد نیاز است شده و به شکل دقیق‌تری امکان بررسی و آزمودن سیستم فراهم می‌شود. از طرفی روش‌های پیشین که به برای رسمی‌سازی نیازمندی‌ها و با هدف بررسی برآورده شدن آن‌ها در سیستم مورد استفاده قرار گرفته‌اند، در اکثر موارد ناکارآمد هستند، به این دلیل که در همه موارد نمی‌توان نیازمندی‌ها سیستم را به شکل فرمول‌های منطقی بیان کرد و روش مطلوب‌تری به این منظور مورد نیاز است. در این مقاله با توجه به مشکلات بیان شده، سعی در ارائه روشی شده که با استفاده از فرمالیسم‌های گرافیکی بتوان نیازمندی‌ها و خصوصیات رفتاری مورد نظر سیستم را بیان کرد. با تکیه بر این روش، به‌جای جستجو کردن کل فضای حالت سیستم، با ارائه یک الگوریتم جستجوی مطلوب، تنها بخشی از فضای سیستم مورد بررسی قرار داده می‌شود که به رفتار مشخص شده در گراف مورد نظر مرتبط ‌باشد، در نتیجه فضای حالت سیستم به طور قابل ملاحظه‌ای کاهش پیدا می‌کند. مزیت دیگر استفاده از این روش سادگی آن در بیان خصوصیات و نیازمندی‌ها و هم‌چنین استخراج مجموعه‌ اهداف آزمون مبتنی بر نیازمندی‌ها است. اساسی‌ترین مزیت این رویکرد پیشنهادی، فراهم‌سازی بستری مناسب برای استفاده از روش‌های برنامه‌ریزی هوش مصنوعی در آزمون اعتبارسنجی و کاهش هرچه بیشتر هزینه‌های آزمون نرم‌افزار می‌باشد.
کلمات کلیدی : اعتبارسنجی تضمین کیفیت کاهش هزینه‌های آزمون مدل مبتنی برنیازمندی‌ها گراف برنامه‌ریزی هوش مصنوعی