مولّد خودكار موارد آزمون براي ارزيابي صحت پياده‌سازي سياست‌هاي كنترل دسترسي

مقطع تحصيلي

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

رشته تحصيلي

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

دانشكده

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

تاريخ دفاع

1394

صفحه شمار

114ص.

استاد راهنما

بهروز ترك لاداني

استاد مشاور

بهمن زماني

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

سياست‌هاي كنترل دسترسي , توليد خودكار موارد آزمون , آزمون مبتني بر مدل , معيار پوشش شرط/تصميم اصلاح‌يافته , پوشش آزمون

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

1395/11/30

نام نمايه ساز

كبري عباسي قلعه تكي

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

Access control policies , Automated generation of test cases , Model based testing , Modified condition/decision coverage criteria , Test coverage

عنوان لاتين

An Automatic Test Case Generator for Evaluating Implementation of Access Control Policies

نويسنده

صفرزاده، مرضيه

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