Zusammenfassung
Es wird dargestellt wie Werkzeuge und Methoden der Qualitätssicherung für fehlertolerante Software eingesetzt werden können. Die Bedingungen und Grundsätze für die Verbindung von Mitteln fehlertoleranter Software-Systeme mit den Instrumenten und den Resultaten der Qualitätssicherung werden diskutiert. Auf den wechselseitigen Nutzen der Verbindung von Inspektion, Test und Verifkation einerseits sowie Feh lerer kennung und Fehleranalyse andererseits wird besonders eingegangen. Vorangestellt sind kurze Einführungen in die Themenbereiche Qualitätssicheung, Softwarefehler und Fehlertoleranz für Software.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
E. Abel; E. Harraß; H.J. Schoenen; A. Schwald Einsatz von Methoden der Software-Produktion in der Bundesrepublik Deutschland (GMD-Studie: Untersuchung über Malinahmen zur Verbesserung der Software-Produktion) Oldenbourg, München, 1981
B.W. Boehm Software Engineering: R amp; D Trends and Defense Needs in [Wegn79]
R. Budde; P. Schnupp; A. Schwald Theoretische Ansätze auf dem Gebiet der Software-Technologie (GMD-Studie: Untersuchung über Maßnahmen zur Verbesserung der Software-Produktion) Oldenbourg, München, 1981
J.L. Darlington The Role of Verification Methods in Software Production working paper, GMD-IST, INVENT
R. A. DeMillo; R.J. Lipton; A.J. Perlis Social Processes and Proofs of Theorems and Programs in: CACM 22, No.5 (May 1979) responses in CACM 22, No.11 (Nov.1979)
M.S. Fujii Indepentdent Verification of Highly Reliable Programs in: [Mi 1178a]
T. Gilb Software Metrics Student I iteratur, Lund (1976)
J.B. Goodenough A Survey of Program Testing Issues in: [Wegn79]
D. Gries An Illustration of Current Ideas on the Derivation of Correct Programms in: IEEE Trans, on S.E., SE-2 (1976)
H.-L. Hausen; M. Müllerburg Conspectus of Software Engineering Environments in: Proc. 5th Int. Conf. on Software Engineering, San Diego, March 1981, IEEE
H.-L. Hausen; M. Müllerburg Software-Produktions-Umgebungen: Entwicklungsstand und Trends in: Werkzeuge der Programmiertechnik, G. Goos (ed.), Informatik-Fachberichte Nr. 43, Springer-Verlag, März 1981
H.-L. Hausen; M. MüLlerburg Qualitäts-Sicherung und -Kontrolle gleich Inspektion plus Test plus Verifikation in: Softwaretechnik-Trends, 6. Bockhorn (Hrsg.) Mitteilungen der GI-Fachgruppe‘Software-Engineering’ Heft 4, Januar 1982
W.E. Howden Methodology for the Generation of Program Test Data in: IEEE Trans, on Comp., C-24 (May 1975)
W.E. Howden Introduction to Software Validation in: [Mi1178a]
W.E. Howden Theoretical and Empirical Studies of Program Testing in: IEEE Trans, on Software Engineering, SE-4 (July 1978)
W.E. Howden Functional Testing and Design Abstraction in: The Journal of Systems and Software 1 (1980) pp.307–313
P. Kerola; P. Freeman A Comparison of Lifecycle Models in: 5th. Int. Conf. on Software Engineering, San Diego, March 1981, IEEE
W. Konrad Fault-Tolerant Aspects of Distributed Compueter Systems Interner Bericht 33/80 Universität Kaiserslautern, Fachbereich Informatik
H.Kopetz Softwaresuverlässigkeit Carl Hanser Verlag, München Wien 1976
E. Miller; W.E. Howden Tutorial: Software Testing amp; Validation IEEE Catalog No.EHO 138–8, 1978
E. Miller Introduction to Software Testing Technology in: [Mi1178a]
B. Randell System Structure for Software Fault Tolerance University of Newcastle upon Tyne Computing Laboratory, Technical Report Series, No. 75
Software Engineering Notes, Vol.3, No. 5 ( Nov. 1978 ) Proc of the Software Quality and Assurance Workshop
Software Engineering Notes, Vol.5, No. 3 ( July 1980 ) Contribution from the VERkshop on Formal Verification
Software Engineering Notes, Vol.6, No. 3 ( July 1981 ) Contribution from the VERkshop II
Sogesta Summer School on Computer Program Testing 29 June–3 July, 1981, Urbino, Italy
H. Sneed Software-Entwicklungsmethodik Verlagsgesellschaft Rudolf MüllerGmbH, Köln-Braunsfeld 1980
P. Wegner (ed.) Research Directions in Software Technology MIT press, Cambridge, Mass., London (1979)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1982 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hausen, H.L. (1982). Qulaitätssicherung für Fehlertolerante Software-Systeme. In: Nett, E., Schwärtzel, H. (eds) Fehlertolerierende Rechnersysteme. Informatik-Fachberichte, vol 54. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-68356-5_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-68356-5_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-11209-9
Online ISBN: 978-3-642-68356-5
eBook Packages: Springer Book Archive