Software Reliability: Principles and Practices, Band 2Wiley, 06.10.1976 - 360 Seiten Deals constructively with recognized software problems. Focuses on the unreliability of computer programs and offers state-of-the-art solutions. Covers—software development, software testing, structured programming, composite design, language design, proofs of program correctness, and mathematical reliability models. Written in an informal style for anyone whose work is affected by the unreliability of software. Examples illustrate key ideas, over 180 references. |
Inhalt
ErrorsTheir Causes and Consequences | 15 |
Designing Reliable Software | 27 |
Requirements Objectives and Specifications | 46 |
Urheberrecht | |
21 weitere Abschnitte werden nicht angezeigt.
Andere Ausgaben - Alle anzeigen
Software Reliability: Principles and Practices, Band 2 Glenford J. Myers Keine Leseprobe verfügbar - 1976 |
Häufige Begriffe und Wortgruppen
algorithms architecture C. A. R. Hoare called module cause-effect graph Chapter chief programmer COBOL compiler complete component concept contains correct data base data types debugging DECLARE described design process detected discussed dump program entry ESTAB execution external design flowchart FORTRAN GO TO statement hardware high-level language input and output instance instruction integration interface loader logic loop machine language manager MATCHCODE=0 MATCHES ment module module's number of errors object code operating system output assertions parameters particular paths perform PL/I pointer probability problem procedure program structure programming language proof prove relationships represent requires RLTAB semantics shown in Figure simulator software development software errors software reliability software system software testing source code spin step storage structured programming stubs subroutine syntax system test techniques terminal test case design tion top-down testing unit test UNRESNAME variable verification conditions