ارائه روشی مبتنی بر مذل جهت خودکارسازی آزمون سیاست های کنترل دسترسی در قالب زبان استاندارد XACML

یکی ازمراحل پرهزینه چرخه حیات نرم افزار آزمون است آزمون مبتنی بر مدل؛ روشی محبوب در جهت خودکارسازی آزمون است که با تکیه بر مدلی که توصیف کننده رفتار سیستم تحت آزمون است مجموعه ای از موارد آزمون را تولید می کند این روش نیازهای وظیفه مندی را که مربوط به کارکدهای مورد انتظار کاربرنهایی از سیستم است. به خوبی پوشش می دهد اما نیازهای غیر وظیفه مندی که مربوط به کیفیت عملکردها و سیستم است نادیده گرفته می شود یکی از مهمترین نیازهای غیر وظیفه مندی که میتوان به آن اشاره کرد امنیت هست که از رکنهای آن میتوان کنترل دسترسی را نام برد در این تحقیق با ترکیب مدل رفتاری و سیاستهای کنترل دسترسی یک سیستم نرم افزار ازمون مبتنی بر مدل چنان گسترش یافته است کهتوانایی سنجش خودکار صحت پیاده سازی سیاستهای کنترل دسترسی را نیز داشته باشید.

Keywords:

آزمون مبتنی بر مدل , تولید موارد آزمون , آزمون خودکار , سیاستهای کنترل دسترسی