For a software system to be dependable:
• Each stage of development must be done well.
• Changes should be incorporated into the structure as carefully as the original system development.
• Testing and correction do not ensure quality, but dependable systems are not possible without systematic testing.