راستی آزمایی زمان اجرای سیستم سرویس گرای حساس به ایمنی به کمک asm

گرایش به سمت استفاده از سیستم های سرویس گرا رو به افزایش است؛ اگرچه ذات بسیار پویای این سیستم ها فرایند راستی آزمایی آنها را در عمل با مشکلات زیادی روبه رو کرده است. راستی آزمایی زمان اجرا اگرچه بیشتر به منظور استفاده در سیستم های حساس به ایمنی طراحی شده است، اما می توان از آن به عنوان روشی جدید در فرایند راستی آزمایی سیستم های سرویس گرا هم بهره برد. در این پروژه فرایند راستی آزمایی زمان اجرای سیستم سرویس گرای حساس به ایمنی به کمک زبان توصیفی asm شرح داده شده است. بدین منظور ابتدا سرویس های سیستم نمونه بر اساس نیازهای کاربر استخراج شده و مطابق با جریانِ کارِ مورد نظر او ارتباطات آنها مشخص می شود. سپس هر یک از این سرویس ها به صورت جداگانه به زبان asm توصیف شده و در هر مورد نیز ارتباط آن با دیگر سرویس ها تعیین می شود. پس از آن که توصیف سیستم به زبان asm مهیا شد، با استفاده از میان افزار padres که بر اساس ساختار شبکه ای توزیع شده با الگوی ناشر/مشترک طراحی شده است، مدل سرویس گرا به صورت انتزاعی پیاده سازی می شود. هر یک سرویس ها روی یکی از عامل های اصلی padres یعنی ناشر و مشترک، نگاشت می شود و آنگاه ویژگی های مورد نظر توسط ناظرهای از پیش تعریف شده و بر اساس قیود و توصیفات asm، وارسی می شوند. قیود مورد نیاز سیستم می تواند در دوسطح حالات سرویس ها و یا داده های تبادلی بین سرویس ها تعریف شود. نتایج اجرای عملی مدل پیشنهادی نشان می دهد که ساختار پویای شبک? ناشر/مشترک منطبق با معماری سرویس گرا می باشد و اضافه و کم کردن ناظرها (و به طور کلی سرویس ها) توسط کاربر به سادگی امکان پذیر است. از نظر کارایی، این مدل زمان یافتن نقض قیود را تغییری نمی دهد هر چند که تعداد سرویس ها به طور قابل توجهی افزایش یافته باشد. با این حال padres مشکل استفاد? از حافظه بدون آزاد کردن آن را دارد که طراح را مجبور می کند تا به طور دقیقی تعداد کاربران را روی یک ماشین فیزیکی بر اساس میزان حافظ? در دسترس آن مشخص نماید.