دانلود کتاب Verification, Validation and Testing in Software Engineering
49,000 تومان
تایید، اعتبار سنجی و تست در مهندسی نرم افزار
| موضوع اصلی | فن آوری |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | IGI Global |
| تعداد صفحه | 428 |
| حجم فایل | 8 مگابایت |
| کد کتاب | 1591408512,9781591408512,9781591408536 |
| نوبت چاپ | 1 |
| نویسنده | Aristides Dasso, Aristides Dasso; Ana Funes |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2006 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
تایید، اعتبار سنجی و تست در مهندسی نرم افزار
اعتبارسنجی و راستیآزمایی حوزهای از مهندسی نرمافزار است که از مراحل اولیه توسعه برنامه، بهویژه یکی از حوزههای شناختهشدهتر آن: آزمایش، وجود داشته است. تست، سمت پویا اعتبار سنجی و تأیید (V&V)، با سایر تکنیکهای رسمیتر مهندسی نرمافزار تکمیل شده است، و بنابراین تأیید استاتیک سنتی در روشهای رسمی با بررسی مدل و تکنیکهای دیگر ملحق شده است. تأیید، اعتبار سنجی و آزمایش در مهندسی نرم افزار پوشش کامل بسیاری از تکنیک های رسمی و نیمه رسمی ارزشمند V&V را ارائه می دهد. این برنامه نمونههایی از برنامههای کاربردی مختلف در V&V را بررسی میکند، به تصویر میکشد، و نمونههایی از برنامههای کاربردی مختلف را ارائه میکند که زمینههای زیادی از توسعه نرمافزار را تولید میکنند، از جمله برنامههای کاربردی بلادرنگ که در آن تکنیکهای V&V مورد نیاز است.
Validation and verification is an area of software engineering that has been around since the early stages of program development, especially one of its more known areas: testing. Testing, the dynamic side of validation and verification (V&V), has been complemented with other, more formal techniques of software engineering, and so the static verification traditional in formal methods has been joined by model checking and other techniques. Verification, Validation and Testing in Software Engineering offers thorough coverage of many valuable formal and semiformal techniques of V&V. It explores, depicts, and provides examples of different applications in V&V that produce many areas of software development including real-time applications where V&V techniques are required.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.