§ Mr. SwayneTo ask the Secretary of State for Defence if static code analysis for validating software is part of current Defence Standards; and if he will make a statement. [131782]
§ Dr. MoonieStatic code analysis is one of several techniques for analysing software set out in Defence Standards. Reference to static code analysis can be found in Defence Standard 00–55 (Part 2). "Requirements for Safety Related Software in Defence Equipment" and in Defence Standard 00–13 "Requirements for the Achievement of Testability in Electronic and Allied Equipment". These documents are available on the internet at www.dstan.mod.uk.