مشخصات کتاب

Testmethoden für sequentielle und nebenläufige Software-Systeme

ویرایش:  
نویسندگان: Eike Hagen Riedemann  
سری:  
ISBN (شابک) : 3519022745, 9783519022749 
ناشر:  
سال نشر:  
تعداد صفحات: 508 
زبان: German 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت 

در صورت تبدیل فایل کتاب Testmethoden für sequentielle und nebenläufige Software-Systeme به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب روش های تست برای سیستم های نرم افزاری متوالی و همزمان نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب روش های تست برای سیستم های نرم افزاری متوالی و همزمان

استانداردهای مدیریت کیفیت و تضمین کیفیت برای توسعه، تحویل و نگهداری نرم افزار (به عنوان مثال DIN ISO 9000-3) و یک مدل بلوغ پنج مرحله ای برای ارزیابی فرآیند توسعه یک سازمان چندین سال است که وجود دارد. از آن زمان، بسیاری از شرکت‌ها و بخش‌های نرم‌افزار استانداردهای توسعه مطابق با استانداردهای خود را تأیید کرده‌اند. با این وجود، جهش قابل توجهی در کیفیت و رهایی از خطاهای محصولات نرم افزاری وجود نداشته است. این عمدتا به این دلیل است که DIN ذکر شده در بالا فقط بر کیفیت فرآیند توسعه تمرکز دارد و نه کیفیت محصولات ایجاد شده، و بیشتر موسسات هنوز به دو سطح بالای مدل بلوغ نرسیده اند که در آن کمی و ویژگی های کیفی محصول برای اولین بار اندازه گیری می شود. بنابراین، این کتاب بر تأیید ویژگی‌های محصول مربوطه تمرکز دارد. اچ. روش ها و رویه هایی ارائه شده است که می تواند انحرافات (خطاها) را کشف و حذف کند. مفاهیم اساسی با مسائل مربوطه ایجاد می شوند که عمدتاً به طور رسمی به زبان محاوره ای و با کمک مثال ها و تصاویر توضیح داده شده اند. علاوه بر این، اطلاعاتی در مورد مزایا و معایب (هزینه‌ها و مزایا) روش‌های آزمایشی ارائه می‌شود، الگوریتم‌های احتمالی ارائه می‌شوند و خواص روش‌ها در صورت امکان در چارچوب داده‌شده اثبات می‌شود، در غیر این صورت به منابع مناسب مراجعه می‌شود.

توضیحاتی درمورد کتاب به خارجی

Seit einigen Jahren gibt es Qualitätsmanagement- und Qualitätssicherungsnormen für die Entwicklung, Lieferung und Wartung von Software (z. B. DIN ISO 9000-3) und ein fünfstufiges Reifegradmodell zur Bewertung des Entwicklungsprozesses einer Institution. Viele Software-Firmen und -Abteilungen haben sich seitdem ihren norm­ gerechten Entwicklungsstandard zertifizieren lassen. Dennoch hat es keinen bemer­ kenswerten Sprung in der Qualität und Fehlerfreiheit der Softwareprodukte gegeben. Dies liegt vor allem daran, daß die oben zitierte DIN nur die Qualität des Entwick­ lungsprozesses und nicht die Qualität der erstellten Produkte im Auge hat und daß die meisten Institutionen noch nicht die beiden obersten Stufen des Reifegradmodells erreicht haben, bei denen erstmals quantitative und qualitative Produkteigenschaf­ ten betrachtet werden. Daher konzentriert sich dieses Buch auf die Überprüfung entsprechender Produkt­ eigenschaften, d. h. es werden Methoden und Verfahren vorgestellt, die Abweichun­ gen (Fehler) aufdecken und beseitigen können. Die grundlegenden Konzepte werden durch entsprechende Problemstellungen motiviert, meistens formal definiert und um­ gangssprachlich und anhand von Beispielen und Abbildungen erläutert. Außerdem werden Angaben zu Vor- und Nachteilen (Kosten und Nutzen) der Testmethoden gemacht, mögliche Algorithmen werden vorgestellt und Eigenschaften der Verfahren werden bewiesen, wenn das im gegebenen Rahmen möglich ist, ansonsten wird auf entsprechende Quellen verwiesen.

فهرست مطالب

Front Matter....Pages 1-13
Front Matter....Pages 15-15
Beispiele für den Programmtest....Pages 17-20
Grundlegende Problemstellungen und Lösungsansätze....Pages 21-46
Qualitätsmanagement-, Prüf- und Testmethoden im Überblick....Pages 47-69
Front Matter....Pages 71-73
Datenbereichsbezogenes und funktionsbezogenes Testen....Pages 74-112
Testen von Reihenfolgebedingungen und algebraischen Spezifikationen....Pages 113-137
Bewertung des spezifikationsorientierten Testens....Pages 138-182
Front Matter....Pages 185-187
Kontrollflußbezogenes Testen....Pages 188-211
Datenflußbezogenes Testen....Pages 212-228
Ausdrucks-, anweisungs- und datenbezogenes Testen....Pages 229-250
Bewertung der implementationsorientierten Testkriterien....Pages 251-273
Testdatenerzeugung und Testwirksamkeitsmessung....Pages 274-294
Front Matter....Pages 297-299
Statische Analyse und symbolische Ausführung....Pages 300-341
Testen „im Großen“....Pages 342-377
Testen nebenläufiger Systeme....Pages 378-416
Fehlerlokalisierung und -korrektur....Pages 417-438
Management des Testens und Prüfens....Pages 439-462
Zusammenfassung und Ausblick....Pages 463-466
Back Matter....Pages 467-512

نظرات کاربران

کتاب های تصادفی

دانلود کتاب EU Criminal Law and Justice (Elgar European Law)

دانلود کتاب Key Elements in Polymers for Engineers and Chemists.. From Data to Applications

دانلود کتاب No Vision All Drive: What I Learned from My First Company

دانلود کتاب Making Eden: how plants transformed a barren planet

دانلود کتاب Secondary Biology. Student book. Form Four