11217

COM2 285

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

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

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

1392

117ص

بهمن زماني

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

آزمون مبتني بر مدل , توليد موارد آزمون , آزمون خودكار , سياست هاي كنترل دسترسي , حل كننده قيود

1393/01/30

اعظم قديري

Model Based Testing , Test Case Generation , Automatic Testing , Access Control Policies , Constraint Solver

A New Approach to Automated Testing of Access Control using Model Based Technique