دانلود کتاب Verification, Validation and Testing in Software Engineering

Name: Verification, Validation and Testing in Software Engineering
Availability: InStock
Author: Aristides Dasso
ISBN: 1591408512, 9781591408512, 9781591408536

by Aristides Dasso, Aristides Dasso

عنوان فارسی: تایید، اعتبار سنجی و تست مهندسی نرم افزار
ناشر: IGI Global
سال: 2006
ویرایش: 1
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 428-443
شابک: 1591408512, 9781591408512, 9781591408536
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 8.00 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

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.