Download Software-Qualität: Testen, Analysieren und Verifizieren von by Peter Liggesmeyer PDF

By Peter Liggesmeyer

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, evaluation- und Inspektionstechniken, formale Ansätze, Techniken zur Überprüfung objektorientierter und eingebetteter software program 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 assessments.

Show description

Read or Download Software-Qualität: Testen, Analysieren und Verifizieren von Software (German Edition) PDF

Similar software development books

Programming Language Design Concepts

Explains the suggestions underlying programming languages, and demonstrates how those innovations are synthesized within the significant paradigms: valuable, OO, concurrent, functional,  good judgment and with fresh scripting languages. It offers maximum prominence to the OO paradigm. contains quite a few examples utilizing C, Java and C++ as exmplar languages extra case-study languages: Python, Haskell, Prolog and Ada huge end-of-chapter routines with pattern options at the better half site Deepens research by way of studying the inducement of programming languages not only their positive factors

The Art of Software Thermal Management for Embedded Systems

This e-book introduces software program Thermal administration (STM) as a way of decreasing strength intake in a computing approach so that it will deal with warmth, enhance part reliability and elevate procedure safety. Readers will take advantage of this pragmatic advisor to the sphere of STM for embedded structures and its catalog of software program strength administration suggestions.

Hybrid Soft Computing Approaches: Research and Applications (Studies in Computational Intelligence)

The ebook presents a platform for facing the failings and failings of the tender computing paradigm via diverse manifestations. the several chapters spotlight the need of the hybrid smooth computing technique in most cases with emphasis on numerous software views specifically. ordinary examples comprise (a) learn of financial Load Dispatch by means of numerous Hybrid Optimization strategies, (b) An software of colour Magnetic Resonance mind picture Segmentation by means of Para Optimus LG Activation functionality, (c) Hybrid Rough-PSO procedure in distant Sensing Imagery research, (d) A research and research of Hybrid clever recommendations for Breast melanoma Detection utilizing Breast Thermograms, and (e) Hybridization of 2D-3D photos for Human Face reputation.

Werteflüsse in die SAP-Ergebnisrechnung (CO-PA) (German Edition)

Humorvoll und in seiner shape einmalig am SAP-Büchermarkt vermittelt Ihnen dieses Werk die Ist-Werteflüsse in das „Königs-Modul" SAP-Ergebnisrechnung (CO-PA) und deren Integration im SAP-ERP-System. Insbesondere die Abstimmung zwischen Finanzmodul und Ergebnisrechnung wird heute von vielen Unternehmen verlangt, um daraus ein verlässliches Reporting generieren zu können – eine große Herausforderung, insbesondere bei Verwendung der kalkulatorischen shape des Moduls CO-PA (Profitability Analysis).

Additional resources for Software-Qualität: Testen, Analysieren und Verifizieren von Software (German Edition)

Sample text

Download PDF sample

Rated 4.89 of 5 – based on 23 votes