Weitere Kapitel dieses Buchs durch Wischen aufrufen
An IT-system specification is a complete, precise and unambiguous statement of what the desired IT system should do. A correct IT system is one whose behaviour is exactly as specified. Testing can never deliver a guarantee of IT-system correctness. Programs are, however, well-defined symbol structures just like mathematical formulae, and thus hold the promise of being proven correct. Mathematical proof, the time-honoured mechanism for demonstrating the correctness of well-defined symbol structures, has its strengths and weaknesses especially in relation to IT systems. IT systems, by virtue of sheer complexity, have significantly muddied even this neat mathematical idea. Both proofs and specifications of IT systems will be large and complicated ‘objects’ just like the programs. There are some fundamental problems with IT system specification, and a major source of difficulty is explained in the next chapter.
Bitte loggen Sie sich ein, um Zugang zu diesem Inhalt zu erhalten
Sie möchten Zugang zu diesem Inhalt erhalten? Dann informieren Sie sich jetzt über unsere Produkte:
- Programs: The Good, the Bad, and the Verified
- Springer London
- Chapter 6
Neuer Inhalt/© ITandMEDIA, Product Lifecycle Management/© Eisenhans | vege | Fotolia