کیفیت طراحی معماری یک سیستم نرم افزاری تاثیر بسزایی در دستیابی به نیازمندی های غیرعملیاتی یک سیستم دارد. با گسترش استفاده از نمودارهای زبان مدلسازی یکپارچه برای توصیف معماری نرم افزار و اهمیت ارزیابی نیازمندیهای غیرعملیاتی در سطح معماری، ایجاد مدلی قابل اجرا از این نمودارها در مراحل آغازین طراحی و فرآیند توسعه ضروری است. از آنجایی که اشکالات کارایی بایستی در همان مراحل ابتدایی فرآیند تولید نرم افزار شناسایی شوند نیاز به ارزیابی و تحلیل این ویژگی در مرحله طراحی معماری به وجود م یآید. یک راه حل برای این مسئله استفاده از یک مدل قابل اجرا است. با استفاده از شبکه های پتری رنگی وتحلیل بازخورد قبل از مرحله پیاده سازی می توان قابلیت اطمینان سیستم ATM را محاسبه کرد، ارزیابی مدل رسمی در این تحقیق، با ابزار CPN Tools انجام می شود. نتایج موردی نشان می دهد رویکرد پیشنهادی، قابلیت اطمینان سیستم ATM را در سطح معماری نرم افزار قبل از پیاده سازی بهبود می بخشد.
واژگان کلیدی: ارزیابی قابلیت اطمینان، زبان مدلسازی یکپارچه، شبکه های پتری رنگی ، CPN TOOLS، CPN Modele
حداقل اشتراک | محتویات | زمان ایجاد | حجم فایل | تعداد دانلودها |
یک ماهه (VIP) | سه شنبه, 10 شهریور 1394 09:40 | 647.83 KB | 0 |
تنها کاربران عضو یا دارای مجوز میتوانند دانلود نمایند |