پيشنهاد روشی جديد برمبنای روشهای ايستا و پويا برای توليد داده های آزمون جهت آزمون اجزای نرم افزار

پيشنهاد روشی جديد برمبنای روشهای ايستا و پويا برای توليد داده های آزمون جهت آزمون اجزای نرم افزار

پیشنهاد روشی جدید برمبنای روشهای ایستا و پویا برای تولید داده های آزمون جهت آزمون اجزای نرم افزارتعداد صفحات:70 با فرمت ورد سمینار کامل کارشناسی ارشد همراه با شکل، نمودار، جدول، پاورقی و منابعفهرست مطالبچکیدهفصل اول:1-1          انگیزه111-2            شرح مسئله111-3            هدف141-4            نوآوری151-5            مروری بر مطالب151-6            نتیجه گیری16فصل دوم:2-1            مقدمه182-2            روند اجرای آزمون192-3            سطوح آزمون نرم‌افزار202-3-1                          آزمون اجزاء212-3-2                      آزمون مجتمع سازی232-3-3                          آزمون سیستم232-3-4                          آزمون پذیرش242-4            اجرای نمادین252-5            آزمون جعبه سفید با استفاده از داده‌های آزمون252-5-1                          طراحی داده آزمون272-5-2                          معیارهای آزمون302-5-3                          تولید تصادفی داده‌های آزمون362-5-4                          تولید داده‌های آزمون بر اساس روش‌های جستجو382-5-5                          اشکالات روش‌های مبتنی بر الگوریتم‌های تکاملی402-6            نتیجه گیری47فصل سوم:3-1            مقدمه503-2            الگوریتم پیمایش بالا به پایین523-2-1                          دستورالعمل انتساب563-2-2                          دستورالعمل پرش غیر شرطی593-2-3                          دستورالعمل پرش شرطی603-3          پردازش پایین به بالا و تولید داده‌های آزمون623-3-1                          دستورالعمل‌ انتساب653-3-2                          دستورالعمل پرش غیر شرطی673-3-3                          دستورالعمل پرش شرطی673-4            نتیجه گیری68مراجع  چکیده آزمون نرم‌افزار به عنوان یکی از مراحل پر هزینه ساخت یا تغییر سیستم‌های نرم‌افزاری می‌باشد. علاوه بر این تاکنون روش آزمونی برای نرم‌افزار مطرح نشده است که بتواند نرم‌افزار را به طور کامل و با اطمینان صدر در صد مورد آزمون قرار دهد. به همین جهت خودکارسازی کل یا بخشی از این مرحله می‌تواند صرفه اقتصادی زیادی را در تولید نرم‌افزار به همراه داشته باشد. در این راستا روش‌های متفاوتی ارائه شده است که هر کدام در مرحله خاصی از چرخه حیات نرم‌افزار مورد استفاده قرار می‌گیرند. یکی از مراحل آزمون نرم‌افزار، آزمون اجزاء می‌باشد که در آن،  واحد نرم‌افزاری پیاده سازی شده مورد آزمون قرار می‌گیرد. برای آزمون اجزاء نرم‌افزار دو روش‌ اصلی اجرای ایستا و اجرای پویا طراحی شده‌اند که در اجرای ایستا برنامه با استفاده از داده‌های نمادین اجرا می‌شود و در خاتمه اجرا یک سری معادله چند مجهولی تولید می‌شود. در روش‌ دوم که به اجرای پویا معروف است، برنامه به ازای یک سری ورودی واقعی جرا شده و نتایج اجرا با نتایج مورد انتظار مقایسه می‌شود. بدیهی است وجود تفاوت در خروجی‌های تولید شده با خروجی‌های مورد انتظار وجود خطایی در نرم‌افزار تحت آزمون را آشکار می‌سازد. .سعی ما بر این بوده که با ارائه الگوریتمی که با استفاده از تحلیل کد برنامه، داده‌های آزمونی را تولید می‌نماید ، پوشش کاملی روی معیار آزمون ایجاد کنیم، تا بتواند بخشی از کاستی‌های موجود در روش¬های فعلی را مرتفع نماید. این الگوریتم با استفاده از یک روش قطعی داده‌های آزمون جعبه سفید نرم‌افزار را تولید می‌نماید.