خرید و دانلود نسخه کامل کتاب Formal Approaches to Software Testing: 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers
قیمت اصلی 169,000 تومان بود.94,000 تومانقیمت فعلی 94,000 تومان است.
تعداد فروش: 43
| عنوان فارسی |
رویکردهای رسمی به تست نرم افزار: چهارمین کارگاه بین المللی ، FATES 2004 ، لینز ، اتریش ، 21 سپتامبر 2004 ، بازبینی های منتخب |
|---|---|
| عنوان اصلی | Formal Approaches to Software Testing: 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers |
| ویرایش | 1 |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Lars Frantzen, Jan Tretmans, Tim A. C. Willemse (auth.), Jens Grabowski, Brian Nielsen (eds.) |
| ISBN | 354025109X, 9783540251095 |
| سال نشر | 2005 |
| زبان | English |
| تعداد صفحات | 233 |
| دسته | کنفرانس ها و همایش های بین المللی |
| فرمت کتاب | pdf – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 2 مگابایت |
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
آزمایش اغلب بیش از 50 درصد از انرژی مورد نیاز در طول توسعه سیستم را به خود اختصاص میدهد. چالش تحقیق تاریخ این هزینهها را با ارائه روشهای جدید برای مشخصات و تولید آزمونهای با کیفیت بالا کاهش میدهد. تجربه نشان داده است که استفاده از روشهای رسمی در آزمون، وسیله بسیار مهمی برای بهبود فرآیند تست است. روشهای رسمی امکان تحلیل و تفسیر مدلهای دقیق و ریاضی دقیق را فراهم میکنند. استفاده از روشهای رسمی فقط به مدلهای سیستم محدود نمیشود. مدلهای آزمایشی نیز ممکن است مورد بررسی قرار گیرند. تحلیل مدلهای سیستم امکان تولید مجموعههای آزمایشی کامل را به شیوهای سیستماتیک و احتمالاً خودکار فراهم میکند، در حالی که بررسی مدلهای آزمایشی امکان تشخیص خطاهای طراحی در مجموعههای آزمایشی و بهینهسازی آنها را با توجه به خوانایی یا تدوین و زمان اجرا فراهم میکند. با توجه به امکانات متعدد برای کاربرد آنها، روش های رسمی در سال های اخیر بیش از پیش رواج یافته اند. مجموعه کارگاه های آموزشی روش های رسمی در تست نرم افزار (FATES) نیز از محبوبیت روزافزون روش های رسمی سود می برد. پس از کارگاه های آموزشی در آلبورگ (دانمارک، 2001)، برنو (جمهوری چک، 2002) و مونترال (کانادا، 2003)، FATES 2004 در لینز (اتریش) چهارمین کارگاه آموزشی این مجموعه بود. مشابه کارگاه در سال 2003، FATES 2004 در ارتباط با کنفرانس IEEE/ACM در زمینه مهندسی نرم افزار خودکار (ASE 2004) سازماندهی شد. FATES 2004 41 ارسال دریافت کرد. هر ارسالی توسط حداقل سه بازبین مستقل از کمیته برنامه با کمک چند بازبین دیگر بررسی شد. بر اساس ارزیابی آنها، 14 مقاله کامل و یک مقاله در حال انجام از 11 کشور مختلف برای ارائه انتخاب شدند.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.