ISSN:
1432-122X
Keywords:
Schlüsselwörter Qualitätssicherung
;
technisches System
;
Software
;
Sicherheit
;
Zuverlässigkeit
;
Messung
;
Test
;
Key words Quality assurance
;
Technical system
;
Software
;
Safety
;
Reliability
;
Measure
;
Test
Source:
Springer Online Journal Archives 1860-2000
Topics:
Computer Science
Description / Table of Contents:
Summary Quality assurance of software-based systems requires a comprehensive approach and techniques that can be applied to different components, e.g., software, electronic components, technical processes. To satisfy economical and technical requirements demands adequate solutions. In the following several problem areas and approaches are discussed. The techniques include formally complete safety proofs, statistical analysis of measures, e.g., reliability measures, and informal, but systematic test techniques.
Notes:
Zusammenfassung Die Qualitätssicherung Software-basierter technischer Systeme erfordert ganzheitliche Betrachtungsweisen und Techniken, die auf unterschiedlich realisierte Systemkomponenten - z.B. Software, elektronische Komponenten, technische Prozesse - gleichermaßen anzuwenden sind. Eine ökonomisch und technisch sinnvolle Qualitätssicherung fordert die Verwendung angepaßter Lösungen. Im folgenden werden Problembereiche umrissen und exemplarische Lösungsansätze diskutiert. Es werden Techniken vorgestellt, die von formal vollständigen Sicherheitsnachweisen über statistisch abgesicherte Analysen von Maßen (z.B. Zuverlässigkeitsmaßen) bis zu informalen, aber systematischen Prüftechniken reichen.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/s002870050102