Static and dynamic testing of the Channel Tunnel's control and communication software
Alan P. Wood · 1996
In 1989, the Engineering Management of TransManche Link (TML) undertook to develop a policy document for the procurement of hardware and software. This policy was written to reflect the best practice expected of suppliers whilst taking account of the then current research in software engineering and was included in all of the control and communications (C&C) contracts awarded by TML. The C&C systems were categorised into three types of quality levels: nonessential, essential, and critical to operation. The software was similarly categorised into three degrees of development status: proprietary, existing/modified, and new. The requirements of the policy document were then distributed using a 3x3 matrix which depended upon the classifications given to the system and the software. Additional parts of the policy address the general requirements applying to all categories of software: including specification, compilers, standards, security, metrics, configuration management and testing. The policy document mandated that suppliers produce both static and dynamic analysis results. (6 pages)