سنجش آزمون برنامههای واکنشی با رویکرد نمودارهای حالت
Publish Year: 1384
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 1,262
This Paper With 9 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ICIKT02_070
تاریخ نمایه سازی: 12 دی 1386
Abstract:
یکی از رویکردهایی که برای آزمون برنامههای واکنشی مورد استقبال واقع شده است، وارسی حین اجرای آنهاست . اما در ارائه هر روش آزمون باید به سنجش نتایج آزمون برنامه پرداخت تا بتوان در باره درستی نتیجه آزمون قضاوت کرد . به این منظور،در این مقاله ابتدا نیازهای برنامههای واکنشی را با منطق زمانی بیان میکنیم و سپس با استفاده از نمودارهای حالت، به ارزیابی نتایج آزمون این نیازها در زمان اجرای برنامه میپردازیم . در این رابطه، وارسی درستی دو ویژگی از پروتکل ارتباطی CBCAST را نشان میدهیم
Keywords:
آزمون ایستا - آزمون پویا - وارسی حین اجرا - سنجش آزمون - نرمافزار واکنشی
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :