The Software Safety Standards and Code Verification

摘要

An analysis is offered of the current principal safety-related software standards with regard to their requirements for software verification and testing. The principal points of agreement are presented, and attention is drawn to differences. These differences occur most significantly in the areas of recommended techniques to be used during (unit) testing, and the basis for decision as to what constitutes 'enough' testing. Some mention is also made of the differing roles of static analysis as a verification technique. The reader is invited to speculate on the effects of these differences, and the question is raised as to whether too much testing is being demanded or too little.