Test generation for radiotherapy accelerators

Authors:
Kenneth J. Turner
Affiliations:
Computing Science and Mathematics, University of Stirling, FK9 4LA, Scotland, UK
Venue:
International Journal on Software Tools for Technology Transfer (STTT) - Special section on high-level test of complex systems
Year:
2005

Citing 0
Cited 6

Model-Based Testing of Concurrent Programs with Predicate Sequencing Constraints

QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Representing and analysing composed web services using Cress

Journal of Network and Computer Applications
Abstraction and analysis of clinical guidance trees

Journal of Biomedical Informatics
A Rigorous Methodology for Composing Services

FMICS '09 Proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems
Formalising web services

FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Rigorous development of prompting dialogues

Journal of Biomedical Informatics

Quantified Score

Hi-index	0.00

Visualization

Abstract

System specification with Lotos (Language Of Temporal Ordering Specification) is briefly introduced. To make test generation practicable, specifications are annotated with event constraints using PCL (Parameter Constraint Language) as a means of stating test purposes. Automated test generation can then use the principle of input-output conformance to check whether an implementation agrees with its specification. Test suites are generated by a transition tour that either visits every transition at least once (for infinite behaviour) or follows every path (for finite behaviour). The approach is applied to a case study in which tests are generated for radiotherapy accelerators used in cancer treatment. A typical specification and set of test purposes yields 256 test cases that can be executed manually or automatically. The goal is to determine situations in which an accelerator does not behave in conformity with its specification.