Testing a Radiotherapy Support System With QuickCheck