توليد و بهينه‌سازي داده آزمون با استفاده از مدل يوام‌ال و الگوريتم ژنتيك

آزمون نرم‌افزار نقش مهمي در پيشرفت نرم‌افزار ايفا مي‌كند زيرا مي‌تواند باعث كاهش هزينه‌ها شود. دستاوردهاي آزمون نرم‌افزار به سه قسمت تقسيم ميشوند: آزمون مبتني بر مورد، آزمون مبتني بر خصوصيات و آزمون مبتني بر مدل. در آزمون مبتني بر مورد، آزمون در فاز طراحي آغاز مي‌شود، بنابراين خطاها خيلي زود كشف و در زمان، هزينه و زحمت توسعه‌دهندگان به مقدار زيادي صرفه‌جويي مي‌شود. در اين مقاله، يك تكنيك براي توليد داده آزمون استفاده از نمودار توالي يوام‌ال و نمودار حالت ارائه داده است. روش كار به اين صورت كه نمودار توالي به گراف توالي و نمودار حالت به گراف حالت تبديل شود. سرانجام، گراف آزمون سيستم (SYTG) با ادغام اين دو گراف شكل گرفته‌است. از روي گراف‌ها، توالي‌هاي جريان كنترلي متفاوت كه به آن موارد آزمون نيز گوئيم، شناسايي شده وسپس با استفاده از الگوريتم هاي تكاملي، آنها بهينه سازي مي‌شوند. اگرچه نمودار حالت در آشكارسازي خطاهاي آزمون واحد و نمودار توالي تأثير بهتري براي مشخص شدن خطاهاي سطح تجميع دارد، اما بعداز تجميع دو گراف، داده آزمون‌هاي توليد شده براي آزمون سيستم مناسب بوده وهمچنين براي شناسايي كنترل خطاها، درستي، خطاهاي پيش رس شرط، تعاملات، خطاهاي توالي پيام ها و خطاهاي سناريو به‌كار رفته است.