سنجش آزمون برنامههای واکنشی با رویکرد نمودارهای حالت

سال انتشار: 1384
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 1,252

فایل این مقاله در 9 صفحه با فرمت PDF قابل دریافت می باشد

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:

شناسه ملی سند علمی:

ICIKT02_070

تاریخ نمایه سازی: 12 دی 1386

چکیده مقاله:

یکی از رویکردهایی که برای آزمون برنامههای واکنشی مورد استقبال واقع شده است، وارسی حین اجرای آنهاست . اما در ارائه هر روش آزمون باید به سنجش نتایج آزمون برنامه پرداخت تا بتوان در باره درستی نتیجه آزمون قضاوت کرد . به این منظور،در این مقاله ابتدا نیازهای برنامههای واکنشی را با منطق زمانی بیان میکنیم و سپس با استفاده از نمودارهای حالت، به ارزیابی نتایج آزمون این نیازها در زمان اجرای برنامه میپردازیم . در این رابطه، وارسی درستی دو ویژگی از پروتکل ارتباطی CBCAST را نشان میدهیم

کلیدواژه ها:

آزمون ایستا - آزمون پویا - وارسی حین اجرا - سنجش آزمون - نرمافزار واکنشی

مراجع و منابع این مقاله:

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