Sunday, September 29, 2013

THE TWITTER SEMINAR ON THE DEVELOPMENT OF ERROR FREE SOFTWARE CONTINUES

ERROR-FREE SOFTWARE DEVELOPMENT -- DOES SOFTWARE "BREAK"?



Are simple-precedence methods the only way to detect and


prevent errors?No, there are other ways.



To find these other ways, let us look at development of

military hardware, circa, 1980 s.



In a project that I worked on, the sailor needed to replace

no more than four circuit boards to fix the hardware.



Critical submarine hardware has the required subsystems

to facilitate the location of a failed replaceable components.



Would you believe it if I told you that software "breaks"?



Not really. but software fails when it illegally or incorrectly

writes some data.



Programmers have many ways of preventing illegal writes which

they use in checkout and then remove before delivery.



WHATIFWE used formal illegal write prevention code in delivered

software?
Full Post

No comments:

Post a Comment