روش جديد در توليد بهينه ي موارد آزمون بر اساس ماشين حالت UML

مقطع تحصيلي

كارشناسي ارشد

رشته تحصيلي

مهندسي كامپيوتر گرايش نرم افزار

دانشكده

دانشكده فني و مهندسي، گروه كامپيوتر

تاريخ دفاع

1392

صفحه شمار

103ص

استاد راهنما

بهمن زماني

كليدواژه فارسي

آزمون مبتني بر مدل , آزمون خودكار , ماشين حالت UML , زبان برنامه ريزي رياضي AMPL , حل كننده قيود

تاريخ نمايه سازي

1392/12/12

نام نمايه ساز

اعظم قديري

كليدواژه لاتين

Model Based Testing , Automated Testing , UML State Machine , AMPL Programming Language , Constraint Solver

عنوان لاتين

A New Approach to Optimized Generation of Test Cases using UML State Machine

نويسنده

رضائي، امين

لينک به اين مدرک