9655

8899

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

معماري كامپيوتر

اصفهان: دانشگاه صنعتي اصفهان، دانشكده برق و كامپيوتر

1393

سيزده،117ص.: مصور،جدول،نمودار

ص.ع.به فارسي و انگليسي

مهندسي برق و كامپيوتر

ID8899

۶ و س ستمهاي سخت افزاري م باشد به منظور طراح س ستمهاي چندهسته اي مدرن محقق ن و مهندس ن ن از به بستههاي متفاوت از جمله راندمان دارند كه از طر ق آن بتوانند س ستمهاي خود را ارز ابي و مقا سه كنند بستههاي مح مح 6002 SPEC OMP2001 SPEC CINT و 2102 SPEC OMP نمونهها ي از ا ن بستهها هستند از آنجا ي كه تعداد ا ن با حداقل تعداد آ تم نرم افزاري و در ع ن حال تنوع بسته مح بستهها و برنامههاي درون آنها بس ار ز اد است ن از به زبان ال وي مناسب و جام ا ن قابل ت را در اخت ار محقق ن قرار م دهد تا ط ف نرم افزارهاي آن احساس م شود نرم افزاري جام و كامل طراح گردد بسته مح تحل ل منبع برنامه تحل ل منبع برنامه از روشهاي شناخته شده براي استخراج اطلاعات برنامه با استفاده از منبع اصل برنامه و ا فا ل به منظور اعمال به نه سازي و اش ال زدا ي از نرم افزار استفاده م شود اجرا ي آن م باشد عمدتا از ا ن تكن در ادامه از واژه پروفا لر براي اشاره به ا ن عمل ات استفاده خواهد شد غالبا روشهاي مختلف تحل ل منبع برنامه را م توان به دو دسته تحل ل منبع ا ستا و تحل ل منبع پو ا دستهبندي نمود در ادامه ا ن بخش ا ن دو دسته به تفص ل مورد بررس قرار م گ رند تحل ل منبع ا ستا تحل ل منبع ا ستا بدون اجراي برنامه تحت بررس تحل ل خود را به انجام م رساند و براي تمام حالات برنامه صادق است مهمتر ن و ژگ مثبت ا ن روش بي ع ب بودن و تول د محافظه كارانه خروج تحل ل م باشد محافظه كارانه تحل ل كل تر در حالت كه درست آن تضم ن شده تر باشد برگردانده شود به بودن به ا ن معن است كه مم ن است متغ ر را ب ن تا تضم ن كند خروج را به صورت متغ ر عنوان مثال اگر تحل ل انجام گرفته نتواند مقدار عدد مثبت است تغ ر م دهد ا ن روند م تواند تا جا ي پ ش رود كه حت خروج بدون استفاده شود مثلا عبارت عدد است برگردانده شود بي ع ب بودن ن ز به ا ن معنا است كه خروج براي تمام حالات و اجراهاي متغ ر مختلف برنامه درست و صادق م باشد به منظور رس دن به ا ن هدف تحل ل ا ستا عمدتا نسبت به ا جاد مدل انتزاع برنامه تحت بررس اقدام م كند درخت دو نمونه از مدلها ي هستند كه در تحل ل ا ستا به به وفور مورد استفاده قرار و گراف جر ان كنترل نحو انتزاع م گ رند ا ن مدلها ملزم به تحل ل كل ه قسمتهاي برنامه م باشند و هم ن مورد منجر به پ چ ده شدن و زمانبر شدن تحل ل برنامه م شود ۴ اگرچه م توان با كل تر نمودن خروج از سط پ چ دگ تحل ل كاست اما ا ن انتخاب منجر Source Code Analysis Abstract Syntax Tree AST Control Flow Graph

عبدالرضا ميرزايي، علي جان نثاري

شادرخ سماوي،نادر كريمي