خرید و دانلود نسخه کامل کتاب Verification and Validation in Systems Engineering: Assessing UML/SysML Design Models

توضیحاتی در مورد کتاب



تأیید و اعتبار سنجی فرآیند مهمی را نشان می دهد که برای ارزیابی کیفیت سیستم های مهندسی شده و انطباق آنها با الزامات تعیین شده در آغاز یا در طول چرخه توسعه استفاده می شود.

دبابی و همکارانش در مورد آن تحقیق می کنند. روش‌ها و تکنیک‌هایی که می‌توانند برای تأیید و اعتبارسنجی خودکار مدل‌های طراحی مهندسی سیستم‌هایی که در زبان‌های مدل‌سازی استاندارد بیان شده‌اند، استفاده شوند. ارائه آنها شامل نمای پرنده ای از برجسته ترین زبان های مدل سازی برای نرم افزار و مهندسی سیستم است، یعنی زبان مدل سازی یکپارچه (UML) و زبان مدل سازی سیستم های اخیر (SysML). علاوه بر این، تعدادی از تکنیک‌های کمی و کیفی را توضیح می‌دهد که به طور هم‌افزایی تکنیک‌های تأیید خودکار، تجزیه و تحلیل برنامه و روش‌های کمی مهندسی نرم‌افزار قابل اجرا برای مدل‌های طراحی توصیف‌شده در این زبان‌های مدل‌سازی را ترکیب می‌کنند. هر یک از این تکنیک‌ها با استفاده از یک مطالعه موردی توضیح داده می‌شوند که فرآیند، نتایج آن و تغییرات ناشی از آن در طراحی سیستم را برجسته می‌کند.

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