Personal tools
You are here: Home Member Resources info about Software reliability

Software reliability

Reliable software is still the main challenge in computer science...

 Reliable software is still the main challenge in computer science; software engineering approaches failed in general; formal approaches based on logic specifications and theorem proving have trouble handling real programs with a loose specification; unit tests improve the reliability of parts of the program but fail to guarantee reliability of the whole; design by contract approaches (e.g. ruby, spec-#) combined with type inference can improve reliability but do not guarantee correctness; maybe a combination of different approaches should be used.

 [Go back]

 

 

Document Actions