محاسبه قابلیت اطمینان مولفههای ساختاری الگوی طراحی MVC با استفاده از شبکه پتری رنگی

امروزه یکی از چالشهای مهندسین نرمافزار، توسعه و ارتقاء محصولات نرمافزاری است، بطوری که بتوانند نیازهای سیستم را برآورده و با اندک هزینه و زمان ، سیستمی مطمئنی در اختیار مشتریان قرار دهند. یکی از مهمترین صفات کیفیتی یک سیستم نرمافزاری، قابلیت اطمینان است، که با ارزیابی آن در مراحل اولیه ی توسعه، معمار قادر است مولفههای بحرانی را پیشبینی کند. در این مقاله ساختار الگوی معماری MVC ، که یکی از الگوهای پرکاربرد و شناخته شده است را به کمک کارتهای CRC و نمودار مولفه از زبان مدلسازی یکنواخت، توصیف کرده و پارامترهای قابلیت اطمینان به صورت کلیشه و برچسب به آن حاشیهنویسی میشود . سپس با استفاده از شبکه پتری رنگی، مدل واقعی به مدل اجرایی تبدیل شده و قابلیتاطمینان برای هر یک از مولفههای این الگو محاسبه میگردد

کلیدواژه ها:

الگوی معماری MVC قابلیت اطمینان ، شبکه پتری رنگی ، نمودار مولفه ، کارت CRC