تولید داده های آزمون جهت آزمون اجزای نرم افزار

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

سمینار کامل کارشناسی ارشد همراه با شکل، نمودار، جدول، پاورقی و منابع


فهرست مطالب

چکیده

فصل اول:

1-1 انگیزه11

1-2 شرح مسئله11

1-3 هدف14

1-4 نوآوری15

1-5 مروری بر مطالب15

1-6 نتیجه گیری16

فصل دوم:

2-1 مقدمه18

2-2 روند اجرای آزمون19

2-3 سطوح آزمون نرم‌افزار20

2-3-1 آزمون اجزاء21

2-3-2 آزمون مجتمع سازی23

2-3-3 آزمون سیستم23

2-3-4 آزمون پذیرش24

2-4 اجرای نمادین25

2-5 آزمون جعبه سفید با استفاده از داده‌های آزمون25

2-5-1 طراحی داده آزمون27

2-5-2 معیارهای آزمون30

2-5-3 تولید تصادفی داده‌های آزمون36

2-5-4 تولید داده‌های آزمون بر اساس روش‌های جستجو38

2-5-5 اشکالات روش‌های مبتنی بر الگوریتم‌های تکاملی40

2-6 نتیجه گیری47

فصل سوم:

3-1 مقدمه50

3-2 الگوریتم پیمایش بالا به پایین52

3-2-1 دستورالعمل انتساب56

3-2-2 دستورالعمل پرش غیر شرطی59

3-2-3 دستورالعمل پرش شرطی60

3-3 پردازش پایین به بالا و تولید داده‌های آزمون62

3-3-1 دستورالعمل‌ انتساب65

3-3-2 دستورالعمل پرش غیر شرطی67

3-3-3 دستورالعمل پرش شرطی67

3-4 نتیجه گیری68

مراجع




چکیده
آزمون نرم‌افزار به عنوان یکی از مراحل پر هزینه ساخت یا تغییر سیستم‌های نرم‌افزاری می‌باشد. علاوه بر این تاکنون روش آزمونی برای نرم‌افزار مطرح نشده است که بتواند نرم‌افزار را به طور کامل و با اطمینان صدر در صد مورد آزمون قرار دهد. به همین جهت خودکارسازی کل یا بخشی از این مرحله می‌تواند صرفه اقتصادی زیادی را در تولید نرم‌افزار به همراه داشته باشد. در این راستا روش‌های متفاوتی ارائه شده است که هر کدام در مرحله خاصی از چرخه حیات نرم‌افزار مورد استفاده قرار می‌گیرند. یکی از مراحل آزمون نرم‌افزار، آزمون اجزاء می‌باشد که در آن، واحد نرم‌افزاری پیاده سازی شده مورد آزمون قرار می‌گیرد. برای آزمون اجزاء نرم‌افزار دو روش‌ اصلی اجرای ایستا و اجرای پویا طراحی شده‌اند که در اجرای ایستا برنامه با استفاده از داده‌های نمادین اجرا می‌شود و در خاتمه اجرا یک سری معادله چند مجهولی تولید می‌شود. در روش‌ دوم که به اجرای پویا معروف است، برنامه به ازای یک سری ورودی واقعی جرا شده و نتایج اجرا با نتایج مورد انتظار مقایسه می‌شود. بدیهی است وجود تفاوت در خروجی‌های تولید شده با خروجی‌های مورد انتظار وجود خطایی در نرم‌افزار تحت آزمون را آشکار می‌سازد. .سعی ما بر این بوده که با ارائه الگوریتمی که با استفاده از تحلیل کد برنامه، داده‌های آزمونی را تولید می‌نماید ، پوشش کاملی روی معیار آزمون ایجاد کنیم، تا بتواند بخشی از کاستی‌های موجود در روش¬های فعلی را مرتفع نماید. این الگوریتم با استفاده از یک روش قطعی داده‌های آزمون جعبه سفید نرم‌افزار را تولید می‌نماید.