| نام کتاب : روش های صوری در مهندسی نرم افزار | |||
|
پدید آورنده :
دکتر محمد علی ترکمانی ناشر : سازمان چاپ و نشر ایران |
|||
| مجوز انتشار الکترونیکی : سازمان چاپ و نشر ایران - اپلیکیشن کتاب‌رسان | |||
| شابک : 9786004320252 | |||
| قیمت (نسخه الکترونیکی) : 32000 تومان | |||
| نوع فایل : PDF | تاریخ انتشار : 1399 | ||
| کلمات کلیدی : توسعه نرم افزار , مهندسی نرم افزار , روش های تست نرم افزار , نگهداری نرم افزار , روش های صوری | |||
| توضیحات بیشتر : چرخه توسعه نرم افزار از مرحله تحلیل نیازمندی ها آغاز می شود و نهایتا به مرحله تست و نگهداری ختم میشود. طی این چرخه مسائل مختلفی وجود دارد که ممکن است باعث شود نرم افزار فاقد قابلیت اطمینان باشد. یکی از این مسائل آن است که نیازمندی های مشتری به درستی توسط توسعه دهندگان درک نشود. مشکل دیگر به ماهیت روشهای تست مربوط میشود. روشهای تست فقط میتوانند به شما نشان دهند که چه خطاهایی در سیستم وجود دارد، ولی نمیتوانند تضمین کنند که خطایی در سیستم وجود نداشته باشد. به همین علت نرم افزارهای زیادی را میتوان نام برد که توسعه دهندگان آن از بهترین روشهای تست استفاده نموده اند، اما بعد از گذشت مدتی اشکالات زیادی در آنها مشاهده میشود. نمونه بارز این نرم افزارها سیستم عامل ویندوز است. | |||
