6596

9596

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

كارشناسي

نرم افزار

1398

دكتر سعيد پارسا

1398/09/20

كامپيوتر

Test suite minimization based on path coverage

آزمون يͺ ͬاز پراهميت ترين مراحل در مهندسr نرم افزار است. روش هاي متنوعr براي آزمون مطرح است كه در اين پروژه بر آزمون مسير تمركز داريم. آزمون مسير يͷ آزمون ساختاري است كه از كد منبع استفاده مr كند تا تمام مسيرهاي اجرايي ممͺن را مورد آزمون قرار دهد. آزمون مسير روشr است كه پوشش آزمون قابل توجهr را در مقايسه با ساير روش ها از جمله آزمون ساختاري و آزمون عملͺردي فراهم مr كند. در نتيجه، احتمال يافتن خطا هاي نرم افزاري بيشتر خواهد شد. آزمون مسير بر اساس كد منبع عمل مr كند. از اين رو يͷ روش جعبه سفيد محسوب مr شود و مزيت آن امͺان تعريف دقيق آزمون ها است كه با تحليل صوري نتايج به دقت بالايي در اندازه گيري ها دست مr يابد. دو چالش پيش روي روش آزمون مسير، انفجار حالت و مسيرهاي ناممͺن است. مجموعه داده آزمون يͷ برنامه كوچͷ هم حتr ممͺن است بسيار بزرگ باشد كه اين منجر به غيرعملr شدن آزمون مr شود. در دنياي امروز كه برنامه نويسr شr گرا بيشتر مطرح است، آزمون عملͺردي بيشتر مورد توجه است. اما نياز به آزمون رفتارهاي نامشهود برنامه و حذف داده آزمون افزونه از جمله مواردي است كه به كمͷ آزمون مسير قابل دستيابي است. آزمون مسير، معياري براي آزمون گران نرم افزار است تا زمان توقف فرايند آزمون را مشخص كنند يعنr با تعريف آستانه اي از درصد پوشش، مرحله آزمون را انجام شده اعلام كنند. هم اكنون ابزار مناسب و دردسترس براي تعيين ميزان پوشش مسير داده هاي ورودي در دسترس نيست. از طرفr بسياري از داده هاي آزمون از نظر پوشش يͺسان اند و حضور آن ها در مجموعه آزمون تنها زمان آزمون را افزايش مr دهد. در پروژه پيش رو قصد داريم روشr براي كمينه كردن مجموعه آزمون مبتنr بر پوشش مسير ارائه دهيم.

آزمون نرم افزار , پوشش مسير