توصیف مبتنی بر رخداد (EBV) بر رویکردی برای ساخت خودکار راستی آزمای رفتار حین اجرای نرم افزارهای حساس به ایمنی

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