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

چكيده

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

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

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

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

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

• تكامل آرايـش

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

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

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