پایش رفتار نرم افزار و تطبیق آن با نیازها در سیستم های مبتنی بر هدف

چکیده

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

مقدمه ای بر پایش رفتار نرم افزار

دراین مقاله در مورد پایش رفتار نرم افزار حـین اجـرای سیـستم از نیازمنـدی های مشخص شده در زمان توسعه بحـث مـی کنـیم. چنـین انحرافـی ممکن است به دلیل، غیر قابل پیش بینی بودن، رفتارهایی کـه عوامـل محیطی ممکن است بروز دهند، در هنگام تعیین مشخصات، یا شـرایط نتیجه شده از محیط، باشد.
فرایند مهندسی نیازمندی ها اغلب براساس مشخصاتی اسـت کـه به اندازه کافی مبتنی بر واقعیت نیستند، زیرا این مشخـصات در حـین اجرای سیستمی که آنها را پیاده سازی می کند، از زمانی به زمان دیگر نقض می شوند.دلایل این امر عبارتند از:

• عامـل هـای محیطـی

  ممکن است به نحوی رفتار کنند که در زمان تعیین نیازمندی هـا غیـر قابل پیش بینی و مدل کردن آنها ناممکن باشد.

• تکامل آرایـش

  شرایط محیطی بر اساس فرضیات ابتدایی می باشد، که ایـن فرضـیات، در ابتدا در محیط قابل پذیرش هستند، نه برای مـدت طـولانی. دو روش مکمل برای مدیریت نقض حین اجرای نیازمندی ها می توانند به صورت زیر مطرح شوند: پیش بینی نقض ها در زمان توصیف تا حداکثر ممکـن: موانـع بـر سـر راه تحقـق نیازمنـدی هـا، اهـداف، و فرضیات از طرح اولیه مشخصات به دست می آیند، بنابراین با شناسایی موانع، مشخصات مطمئن تری حاصل می شود.

در هنگام تحلیل موانع هزینه زیادی برای دست یابی به سیستمی مطمئن تحمل می شود و شناسایی کامل تمام موانع، غیرممکن اسـت.
از این گذشته تعیین مشخصات مطمئن، ممکن است برای پیاده سازی پرهزینه بوده و برای نرم افزار پیچیدگی غیر ضروری نتیجـه دهـد. پس، از پایش رفتار نرم افزار حین اجرا استفاده می کنیم. روش ما شامل سه مرحلـه مختلف است. در مرحله اول سیستم تحت توسعه را با روش مبتنـی بـر هدف KAOSتوصیف می نماییم، سپس ادعاهـایی کـه ممکـن اسـت نقض شوند شناسایی می شوند و از روی ایـن ادعـا هـا کـد پایـشگر را مشخص می کنیم.

کلمات کلیدی
توسعه مبتنی بر هدف، پایش حین اجرا، تطبیق نیازها.