Browsing by Author "Fallas Yamashita, Aiko"

Filter results by typing the first few letters
Now showing 1 - 1 of 1
  • No Thumbnail Available
    Item
    Testing a radiotherapy support system with QuickCheck
    (2007-06-27T08:13:10Z) Fallas Yamashita, Aiko; Bergqvist, Andreas; IT-universitetet i Göteborg/Tillämpad informationsteknologi; IT University of Göteborg/Applied Information Technology
    In this report we present a case study on using light-weight formal methods for testing an implementation of a medical device. The device is a real-time organ position tracking system used in radiotherapy. The system properties to be tested were modeled and verified through automated test cases generated by QuickCheck. QuickCheck demonstrated to be beneficial tool for reducing the complexity inherent to testing medical devices by detecting faults at system level, supporting a better type of regression testing and supporting the detection of abnormal cases that could be analyzed and fixed afterwards in the system.