Computing & Control Engineering Journal · 1994 · 10 citations · 0 references
ComputingComputer EngineeringComputer ScienceFormal MethodsSafety EngineeringSoftware EngineeringSafety SystemsSafety Systems TestingSafety-critical SystemsSoftware Quality AssuranceSoftware TestingSoftware ValidationSafety-critical SoftwareSafety-critical Software EngineeringSafety-critical System TestingSoftware Safety
As a result of the DTI/SERC research initiative on safety-critical systems a major study has been conducted into the benefits and shortcomings of the available tools and techniques for computer-aided testing of high-integrity software. The work described forms part of the CONTESSE project, which is concerned with various aspects of software testing. Working from experience and knowledge accumulated by a number of leading UK companies it has been possible to assemble data that should prove valuable to all organisations engaged in the development or licensing of safety-critical computer-based systems. Both strengths and weaknesses of current methods are discussed. The article is an integral part of the DTI/SERC initiative to disseminate such knowledge to a wider audience.