در سند تلاش برای ارائه مجموعه ای از تجزیه و تحلیل برنامه و تحولات اجرا در جاوا به دلخواه و انطباق برنامه های جاوا است. سند در نظر گرفته شده به عنوان یک چتر برای خدمت:
* * * * شخص تجزیه و تحلیل مانند نقاط به تجزیه و تحلیل، تجزیه و تحلیل فرار، و تجزیه و تحلیل وابستگی،
* * * * تحولات مانند برش برنامه و تخصص برنامه از طریق ارزیابی نسبی، و
* * * * هر ماژول نرم افزار ارائه می شود که تجزیه و تحلیل / تحولات به یک کاربرد خاص مانند باندرا و یا پلت فرم مانند گرفتگی.
در حال حاضر، 3 ماژول های که بخشی از سند وجود دارد. ماژول های بیشتر انتظار می رود که در طول زمان اضافه شود. ما با ارائه یک نمای کلی از هدف هر ماژول که در دسترس در حال حاضر می باشد.
سند یک ماژول است که در خانه های مربوط به اجرای الگوریتمها و ساختار دادهها مشترک به تجزیه و تحلیل و تحولات است که بخشی از برنامه ریزی و یا بخشی از سند است. این ماژول شامل تعریف رابط مشترک به تجزیه و تحلیل ترین و تحولات به ارائه یک چارچوب که در آن پیاده سازی های مختلف از تجزیه و تحلیل / تحولات می تواند در ترکیب به شکل سیستم با سهولت. از این رو، این ماژول به روز شده است زمانی که یک نوع جدید از تجزیه و تحلیل / تحول است به عنوان یک ماژول در سند اجرا شده است. با این حال، اجرای جدیدی از تجزیه و تحلیل / تحول این ماژول تاثیر نمی گذارد آن را به عنوان یک رابط های موجود را اجرا نماید.
ماژول StaticAnalyses نظر گرفته شده است به مجموعه ای از شخص تجزیه و تحلیل مانند تجزیه و تحلیل شی جریان، تجزیه و تحلیل فرار، و تجزیه و تحلیل وابستگی. تجزیه و تحلیل در این ماژول استفاده رابط های معمول و پیاده سازی از سند و ممکن است تعیین کند / ارائه رابط جدید / پیاده سازی خاص به تجزیه و تحلیل جدید. تحلیلهای موجود در زیر ذکر شده است.
* تجزیه و تحلیل شی جریان (OFA) امتیاز به تجزیه و تحلیل برای جاوا است. هر سایت تخصیص در سیستم تجزیه و تحلیل قرار است به عنوان یک شی انتزاعی درمان و جریان خود را از طریق سیستم ردیابی است برای پی بردن به نوع ممکن گیرنده در یک تماس در محل برای فعال کردن ساخت و ساز از یک دقیق تماس گراف. دقت تجزیه و تحلیل را می توان در شرایط جریان حساسیت برای متغیرهای محلی و روش شی حساسیت برای زمینه به عنوان مثال متفاوت بود.
* * * * فرار تحلیل اجرای طولانی تجزیه و تحلیل فرار توسط RUF به منظور دخالت هرس و لبه وابستگی آماده پیشنهاد شده است. پسوند به صورت علاوه بر بدون درز از ارزش ارزی به تجزیه و تحلیل برای بهبود تشخیص درست متناقض هستند بار خوانده شده / می نویسد در موضوعات مختلف اتفاق می افتد فراتر از استفاده از نوع برابری مقدماتی از عبارات دسترسی داشته باشید. تجزیه و تحلیل همچنین از اطلاعات شی جریان orthogonally برای بهبود بیشتر دقت.
* * * * تجزیه و تحلیل وابستگی مجموعه ای از وابستگی است تجزیه و تحلیل: کنترل بر ورود، کنترل مبتنی بر خروج، داده های مبتنی بر شناسه، داده های مبتنی بر مرجع، تداخل، آماده، هماهنگ سازی و اختلاف، مورد نیاز تجزیه و تحلیل / تحولات مانند برش برنامه و ارزیابی جزئی . تداخل و وابستگی آماده تجزیه و تحلیل بستگی به تجزیه و تحلیل فرار قبلی در حالی که داده های مبتنی بر مرجع و وابستگی هماهنگ سازی تجزیه و تحلیل وابسته به اطلاعات شی جریان و اطلاعات تماس گراف محاسبه می شود. برخی از تحلیل سطح از دقت که می تواند از طریق یک رابط به خوبی تعریف شده متفاوت مختلف است.
* * * * عوارض جانبی سطح تجزیه و تحلیل اطلاعات روش عوارض جانبی را فراهم می کند. کاربر می تواند پرس و جو اگر هر کدام از استدلال / پارامترها را به تماس سایت / روش خواهد شد یا به طور مستقیم (اعضای) یا غیر مستقیم تحت تاثیر قرار (به صورت بازگشتی اعضای قابل دسترسی). به طور مشابه، کاربر می تواند یک مسیر دسترسی به داده ها ریشه در استدلال / پارامترها را به تماس سایت / روش و پرس و جو را فراهم اگر نقطه پایان از مسیر دسترسی به داده ها توسط تماس / روش تحت تاثیر قرار.
* * * * مانیتور Anlaysis تجزیه و تحلیل ساده که مانیتور / اطلاعات گراف قفل برای سیستم فراهم می کند داده شده است.
* تجزیه و تحلیل قفل امن تجزیه و تحلیل است که محافظه کارانه می یابد اگر یک قفل (مانیتور) به طور نامحدود خواهد برگزار نمی شود. این اطلاعات در رابطه با dependences زمانی steming برای Object.wait () و Object.notify () / Object.notifyAll () آن را به عنوان در وابستگی آماده انجام استفاده می شود.
* تجزیه و تحلیل اطلاعات در مورد اتمی اتمی در سیستم داده شده فراهم می کند. پیاده سازی فعلی متکی بر تجزیه و تحلیل فرار به پیش بینی اگر بیانیه ای را می توان اتمی اعدام شد. این اطلاعات مورد استفاده برای شناسایی منطقه اتمی کد. این اطلاعات در برنامه های کاربردی مانند مدل چک کردن به منظور کاهش اندازه فضای حالت مفید است، از این رو، بهبود عملکرد.
برخی از تحلیل ممکن است به اندازه کافی بزرگ را تشکیل می دهند ماژول خود به خود و از جمله تجزیه و تحلیل خواهد شد به جای اینکه مصرف شده توسط این ماژول به میزبانی ماژول های مختلف در سند.
ماژول برنامه جاوا برش شامل اجرای هسته برنامه های جاوا برش همراه با آداپتورهای آنان که ارائه برش در برنامه های کاربردی دیگر مانند باندرا و گرفتگی. پیاده سازی شده است به عنوان یک کتابخانه و نه به عنوان یک برنامه کاربردی برای تسهیل استفاده مجدد از subparts آن معماری. هسته مستقل از نرم افزار است. نیاز هر برنامه از تکه را می توان با برنامه نویسی تا پیاده سازی از رابط های پس از پردازش و قلاب در این پیاده سازی به شکل یک برش سفارشی راضی است.
این ماژول به شدت متکی بر اطلاعات ارائه شده توسط وابستگی به تجزیه و تحلیل و همچنین تماس گراف های OFA از طریق رابط به خوبی تعریف شده است که پیاده سازی خارجی به برش مورد استفاده قرار گیرد را قادر می سازد ارائه شده است.
این اجرای برش تحویل به گرفتگی با UI بصری از طریق پلاگین Kaveri.
ویژگی ها: O
نسل تکه عقب مانده و به جلو. برش کامل (اتحادیه به عقب و رو به جلو
برش با شروع از معیارهای تکه همان) را می توان تولید می شود.
* پشتیبانی از به residualize (مناسب) برش را به فایل های اجرایی کلاس.
* پشتیبانی از برش بافت حساس به طریق زمینه غنی مشخصات معیارهای تکه.
* پشتیبانی از برای محدود کردن تکه به بخش خاصی از سیستم های مشخصات دامنه.
* پشتیبانی از به مرتب معیارهای تکه، تنظیمات دستگاه برش، برش و.
تمام ماژول در کار پروژه سند در Jimple، نمایندگی میانی جاوا، توسط ابزار دوده از گروه رنگ سیاه در دانشگاه مک گیل ارائه شده است. هر ماژول در این پروژه به عنوان یک یا چند پلاگین گرفتگی در معرض اگر اطلاعات ارائه شده از طریق یک رابط کاربر گرافیکی به کاربر مفید و قابل مصرف برای کاربر است.
نرم افزار فلسفه مهندسی
هر ماژول در این پروژه فقط از طریق قابلیت های مورد نیاز رابط به خوبی تعریف شده است که می تواند اجرا شود به جمع آوری یک سیستم سفارشی با پسوند مناسب که تحقق نیاز خاص فراهم می کند. به عنوان رابط است که به وضوح از اجرای جدا، هر اجرای خارجی فراهم می کند که رابط مورد نیاز را می توان یکپارچه با ماژول از این پروژه استفاده می شود.
زمینه
اجرای بسیاری از تجزیه و تحلیل های مورد نیاز از برنامه های جاوا برش مورد نیاز باندرا رانده شد. با این حال، به عنوان برش برنامه می تواند خارج باندرا استفاده می شود و تجزیه و تحلیل می تواند مورد استفاده قرار گیرد برای فعال کردن تحولات دیگر مانند تخصص برنامه از طریق ارزیابی جزئی، ما تجزیه و تحلیل و تحولات را به یک پروژه جدید به نام سند نقل مکان کرد.
نظر یافت نشد