Mailing List Archive Mailing List Archive
>> Then the contract is awarded and the first articles >> are rigorously tested. I'd say no private enterprise >> comes even close. >> > >the system. Just ask anyone in the software development business. You can >NEVER certify a software or firmware system as bug free. All you can do is >test the system to the best of you ability under every and all circumstances >imaginable to see what happens. Obviously this testing is critical when it >comes to life support systems. I don't really know how this is being >accomplished for rebreather SW. Just my thoughts! > >Win Remley Win, You are not completely correct in this statement. Whether or not software can be certified as bug free depends upon what context you define bug free. It is quite possible to *PROVE* that software is correct, and since hardware is basically hardwired software (or is software loosely wired hardware? ), anyway, it is quite possible to prove that software/hardware combinations will perform 100% to specifications. So, if your definition of certify means 'performs 100% to the specification' then it is possible to prove your software. However, it is still impossible to prove that specification is correct to solve the problem. -- /***************************************************************************/ /* William E. Sadler | email: sadler_b@bs*.bs*.bl*.co* */ /* | batchmo@cr*.co* */ /* Divers Down! [\] | CI$: 71005,1241 */ /* | POTS: (404) 332-2314 */ /***************************************************************************/ /* Keep your Honor, be Bold, and remember: */ /* The only things in the middle of the road are yellow stripes and */ /* squished possums. */ /***************************************************************************/
Navigate by Author:
[Previous]
[Next]
[Author Search Index]
Navigate by Subject:
[Previous]
[Next]
[Subject Search Index]
[Send Reply] [Send Message with New Topic]
[Search Selection] [Mailing List Home] [Home]