دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Testen, Analysieren und Verifizieren von Software: Arbeitskreis Testen, Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering der GI Proceedings der Treffen in Benthe und Bochum, Juni 1991 und Februar 1992
دانلود کتاب تست، تجزیه و تحلیل و تأیید نرم افزار: نرم افزار تست، تجزیه و تحلیل و تأیید گروه کاری بخش مهندسی نرم افزار مجموعه مقالات GI جلسات در بنته و بوخوم، ژوئن 1991 و فوریه 1992
مشخصات کتاب
Testen, Analysieren und Verifizieren von Software: Arbeitskreis Testen, Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering der GI Proceedings der Treffen in Benthe und Bochum, Juni 1991 und Februar 1992
ویرایش: 1 نویسندگان: Peter Liggesmeyer (auth.), Peter Liggesmeyer, Harry M. Sneed, Andreas Spillner (eds.) سری: Informatik aktuell ISBN (شابک) : 9783540558606, 9783642777479 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1992 تعداد صفحات: 193 زبان: German-English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 12 مگابایت
قیمت کتاب (تومان) : 43,000
کلمات کلیدی مربوط به کتاب تست، تجزیه و تحلیل و تأیید نرم افزار: نرم افزار تست، تجزیه و تحلیل و تأیید گروه کاری بخش مهندسی نرم افزار مجموعه مقالات GI جلسات در بنته و بوخوم، ژوئن 1991 و فوریه 1992: مهندسی نرم افزار/برنامه نویسی و سیستم عامل
در صورت تبدیل فایل کتاب Testen, Analysieren und Verifizieren von Software: Arbeitskreis Testen, Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering der GI Proceedings der Treffen in Benthe und Bochum, Juni 1991 und Februar 1992 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تست، تجزیه و تحلیل و تأیید نرم افزار: نرم افزار تست، تجزیه و تحلیل و تأیید گروه کاری بخش مهندسی نرم افزار مجموعه مقالات GI جلسات در بنته و بوخوم، ژوئن 1991 و فوریه 1992 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
Front Matter....Pages I-VIII
Testen, Analysieren und Verifizieren von Software — eine klassifizierende Übersicht der Verfahren....Pages 1-25
Klassifikation von Software-Testmethoden....Pages 26-34
Zur Formalisierung von Testkonzepten....Pages 35-44
The MicroTest Integrated Test Environment....Pages 45-56
Methoden und Werkzeuge zur Automatisierung des Software-Tests....Pages 57-69
TESTSCOPE — ein Werkzeug für den Modul- und Integrationstest....Pages 70-80
Der Software-Analyse-Baukasten — Ein Bericht aus der universitären Ausbildung....Pages 81-90
Testmethoden und Testdatengewinnung für den Integrationstest modularer Softwaresysteme....Pages 91-101
Abnahmetest großer Systeme — Methoden, Organisation und Werkzeuge....Pages 102-110
Testen in der Wartungsphase Erfahrungen im Bereich des Regressionstests....Pages 111-118
Testen paralleler Betriebssysteme....Pages 119-129
Ein Vorschlag zum Testen strukturierter algebraischer Spezifikationen....Pages 130-142
Ein stochastisches Fehlermodell zur Kommunikation....Pages 143-154
Validation und Verifikation von Software durch symbolische Ausführung....Pages 155-167
Test Activities for Object-Oriented Software Development....Pages 168-176
Ein experimentelles Testsystem für die Sprache HyperTalk....Pages 177-186
