it is impossible. You can put really hign testing standards and principles to make the software really safe but you can never prove a complex system never fails or can't be hacked. The tradeoff is that changes will be very very slow and expensive. This is needed for mission critical systems but an overkill for most consumer softwares as you won't survive the market with this approach.
Comments
it is impossible. You can put really hign testing standards and principles to make the software really safe but you can never prove a complex system never fails or can't be hacked. The tradeoff is that changes will be very very slow and expensive. This is needed for mission critical systems but an overkill for most consumer softwares as you won't survive the market with this approach.