我要吃瓜

Citation

Turner KJ & Bing Q (2002) Systematic Testing of Radiotherapy Accelerators. In: Ehrig H(, Kr?mer BJ & Ertas A (eds.) Proceedings of The Sixth Biennial World Conference on Integrated Design & Process Technology (IDPT 2002). 6th Biennial World Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, California, 23.06.2002-28.06.2002. Society for Design and Process Science, pp. 33.1-33.8. http://www.sdpsnet.org

Abstract
The nature of radiotherapy accelerators is briefly explained. It is argued that these complex safety-critical systems need a systematic basis for testing their software. The paper describes a novel application of protocol specification and testing methods to radiotherapy accelerators. It is explained that the accelerator control system is specified using LOTOS (Language Of Temporal Ordering Specification). It is completely infeasible to use the LOTOS directly for test generation. Instead, specification inputs are restricted using annotations in a Parameter Constraint Language. This is automatically translated into LOTOS and combined with the accelerator specification. It then becomes manageable to generate tests of the actual accelerator to check that it agrees with its specification according to the relation ioconf (input-output conformance). Test annotations and a sample test are described.

Keywords
; Radiotherapy, High energy Equipment and supplies; Radiotherapy, Computer-assisted