Cleanroom Software Engineering Applied to Telecommunications
Henrik Cosmo, G. Fagerhus, E.-A. Karlsson, Per Runeson, Carrie Sandahl, Anders Sixtensson, Claes Wohlin · Lund University Publications (Lund University) · 1992
This paper presents a methodology for developing software systems denoted Cleanroom Software Engineering. The methodology has been developed at IBM and Software Engineering Technology (SET) in the USA, and is currently being adapted and applied to the field of telecommunications by E-P Telecom Q-Labs. The paper gives a brief introduction to Cleanroom. The main objective of Cleanroom is to introduce a set of engineering techniques which shall form a sound basis for developing zero defect software. The emphasis in the presentation is on the work made to adapt the methodology to telecommunications. The adaptations consist of two main areas, i.e. a development method and a certification method. The objective of the development method is to capture several different aspects of the system at an early stage by using different description techniques, while the objective of the certification method is to certify the reliability level, instead of as in traditional testing locate failures. It is in particular emphasized how the Cleanroom methodology with its adaptations will provide a way to develop dependable computing systems in the future.