ارائه روشي براي شناسايي موارد آزمون موثر در آزمون نرم‌افزار

طراحي موارد آزمون و توليد داده آزمون، يكي از چالش هاي موجود در فرايند آزمون نرم افزار، ازجمله فن آزمون جهش است. موارد آزموني كه طراحي مي شوند بايد خطوط كد منبع را به صورت حداكثري پوشش دهند و داده هاي آزمون نيز بايد بتوانند موارد آزمون را با موفقيت اجرا كنند. آزمون جهش، علاوه بر شناسايي خطاهاي كد منبع، اين توانايي را دارد كه كيفيت موارد آزموون را بنون د و مووارد آزموون باكفا يوت را مشخص نمايد. در اين پايان نامه، از فنون پوشش كد، براي طراحي موارد آزمون و از الگوريتم فرا ابتكاري FA-MABC براي توليد خودكار داده آزمون بهينه، استفاده مي‌شود. در اين الگوريتم، ابتدا م موعه اي از داده هاي آزمون، به صورت تصادفي توليد مي شوند و سپس معادله جنوت و موجود در الگوريتم، اجرا مي شود تا در نهايت، داده هاي آزمون بهينه، به دست آيند. نتي ه اين روش، م موعه آزموني است كه مي تواند حداكثر خطوط كد منبع را پوشش داده و آزمون كند. چنين م موعه آزموني، توانايي بالايي در شناسايي خطاها ي برنامه دارد و در آزموون جهش، امتياز بالايي كسب مي كند. در روش پيشنهادي، براي رسيدن به موارد آزمون مؤثر، ابتدا موارد آزمون طراحي شوده، در آزمون جهش اعمال مي شوند و سپس با استفاده از جدول جهش هاي خاموش شده، موارد آزمون مؤثر استخراج مي شوند. نتايج ارزيابي، نشان مي دهد كه الگوور يتم FA-MABC، موجب كاهش هزينه زماني در توليد داده آزمون مي‌شود و معيار پوشش «شرط اصلاح‌شده / تصميم»، موجب افزايش امتياز جهش مي‌شود.