سنجش آزمون برنامههای واکنشی با رویکرد نمودارهای حالت
محل انتشار: دومین کنفرانس بین المللی فناوری اطلاعات و دانش
سال انتشار: 1384
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 1,268
فایل این مقاله در 9 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ICIKT02_070
تاریخ نمایه سازی: 12 دی 1386
چکیده مقاله:
یکی از رویکردهایی که برای آزمون برنامههای واکنشی مورد استقبال واقع شده است، وارسی حین اجرای آنهاست . اما در ارائه هر روش آزمون باید به سنجش نتایج آزمون برنامه پرداخت تا بتوان در باره درستی نتیجه آزمون قضاوت کرد . به این منظور،در این مقاله ابتدا نیازهای برنامههای واکنشی را با منطق زمانی بیان میکنیم و سپس با استفاده از نمودارهای حالت، به ارزیابی نتایج آزمون این نیازها در زمان اجرای برنامه میپردازیم . در این رابطه، وارسی درستی دو ویژگی از پروتکل ارتباطی CBCAST را نشان میدهیم
کلیدواژه ها:
آزمون ایستا - آزمون پویا - وارسی حین اجرا - سنجش آزمون - نرمافزار واکنشی
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :