ارائه الگوریتمی جدید جهت تبدیل خودکار مدلهای معماری به مدلهای قابل شبیه سازی با استفاده از پردازه های حالت محدود
عنوان مقاله: ارائه الگوریتمی جدید جهت تبدیل خودکار مدلهای معماری به مدلهای قابل شبیه سازی با استفاده از پردازه های حالت محدود
شناسه ملی مقاله: PNUNCIT01_123
منتشر شده در اولین همایش ملی فناوری اطلاعات و شبکه های کامپیوتری دانشگاه پیام نور در سال 1391
شناسه ملی مقاله: PNUNCIT01_123
منتشر شده در اولین همایش ملی فناوری اطلاعات و شبکه های کامپیوتری دانشگاه پیام نور در سال 1391
مشخصات نویسندگان مقاله:
حسن قائدی - دانشگاه آزاد اسلامی واحد خورموج
محمود نعمه
خلاصه مقاله:
حسن قائدی - دانشگاه آزاد اسلامی واحد خورموج
محمود نعمه
مهندسی کارائی نرم افزار مجموعه ای ازفعالیت های مهندسی نرم افزار و تجزیه و تحلیلهای وابسته به آن را ارایه میکند که هدف آن شناسایی و پیش بینی مشکلات کارایی و نیز بهبود پارامترهای کارایی درمراحل اولیه فرایند توسعه نرم افزار است مدلهای صوری مختلفی مانند پردازه های حالتمحدود شبکه های پتری و شبکه های صف جهت مدلسازی یک سیستم توزیع شده پیشنهاد شده است توانایی ویژه یک مدل پیش گویی و تخمین ویژگیهای غیرعملیاتی یک سیستم قبل ازساخت آن میباشد یکی ازویژگیهای غیرعملیاتی کارایی است که میتوان آن را بر مبنای زمان پاسخ نهایی اندازه گیری نمود مشک لاصلی روشی است که توسط آن بتوان مدلهای نرم افزاری درسطح معماری رابه راحتی به مدلهای قابل شبیه سازی تبدیل کرد هدف ما ارایه روشی برای تبدیل خودکار نمودارهای توالی و استقرار یو - ام - ال یک نرم افزار توزیع شده به مدل پردازه های حالت محدود می باشد بطوریکه با استفاده ازیک ابزار شبیه سازی حالت گسسته بتوان شبیه سازی نرم افزار را انجام داد و پارامترهایی مانند زمان پاسخ نرم افزار را اندازه گیر ینمود.
کلمات کلیدی: مهندسی کارائی، سیستم های توزیع شده، پردازه های حالت محدود، شبیه سازی، ارزیابی کارائی
صفحه اختصاصی مقاله و دریافت فایل کامل: https://civilica.com/doc/195964/