دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Software-Qualität: Testen, Analysieren und Verifizieren von Software (2. Auflage German Edition)
دانلود کتاب کیفیت نرم افزار: نرم افزار تست، تجزیه و تحلیل و تأیید (نسخه دوم آلمانی)
مشخصات کتاب
Software-Qualität: Testen, Analysieren und Verifizieren von Software (2. Auflage German Edition)
ویرایش: 2. Aufl.
نویسندگان: Peter Liggesmeyer
سری:
ISBN (شابک) : 9783827420565, 3827420563
ناشر:
سال نشر: 2009
تعداد صفحات: 542
زبان: German
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 9 مگابایت
قیمت کتاب (تومان) : 40,000
در صورت تبدیل فایل کتاب Software-Qualität: Testen, Analysieren und Verifizieren von Software (2. Auflage German Edition) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب کیفیت نرم افزار: نرم افزار تست، تجزیه و تحلیل و تأیید (نسخه دوم آلمانی) نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب کیفیت نرم افزار: نرم افزار تست، تجزیه و تحلیل و تأیید (نسخه دوم آلمانی)
این کتاب وضعیت فعلی دانش در مورد تکنیک ها، روش ها، اصول و جنبه های سازمانی تضمین کیفیت نرم افزار را تقریباً به طور کامل ارائه می دهد.تکنیک های تست، تجزیه و تحلیل استاتیک خودکار، اندازه گیری نرم افزار، تکنیک های بازبینی و بازرسی، روش های رسمی تست ها، تکنیک های تست شی گرا و نرم افزارهای تعبیه شده و همچنین استراتژی های تست، فرآیندهای تست و ابزار. این کتاب به طور مساوی برای پزشکان و همچنین اساتید و دانشجویان علوم کامپیوتر طراحی شده است. می توان آن را «از جلو به عقب» خواند یا به عنوان یک کتاب مرجع استفاده کرد. هر فصل یک «کتاب کوچک» خود توضیحی است. همیشه با خلاصه‌ای از محتوا برای جهت‌یابی شروع می‌شود و با یک ارزیابی و یک چک لیست پایان می‌یابد که نکات عملی را به‌ویژه برای پزشک ارائه می‌دهد. ویرایش دوم به طور کامل اصلاح و به روز شده است. فصل جدیدی در مورد تست مبتنی بر مدل اضافه شده است.
توضیحاتی درمورد کتاب به خارجی
Dieses Buch stellt den aktuellen Wissensstand ?ber die Techniken, Methoden, Prinzipien und organisatorischen Aspekte der Software-Qualit?tssicherung nahezu l?ckenlos dar. Beschrieben werden Testtechniken, automatische statische Analysen, die Software-Messung, Review- und Inspektionstechniken, formale Ans?tze, Techniken zur ?berpr?fung objektorientierter und eingebetteter Software sowie Pr?fstrategien, Pr?fprozesse und Werkzeuge. Das Buch richtet sich gleicherma?en an Praktiker sowie an Informatik-Dozenten und -Studierende. Es kann „von vorn nach hinten" gelesen werden oder als Nachschlagewerk dienen. Jedes Kapitel ist ein allein verst?ndliches „kleines Buch f?r sich". Es beginnt jeweils mit einer kurzen Inhaltsangabe zur Orientierung und schlie?t mit einer Bewertung und einer Checkliste, die insbesondere dem Praktiker Umsetzungshinweise gibt. Die 2. Auflage ist vollst?ndig durchgesehen und aktualisiert. Neu aufgenommen wurde ein Kapitel zu modellbasierten Tests.
فهرست مطالب
Front Matter....Pages I-XV
Einführung....Pages 1-48
Funktionsorientierter Test....Pages 49-81
Kontrollflussorientierter, strukturorientierter Test....Pages 83-139
Datenflussorientierter, strukturorientierter Test....Pages 141-178
Spezielle dynamische Testtechniken....Pages 179-214
Modellbasiertes Testen....Pages 215-230
Software-Messung....Pages 231-268
Werkzeugunterstützte statische Codeanalyse....Pages 269-304
Software-Inspektionen und Reviews....Pages 305-319
Formale Techniken: Symbolischer Test und formaler Korrektheitsbeweis....Pages 321-360
Prozesse und Prüfstrategien....Pages 361-389
Werkzeuge....Pages 391-405
Prüfen von objektorientierter Software....Pages 407-438
Prüfen von eingebetteter Software....Pages 439-479
Ein Praxisleitfaden....Pages 481-491
Back Matter....Pages 493-526
